Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Advisor
Fisler, Kathryn
Remove constraint Advisor: Fisler, Kathryn
1
-
45
of
45
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
50 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
Automatic verification of role based access control policies
Creator:
Shultz, Abraham M.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2004-01-01
Resource Type:
Major Qualifying Project
Development of a Data-Grounded Theory of Program Design in HTDP
Keyword:
Program design
,
Human-centered computing
,
Cognition
,
Planning
,
Computing education
, and
Functional programming
Creator:
Castro, Francisco Enrique Vi G.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2020-05-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Analyzing Trust by Scripting CPSA
Creator:
Petrin, Benjamin Erik
Advisor:
Guttman, Joshua D.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-12-16
Resource Type:
Major Qualifying Project
CounterMeasures: An Interactive Game for Security Training
Creator:
Jordan, Craig
,
Mitchell, Daniel Francis
, and
Knapp, Mathew
Advisor:
Fisler, Kathryn
and
Claypool, Mark L.
Publisher:
Worcester Polytechnic Institute
Date Created:
2011-03-13
Resource Type:
Major Qualifying Project
Peer Review in Cybersecurity Education
Creator:
Temple, William M
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2017-03-12
Resource Type:
Major Qualifying Project
Sustaining the miwelt Project
Keyword:
Sustainable development--Social aspects
,
Education, Elementary
,
Sustainability
, and
Fund raising
Creator:
Dymov, Khasan Muratovich
,
Shusdock, Ian Renee
, and
Brocato, Nicholas Joseph
Advisor:
Fisler, Kathryn
and
DiMassa, Daniel
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-14
Resource Type:
Interactive Qualifying Project
Investigation of Voting Systems for the WPI Faculty
Keyword:
Application software--Development
Creator:
Fogel, Louis Adrian
,
Murvihill, Dolan Patrick
,
Heon, Matthew R
, and
Smestad, Doran R.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2013-04-30
Resource Type:
Interactive Qualifying Project
Evaluating the Happy Museum Project at the London Transport Museum
Keyword:
Museum exhibits--Evaluation
,
Sustainability
, and
Sustainable development--Social aspects
Creator:
Logan, Theresa Jean
,
Magnano, David Dwyer
,
Ishak, Alec Andrew
, and
Race, Melinda Gypsy
Advisor:
Fisler, Kathryn
and
Camesano, Terri Anne
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-26
Resource Type:
Interactive Qualifying Project
The Canton of Zürich's Roadmap: Smart Energy Region 2050
Keyword:
Community development
,
Energy conservation
,
Sustainable development--Environmental aspects
, and
Sustainability
Creator:
Khalandovsky, Samuel
,
Malofsky, Brandon Grant
,
Burgess, Zachary Thomas
, and
Habib, Luke Francis
Advisor:
Fisler, Kathryn
and
DiMassa, Daniel
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-14
Resource Type:
Interactive Qualifying Project
Six degrees of WPI.
Keyword:
Community engagement
Creator:
Roberts, Brian G.
and
Hendrickson, Daniel Christopher
Advisor:
Selkow, Stanley M.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2002-01-01
Resource Type:
Interactive Qualifying Project
Methods for Educating Novices in Object Oriented Design
Keyword:
Application software--Development
,
Education, Higher
, and
Technology--Study and teaching
Creator:
Netsch, Matthew Allenson
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-05-28
Resource Type:
Interactive Qualifying Project
INCREASING CORPORATE VOLUNTEERISM IN THE SWISS NATURE PARK SYSTEM
Keyword:
National parks and reserves--Management
and
Public engagement
Creator:
Van Fechtmann, Allison Rose
,
Bosia, Evan Joseph
,
Orosz, Samantha Suzanne
, and
Murphy, Steven Michael
Advisor:
Fisler, Kathryn
and
DiMassa, Daniel
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-14
Resource Type:
Interactive Qualifying Project
Increase of efficiency and integration of technology at the Department of Residential Services of Worcester Polytechnic Institute.
Keyword:
Organizational effectiveness
Creator:
Bonci, Timothy Daniel
and
Woodhull, John Christian
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2002-01-01
Resource Type:
Interactive Qualifying Project
Improving Operator Training and Knowledge Transfer at Swissgrid
Keyword:
Organizational effectiveness
and
Industrial relations
Creator:
Zhao, Hanqing
,
Swanson, Kenneth Andrew
,
Shweiki, Sabbrin
, and
Brown, Logan Edward
Advisor:
DiMassa, Daniel
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-14
Resource Type:
Interactive Qualifying Project
Human Interpretation of Privacy Policy
Keyword:
Data protection
Creator:
Rose, Steven P.
and
Forbes-Summers, Elijah D.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-04-21
Resource Type:
Interactive Qualifying Project
Facilitating Corporate Project Sponsorship
Keyword:
Project method in teaching
Creator:
Raskett, Emily Ann
,
Rioux, Meredith Anne
,
Heney, Benjamin Daniel
, and
Viloudaki, Emily Jane
Advisor:
Fisler, Kathryn
and
DiMassa, Daniel
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-15
Resource Type:
Interactive Qualifying Project
Exploring Physical/Digital Interaction in Exhibits at NMSI
Keyword:
Interactive multimedia
,
Museum exhibits
, and
Digital humanities
Creator:
Erb, Jared Douglas
,
O'Brien, Jack Richard
,
Thornton-Clark, Alex
, and
Casey, Ryan Scott
Advisor:
Davis, Paul W.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-27
Resource Type:
Interactive Qualifying Project
Energy from Waste in Brent
Keyword:
Energy policy
,
Sustainability
, and
Refuse and refuse disposal
Creator:
Martinez, Nicolas
,
Serrano, Joaquin F.
,
Merrill, Bradley William
, and
Broulidakis, Nicholas F.
Advisor:
Camesano, Terri Anne
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-27
Resource Type:
Interactive Qualifying Project
Digital Palace Explorers: An On-site Storytelling Application for Families at the Tower of London
Keyword:
Interactive multimedia
,
History
, and
Application software--Development
Creator:
Graedel, Ilea Shaneen
,
Feeney, Andrew John
,
Cullen, Julie Anne
, and
Whittier, Katherine M.
Advisor:
Fisler, Kathryn
and
Davis, Paul W.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-27
Resource Type:
Interactive Qualifying Project
Digital Media in the Tower
Keyword:
Interactive multimedia
and
Application software--Development
Creator:
Bartlett, Michael Charles
,
Lavallee, Lauren Elizabeth
,
Myers, Bryan James
, and
Pfizenmaier, Todd Mannion
Advisor:
Davis, Paul W.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-27
Resource Type:
Interactive Qualifying Project
Bringing Entertainment to Education: E-Learning at the BPMA
Keyword:
Educational games--Design and construction
,
Museum exhibits
, and
Education, Elementary
Creator:
Beski, Richard Alex
,
Hudson, Cassiopia L.
,
Hollinger, Justin David
, and
Tsitlenko, Sergey Dmitriyevich
Advisor:
Camesano, Terri Anne
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-27
Resource Type:
Interactive Qualifying Project
Determining benchmarks for Worcester's business permitting process -- a comparative study of three New England cities
Keyword:
Entrepreneurship
Creator:
McHugh, Michael James
,
Mackin, Kyle Timothy
, and
L'Heureux, Brian Ross
Advisor:
Krueger, Robert
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2002-01-01
Resource Type:
Interactive Qualifying Project
College Student Participation in K-12 Computer Science Education
Keyword:
Web sites--Design and construction
and
Teaching
Creator:
Xu, Xiaoman
and
Garside, Tony
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-03-04
Resource Type:
Interactive Qualifying Project
ATTRACTION AND RETENTION OF WOMEN IN COMPUTER SCIENCE AT WORCESTER POLYTECHNIC INSTITUTE
Keyword:
Women in science
and
Women--Education
Creator:
Wallace, Hope
,
Keeley-DeBonis, Brian J.
,
Hammer, Christopher C.
, and
LaPierre, Katherine
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2017-03-02
Resource Type:
Interactive Qualifying Project
AIMBASE -- a social study of instant messaging.
Keyword:
Application software--Development
and
Science--Study and teaching
Creator:
Stinson, Eric Owen
and
Rosenberger, Jeffrey Alan
Advisor:
Fisler, Kathryn
and
Selkow, Stanley M.
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-01-01
Resource Type:
Interactive Qualifying Project
A Supplemental Interview Framework for Credit Suisse
Keyword:
Application software--Development
and
Equality
Creator:
Chaves, Jeffrey J.
,
Bugbee, Kurt S.
,
O'Brien, Alexander P.
, and
Seaman, Daniel P.
Advisor:
Fisler, Kathryn
and
DiMassa, Daniel
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-10-14
Resource Type:
Interactive Qualifying Project
First-Order Models for Configuration Analysis
Keyword:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, and
configuration
Creator:
Nelson, Tim
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Building Web Based Programming Environments for Functional Programming
Keyword:
compilation
,
web
,
javascript
,
programming environments
, and
Education
Creator:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-04-26
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Disjunction of Regular Timing Diagrams
Keyword:
disjunction
,
timing diagrams
,
model checking
,
temporal logic
, and
Alloy
Creator:
Feng, Yu
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-10-12
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
Keyword:
finite model property
,
firewalls
,
applied logic
, and
Access Control
Creator:
Nelson, Timothy
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-04-13
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Alchemy: Transmuting Base Specifications into Implementations
Keyword:
Alloy
,
program synthesis
, and
relational specification
Creator:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-02-26
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Feature-Oriented Specification of Hardware Bus Protocols
Keyword:
hardware verification
,
timing diagrams
,
language
, and
aspect-oriented programming
Creator:
Freitas, Paul Michael
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
An Axiomatic Semantics for Functional Reactive Programming
Keyword:
coq
,
monads
,
formal verification
, and
functional reactive programming
Creator:
King, Christopher T.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
A Modular Model Checking Algorithm for Cyclic Feature Compositions
Keyword:
model checking
,
feature-oriented software development
,
modular verification
,
Verification
, and
assume-guarantee reasoning
Creator:
Wang, Xiaoning
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2005-01-11
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study
Keyword:
theorem proving
,
software verification
,
feature-oriented programming
,
feature interaction
, and
modular verification
Creator:
Roberts, Brian Glenn
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-08-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Limit your search
Collections
Interactive Qualifying Projects
21
Major Qualifying Projects
14
Masters Theses
7
PhD Dissertations
3
Year
Year range begin
–
Year range end
Current results range from
2001
to
2020
View distribution
Creator
Bartlett, Michael Charles
1
Benoit, Tyler Paul
1
Beski, Richard Alex
1
Bogdanova, Natasha
1
Bonci, Timothy Daniel
1
more
Creators
»
Advisor
Camesano, Terri Anne
3
Claypool, Mark L.
1
Davis, Paul W.
3
DiMassa, Daniel
6
Dougherty, Daniel J.
2
more
Advisors
»
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
10
Guttman, Joshua
2
Krishnamurthi, Shriram
1
more
Contributors
»
Project Center
London, England Project Center - IQP
6
Worcester Community Project Center (Massachusetts) - IQP
1
Zurich, Switzerland Project Center - IQP
6
Major
Computer Science
14
Electrical & Computer Engineering
1
Interactive Media & Game Development
1
Physics
1
Unit (Department)
Computer Science
10
Publisher
Worcester Polytechnic Institute
45
Subject
Community
13
Computing
10
Culture
8
Energy
2
Environment
1
more
Subjects
»
Resource type
Interactive Qualifying Project
21
Major Qualifying Project
14
Thesis
7
Dissertation
3