| 1994 | Verification of Context-Free Timed Systems Using Linear Hybrid Observers. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | Symbolic Verification with Periodic Sets. | Bernard Boigelot, Pierre Wolper |
| 1994 | An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
| 1994 | Methodology and System for Practical Formal Verification of Reactive Hardware. | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
| 1994 | On the Automatic Computation of Network Invariants. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1994 | Formula-Dependent Equivalence for Compositional CTL Model Checking. | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
| 1994 | Realizability and Synthesis of Reactive Modules. | Anuchit Anuchitanukul, Zohar Manna |
| 1994 | A Determinizable Class of Timed Automata. | Rajeev Alur, Limor Fix, Thomas A. Henzinger |
| 1993 | Efficient Verification of Parallel Real-Time Systems. | Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke |
| 1993 | An Efficient Algorithm for Minimizing Real-time Transition Systems. | Mihalis Yannakakis, David Lee |
| 1993 | Reliable Hashing without Collosion Detection. | Pierre Wolper, Denis Leroy |
| 1993 | A Mechanically Verified Application for a Mechanically Verified Environment. | Matthew Wilding |
| 1993 | Protocol Design for an Automated Highway System (Abstract). | Pravin Varaiya |
| 1993 | On-the-Fly Verification with Stubborn Sets. | Antti Valmari |
| 1993 | Computer-Assisted Simulation Proofs. | Jrgen F. Sgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
| 1993 | Verification of Real-Time Systems Using PVS. | Natarajan Shankar |
| 1993 | Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. | June-Kyung Rho, Fabio Somenzi |
| 1993 | Verifying Timed Behavior Automata with Input/Output Critical Races. | David K. Probst, Hon Fung Li |
| 1993 | All from One, One for All: on Model Checking Using Representatives. | Doron A. Peled |
| 1993 | Reachability Analysis of Planar Multi-limear Systems. | Oded Maler, Amir Pnueli |
| 1993 | The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. | Patrick Lincoln, John M. Rushby |
| 1993 | Alternating RQ Timed Automata. | William K. C. Lam, Robert K. Brayton |
| 1993 | A Graphical Interval Logic Toolset for Verifying Concurrent Systems. | George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
| 1993 | A Structural Linearization Principle for Processes. | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1993 | Verification of a Multiplier: 64 Bits and Beyond. | Robert P. Kurshan, Leslie Lamport |