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 Resource type Major Qualifying Project Remove constraint Resource type: Major Qualifying Project

« Previous | 1 - 10 of 14 | 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

Limit your search

Collections

Major Qualifying Projects14

Year

Year range begin – Year range end

Current results range from 2001 to 2017

View distribution

Creator

Benoit, Tyler Paul1
Bogdanova, Natasha1
Cole, Christopher David.1
Cooper, Peter Sidney1
Donovan, Sean P.1
more Creators »

Advisor

Claypool, Mark L.1
Dougherty, Daniel J.1
Fisler, Kathryn[remove]14
Guttman, Joshua D.1
Ruiz, Carolina1
more Advisors »

Major

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

Publisher

Worcester Polytechnic Institute[remove]14

Resource type

Major Qualifying Project[remove]14

A service of Samvera.

Digital WPI v3.3.0

Login

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