Selected Publications of the STeP research group (by topic)
(View by year of publication)

Static Analysis

Decision Procedures

Runtime Verification

Event Correlation and Middleware Formalization

Controlled Systems and Synthesis

Diagram Verification and Automata

Real-time and Hybrid Systems

STeP / Verification Case Studies

Miscellaneous


Last modified: Mon Feb 4 15:01:33 PST 2002