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:
Contributor
Fisler, Kathryn
Remove constraint Contributor: Fisler, Kathryn
Resource type
Thesis
Remove constraint Resource type: Thesis
1
-
8
of
8
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
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
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
Masters Theses
8
Year
Year range begin
–
Year range end
Current results range from
2003
to
2010
View distribution
Creator
Feng, Yu
1
Freitas, Paul Michael
1
Hu, Yin
1
King, Christopher T.
1
Nelson, Timothy
1
more
Creators
»
Advisor
Fisler, Kathryn
7
Sunar, Berk
1
Contributor
Fisler, Kathryn
[remove]
8
Lou, Wenjing
1
Sunar, Berk
1
Unit (Department)
Computer Science
7
Electrical & Computer Engineering
1
Publisher
Worcester Polytechnic Institute
8
Resource type
Thesis
[remove]
8