Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
Help

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Advisor Fisler, Kathryn Remove constraint Advisor: Fisler, Kathryn Publisher Worcester Polytechnic Institute Remove constraint Publisher: Worcester Polytechnic Institute

« Previous | 1 - 10 of 45 | Next »

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Verification techniques of feature-oriented Java

Creator:

Gerratana, Frank Louis, Maddock, Jordan Alfred, and Wallace, Scott Thomas

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
Timing diagram to Buchi automation translation

Creator:

Schudy, Warren J. and Cooper, Peter Sidney

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
Random finite-state automata for model checking

Creator:

Haley, Alexander Gregory and Vaillancourt, Dale

Advisor:

Fisler, Kathryn and Selkow, Stanley M.

Publisher:

Worcester Polytechnic Institute

Date Created:

2002-01-01

Resource Type:

Major Qualifying Project
Mining state machine simulations

Creator:

Cole, Christopher David.

Advisor:

Fisler, Kathryn and Ruiz, Carolina

Publisher:

Worcester Polytechnic Institute

Date Created:

2001-01-01

Resource Type:

Major Qualifying Project
Generating header files for hardware simulators

Creator:

Benoit, Tyler Paul, Donovan, Sean P., and Kilgore, Brandon M.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2006-01-01

Resource Type:

Major Qualifying Project
FSATS -- a case study of computer-aided verification for large systems

Creator:

Landry, Brian R.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project
Extensible timing diagram editor

Creator:

Ramshaw, David Ian, Kapadia, Zaheer Abbas, and Klos, Michal

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2002-01-01

Resource Type:

Major Qualifying Project
Emergency response simulation

Creator:

Gagnon, Timothy Scott and Kissinger, Michael A.

Advisor:

Fisler, Kathryn and Weaver, Elise A.

Publisher:

Worcester Polytechnic Institute

Date Created:

2006-01-01

Resource Type:

Major Qualifying Project
Development of cross-disciplinary course material

Creator:

Bogdanova, Natasha

Advisor:

Trimbur, John and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project
Comparing algorithms for symbolic cycle detection

Creator:

Dow, Benjamin Scott

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2001-01-01

Resource Type:

Major Qualifying Project

« Previous
Next »
1
2
3
4
5

Limit your search

Collections

Interactive Qualifying Projects21
Major Qualifying Projects14
Masters Theses7
PhD Dissertations3

Year

Year range begin – Year range end

Current results range from 2001 to 2020

View distribution

Creator

Bartlett, Michael Charles1
Benoit, Tyler Paul1
Beski, Richard Alex1
Bogdanova, Natasha1
Bonci, Timothy Daniel1
more Creators »

Advisor

Camesano, Terri Anne3
Claypool, Mark L.1
Davis, Paul W.3
DiMassa, Daniel6
Dougherty, Daniel J.2
more Advisors »

Contributor

Dorn, Brian1
Dougherty, Daniel J.2
Fisler, Kathryn10
Guttman, Joshua2
Krishnamurthi, Shriram1
more Contributors »

Project Center

London, England Project Center - IQP6
Worcester Community Project Center (Massachusetts) - IQP1
Zurich, Switzerland Project Center - IQP6

Major

Computer Science14
Electrical & Computer Engineering1
Interactive Media & Game Development1
Physics1

Unit (Department)

Computer Science10

Publisher

Worcester Polytechnic Institute[remove]45

Subject

Community13
Computing10
Culture8
Energy2
Environment1
more Subjects »

Resource type

Interactive Qualifying Project21
Major Qualifying Project14
Thesis7
Dissertation3

A service of Samvera.

Digital WPI v3.3.0

Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0