Index Catalog // Hyrax

Skip to Content

Accueil
Browse
About
- About Us
- Help

S'identifier

Explore, Discover, Share

Advanced search

Recherche

Effacer les filtres

Filtrage par: Contributor Fisler, Kathryn Supprimer la restriction Contributor: Fisler, Kathryn Collections Masters Theses Supprimer la restriction Collections: Masters Theses

1 - 8 sur 8

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

Nombre de résultats à afficher par page

10 par page
20 par page
50 par page
100 par page

Affichage:

Liste Galerie Mosaïque Diaporama

Download search results to .CSV file

Résultats de recherche

Disjunction of Regular Timing Diagrams

Mot-clé:

disjunction, timing diagrams, model checking, temporal logic, and Alloy

Créateur:

Feng, Yu

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2010-10-12

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Mot-clé:

finite model property, firewalls, applied logic, and Access Control

Créateur:

Nelson, Timothy

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2010-04-13

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
An Efficient Scheme to Provide Real-time Memory Integrity Protection

Mot-clé:

Memory Authentication and Integrity Protection

Créateur:

Hu, Yin

Advisor:

Sunar, Berk

Éditeur:

Worcester Polytechnic Institute

date créée:

2009-04-30

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Electrical & Computer Engineering
Alchemy: Transmuting Base Specifications into Implementations

Mot-clé:

Alloy, program synthesis, and relational specification

Créateur:

Yoo, Daniel

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2009-02-26

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Feature-Oriented Specification of Hardware Bus Protocols

Mot-clé:

hardware verification, timing diagrams, language, and aspect-oriented programming

Créateur:

Freitas, Paul Michael

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
An Axiomatic Semantics for Functional Reactive Programming

Mot-clé:

coq, monads, formal verification, and functional reactive programming

Créateur:

King, Christopher T.

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
A Modular Model Checking Algorithm for Cyclic Feature Compositions

Mot-clé:

model checking, feature-oriented software development, modular verification, Verification, and assume-guarantee reasoning

Créateur:

Wang, Xiaoning

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2005-01-11

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study

Mot-clé:

theorem proving, software verification, feature-oriented programming, feature interaction, and modular verification

Créateur:

Roberts, Brian Glenn

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2003-08-21

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science

Limiter votre recherche

Collections

Masters Theses[remove]8

Year

Year range begin – Year range end

Current results range from 2003 to 2010

View distribution

Créateur

Feng, Yu1
Freitas, Paul Michael1
Hu, Yin1
King, Christopher T.1
Nelson, Timothy1
plus Créateurs »

Advisor

Fisler, Kathryn7
Sunar, Berk1

Contributor

Fisler, Kathryn[remove]8
Lou, Wenjing1
Sunar, Berk1

Unit (Department)

Computer Science7
Electrical & Computer Engineering1

Éditeur

Worcester Polytechnic Institute8

Type de ressource

Thesis8

Un service de Samvera .

Hyrax v3.3.0

Copyright © 2018 Samvera Licence sous Licence Apache, Version 2.0