| 1996 | An Improvement of McMillan's Unfolding Algorithm. | Javier Esparza, Stefan Rmer, Walter Vogler |
| 1996 | Efficient Search as a Means of Executing Specifications. | Craig Damon, Daniel Jackson |
| 1996 | Rapid Prototyping for an Assertional Specification language. | Jorge Cullar, Dieter Barnard, Martin Huber |
| 1996 | The Concurrency Factory Software Development Environment. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | Priorities for Modeling and Verifying Distributed Systems. | Rance Cleaveland, Gerald Lttgen, V. Natarajan, Steve Sims |
| 1996 | Formal Verification of a Partial-Order Reduction Technique for Model Checking. | Ching-Tsun Chou, Doron A. Peled |
| 1996 | Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. | Nils Buhrke, Helmut Lescow, Jens Vge |
| 1996 | The FC2TOOLS Set (Tool Demonstration). | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1996 | Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. | Girish Bhat, Rance Cleaveland |
| 1996 | Realtion-Algebraic Analysis of Petri Nets with RELVIEW. | Rudolf Berghammer, Burghard von Karger, Christiane Ulke |
| 1996 | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | Generic System Support for Deductive Program Development. | Abdelwaheb Ayari, David A. Basin |
| 1996 | An Analyser for Mesage Sequence Charts. | Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
| 1995 | Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. | Chris M. N. Tofts |
| 1995 | Hierarchical Compression for Model-Checking CSP or How to Check 10 | A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood |
| 1995 | Combining Model Checking and Deduction for I/O-Automata. | Olaf Mller, Tobias Nipkow |
| 1995 | Modal µ-Calculus, Model Checking and Gau Elimination. | Angelika Mader |
| 1995 | A Constraint Oriented Proof Methodology Based on Modal Transition Systems. | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
| 1995 | Parallelism for Free: Bitvector Analyses -> No State Explosion! | Jens Knoop, Bernhard Steffen, Jrgen Vollmer |
| 1995 | Layers as Knowledge Transitions in the Design of Distributed Systems. | Wil Janssen |
| 1995 | A User Guide to HyTech. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | Mona: Monadic Second-Order Logic in Practice. | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |
| 1995 | Model Checking of Non-Finite State Processes by Finite Approximations. | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1995 | Efficient Simplification of Bisimulation Formulas. | Uffe Engberg, Kim S. Larsen |
| 1995 | A Front-End Generator for Verification Tools. | Rance Cleaveland, Eric Madelaine, Steve Sims |