| 1997 | Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. | Grard Berry |
| 1997 | Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. | Hanne Ben-Abdallah, Stefan Leue |
| 1997 | Graphs in METAFrame: The Unifying Power of Polymorphism. | Michael von der Beeck, Volker Braun, Andreas Claen, Achim Dannecker, Carsten Friedrich, Dirk Koschtzki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen |
| 1997 | Partial Model Checking with ROBDDs. | Henrik Reif Andersen, Jrgen Staunstrup, Niels Maretti |
| 1997 | Visual Verification of Reactive Systems. | Luca de Alfaro, Zohar Manna, Henny B. Sipma, Toms E. Uribe |
| 1996 | Extending Promela and Spin for Real Time. | Stavros Tripakis, Costas Courcoubetis |
| 1996 | Test Generation with Inputs, Outputs, and Quiescence. | Jan Tretmans |
| 1996 | Games and Modal Mu-Calculus. | Colin Stirling |
| 1996 | A Constraint-Oriented Service Creation Environment. | Bernhard Steffen, Tiziana Margaria, Andreas Claen, Volker Braun, Rita Nisius, Manfred Reitenspie |
| 1996 | A Tool for Proving Invariance Properties of Concurrent Systems Automatically. | Hassen Sadi |
| 1996 | Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). | Antoine Rauzy |
| 1996 | Reactive EFSMs - Reactive Promela/RSPIN. | Elie Najm, Frank Olsen |
| 1996 | Probabilistic Duration Automata for Analyzing Real-Time Systems. | Louise E. Moser, P. M. Melliar-Smith |
| 1996 | Permutable Agents in Process Algebras. | Franois Michel, Pierre Azma, Franois Vernadat |
| 1996 | Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. | Tiziana Margaria |
| 1996 | Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. | Gavin Lowe |
| 1996 | Managing Proofs (Abstract). | Leslie Lamport |
| 1996 | Kleene Algebra with Tests and Commutativity Conditions. | Dexter Kozen |
| 1996 | Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. | Stefan Kowalewski, Jrg Preuig |
| 1996 | DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. | Marion Klein, Jens Knoop, Dirk Koschtzki, Bernhard Steffen |
| 1996 | Early Fault Detection Tools. | Gerard J. Holzmann |
| 1996 | cTc - A Tool Supporting the Construction of cTLA-Specifications. | Carsten Heyl, Arnulf Mester, Heiko Krumm |
| 1996 | A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. | Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach |
| 1996 | PEP - More than a Petri Net Tool. | Bernd Grahlmann, Eike Best |
| 1996 | Automatic Compositional Verification of Some Security Properties. | Riccardo Focardi, Roberto Gorrieri |