Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Fisler, Kathryn Collections Masters Theses

Disjunction of Regular Timing Diagrams

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

An Efficient Scheme to Provide Real-time Memory Integrity Protection

Alchemy: Transmuting Base Specifications into Implementations

Feature-Oriented Specification of Hardware Bus Protocols

An Axiomatic Semantics for Functional Reactive Programming

A Modular Model Checking Algorithm for Cyclic Feature Compositions

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