| 2001 |
|---|
|
Nina Amla Efficient Model Checking for Timing Diagrams. |
| 1999 |
|
Richard J. Trefler Expressive and Efficient Model Checking. |
| 1998 |
|
Kedar S. Namjoshi Ameliorating the State-Explosion Problem. |
| 1997 |
|
Giacomo Lenzi (University of Pisa) The Mu-calculus Alternation Hierarchy is Strict. |
| 1996 |
|
Markus Kaltenbach Interactive Verification Exploiting Program Design Knowledge: A Model-Checker for UNITY. |
| 1995 |
|
Paul C. Attie Formal Methods for the Synthesis of Concurrent Programs from Temporal Logic Specification. |
| 1993 |
|
Munindar P. Singh A Theory of Actions, Intentions, and Communications for Multiagent Systems. |
| 1991 |
|
Jayashankar Srinivasan Reasoning about Concurrent Programs with simplified temporal logics. |
|
Kalyan Muthukumar Compile-time Algorithms for Efficient Parallel Implementation of Logic Programs. |
| 1990 |
|
Charanjit Singh Jutla Automata on Infinite Objects and Modal Logics of Programs. |
| 1986 |
|
Chin-Laung Lei Temporal Logics for Reasoning under Fairness assumptions. |