| 1992 | Symbolic Bisimulation Minimisation. | Amar Bouali, Robert de Simone |
| 1992 | Property Preserving Simulations. | Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis |
| 1992 | A Verification Strategy for Timing-Constrained Systems. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1992 | Timing Verification by Successive Approximation. | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
| 1992 | Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification. | Mark D. Aagaard, Miriam Leeser |
| 1991 | Temporal Precondition Verification of Design Transformations. | Ranga Vemuri, Anuradha Sridhar |
| 1991 | Taming Infinite State Spaces. | Colin Sterling |
| 1991 | Automatic Temporal Verification of Buffer Systems. | A. Prasad Sistla, Lenore D. Zuck |
| 1991 | A Two-Level Formal Verification Methodology using HOL and COSMOS. | Carl-Johan H. Seger, Jeffrey J. Joyce |
| 1991 | Automating Most Parts of Hardware Proofs in HOL. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1991 | Error Diagnosis in Finite Communicating Systems. | Anne Rasse |
| 1991 | Partial-Order Model Checking: A Guide for the Perplexed. | David K. Probst, Hon Fung Li |
| 1991 | An Overview and Synthesis on Timed Process Algebras. | Xavier Nicollin, Joseph Sifakis |
| 1991 | An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
| 1991 | Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. | Monica Nesi |
| 1991 | Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. | Matthias Mutz |
| 1991 | A Proof Assistant for PSF. | Sjouke Mauw, Gert J. Veltink |
| 1991 | An Automated Proof Technique for Finite-State Machine Equivalence. | Wenbo Mao, George J. Milne |
| 1991 | PAM: A Process Algebra Manipulator. | Huimin Lin |
| 1991 | Comparing Generic State Machines. | Michel Langevin, Eduard Cerny |
| 1991 | Computing Distinguishing Formulas for Branching Bisimulation. | Henri Korver |
| 1991 | An Automata Theoretic Approach to Temporal Logic. | Gjalt G. de Jong |
| 1991 | The Concurrency Workbench with Priorities. | Claus Torp Jensen |
| 1991 | A Linear Time Process Algebra. | Alan Jeffrey |
| 1991 | Bounded-memory Algorithms for Verification On-the-fly. | Claude Jard, Thierry Jron |