Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Committee
Fisler, Kathryn
Remove constraint Committee: Fisler, Kathryn
« Previous |
1
-
10
of
12
|
Next »
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
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
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
An Efficient Scheme to Provide Real-time Memory Integrity Protection
Keyword:
Memory Authentication
and
Integrity Protection
Creator:
Hu, Yin
Advisor:
Sunar, Berk
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Electrical & Computer Engineering
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
« Previous
Next »
1
2
Toggle facets
Limit your search
Collections
Masters Theses
8
PhD Dissertations
4
Year
Year range begin
–
Year range end
Current results range from
2003
to
2020
View distribution
Creator
Castro, Francisco Enrique Vi G.
1
Feng, Yu
1
Freitas, Paul Michael
1
Hu, Yin
2
King, Christopher T.
1
more
Creators
»
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
10
Sunar, Berk
2
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
12
Guttman, Joshua
2
Krishnamurthi, Shriram
1
more
Contributors
»
Unit (Department)
Computer Science
10
Electrical & Computer Engineering
2
Publisher
Worcester Polytechnic Institute
12
Resource type
Thesis
8
Dissertation
4
