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

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