| 1991 | Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. | Hans Httel |
| 1991 | Deciding Properties of Regular Real Time Processes. | Uno Holmer, Kim Guldstrand Larsen, Wang Yi |
| 1991 | Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. | Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima |
| 1991 | Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. | David M. Goldschlag |
| 1991 | Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. | Patrice Godefroid, Pierre Wolper |
| 1991 | A Top Down Approach to the Formal Specification of SCI Cache Coherence. | Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas |
| 1991 | Verifying Properties of HMS Machine Specifications of Real-Time Systems. | Armen Gabrielian, R. Iyer |
| 1991 | A Semantic Driven Method to Check the Finiteness of CCS Processes. | Nicoletta De Francesco, Paola Inverardi |
| 1991 | Avoiding State Exposion by Composition of Minimal Covering Graphs. | Alain Finkel, Laure Petrucci |
| 1991 | Functional Extension of Symbolic Model Checking. | Thomas Filkorn |
| 1991 | "On the Fly" Verification of Behavioural Equivalences and Preorders. | Jean-Claude Fernandez, Laurent Mounier |
| 1991 | Complexity Results for POMSET Languages. | Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund |
| 1991 | Generating BDDs for Symbolic Model Checking in CCS. | Reinhard Enders, Thomas Filkorn, Dirk Taubner |
| 1991 | Checking for Language Inclusion Using Simulation Preorders. | David L. Dill, Alan J. Hu, Howard Wong-Toi |
| 1991 | An Algebra of Boolean Processes. | Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
| 1991 | Minimum and Maximum Delay Problems in Real-Time Systems. | Costas Courcoubetis |
| 1991 | A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. | Rance Cleaveland, Bernhard Steffen |
| 1991 | Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. | Linda Christoff, Ivan Christoff |
| 1991 | From Data Structure to Process Structure. | Ed Brinksma |
| 1991 | Mechanically Checked Proofs of Kernel Specification. | William R. Bevier, Jrgen F. Sgaard-Andersen |
| 1991 | The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. | Michel Barbeau, Gregor von Bochmann |
| 1991 | Integer Programming in the Analysis of Concurrent Systems. | George S. Avrunin, Ugo A. Buy, James C. Corbett |
| 1991 | Compositional Checking of Satisfaction. | Henrik Reif Andersen, Glynn Winskel |
| 1990 | The Algebraic Feedback Product of Automata. | Victor Yodaiken |