| 1995 | A Constraint Oriented Proof Methodology Based on Modal Transition Systems. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
| 1995 | A Front-End Generator for Verification Tools. Rance Cleaveland, Eric Madelaine, Steve Sims |
| 1995 | A User Guide to HyTech. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. Chris M. N. Tofts |
| 1995 | Combining Model Checking and Deduction for I/O-Automata. Olaf Müller, Tobias Nipkow |
| 1995 | Efficient Simplification of Bisimulation Formulas. Uffe Engberg, Kim S. Larsen |
| 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 | Layers as Knowledge Transitions in the Design of Distributed Systems. Wil Janssen |
| 1995 | Modal µ-Calculus, Model Checking and Gauß Elimination. Angelika Mader |
| 1995 | Model Checking of Non-Finite State Processes by Finite Approximations. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1995 | Mona: Monadic Second-Order Logic in Practice. Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |
| 1995 | On Automatic and Interactive Design of Communication Systems. Jürgen Bohn, Stephan Rössig |
| 1995 | Parallelism for Free: Bitvector Analyses -> No State Explosion! Jens Knoop, Bernhard Steffen, Jürgen Vollmer |
| 1995 | Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen |