| 1995 | Algorithmic Analysis of Nonlinear Hybrid Systems. | Thomas A. Henzinger, Pei-Hsin Ho |
| 1995 | CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. | E. Pascal Gribomont, Didier Rossetto |
| 1995 | Interactively Verifying a Simple Real-time Scheduler. | Colin J. Fidge, Peter Kearney, Mark Utting |
| 1995 | On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. | Javier Esparza, Astrid Kiehn |
| 1995 | Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. | E. Allen Emerson, A. Prasad Sistla |
| 1995 | Methods for Mu-calculus Model Checking: A Tutorial (Abstract). | E. Allen Emerson |
| 1995 | Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. | sgeir Th. Eirksson, Kenneth L. McMillan |
| 1995 | Generating BDD Models for Process Algebra Terms. | Ashvin Dsouza, Bard Bloom |
| 1995 | Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. | Jrgen Dingel, Thomas Filkorn |
| 1995 | Verification of Real-Time Systems by Successive Over and Under Approximation. | David L. Dill, Howard Wong-Toi |
| 1995 | Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. | Patrick Cousot, Radhia Cousot |
| 1995 | Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract). | Randal E. Bryant |
| 1995 | Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. | Ahmed Bouajjani, Riadh Robbana |
| 1995 | From Duration Calculus To Linear Hybrid Automata. | Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana |
| 1995 | Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. | Jochen Bern, Christoph Meinel, Anna Slobodov |
| 1995 | Hardware Verification using Monadic Second-Order Logic. | David A. Basin, Nils Klarlund |
| 1995 | It Usually Works: The Temporal Logic of Stochastic Systems. | Adnan Aziz, Vigyan Singhal, Felice Balarin |
| 1995 | Supervisory Control of Finite State Machines. | Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha |
| 1995 | Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. | Henrik Reif Andersen, Bart Vergauwen |
| 1995 | Local Liveness for Compositional Modeling of Fair Reactive Systems. | Rajeev Alur, Thomas A. Henzinger |
| 1994 | The Completeness of a Hardware Inference System. | Zheng Zhu, Carl-Johan H. Seger |
| 1994 | The Mobility Workbench - A Tool for the pi-Calculus. | Bjrn Victor, Faron Moller |
| 1994 | Incremental Model Checking in the Modal Mu-Calculus. | Oleg Sokolsky, Scott A. Smolka |
| 1994 | The Verifiacation Problem for Safe Replaceability. | Vigyan Singhal, Carl Pixley |
| 1994 | Compositional Semantics of ESTEREL and Verification by Compositional Reductions. | Robert de Simone, Annie Ressouche |