List of Publications

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Reactive Systems

Timed Automata

Timing Verification: Tools and Case-studies

Hybrid Automata

Probabilistic Systems

Requirements Analysis

Partial-Order Specifications

Real-Time Logics

Distributed Computing

Last updated on July, 1999 by Rajeev Alur .