| 1996 | A Constraint-Oriented Service Creation Environment. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß |
| 1996 | A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach |
| 1996 | A Tool for Proving Invariance Properties of Concurrent Systems Automatically. Hassen Saïdi |
| 1996 | An Analyser for Mesage Sequence Charts. Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
| 1996 | An Improvement of McMillan's Unfolding Algorithm. Javier Esparza, Stefan Römer, Walter Vogler |
| 1996 | Automatic Compositional Verification of Some Security Properties. Riccardo Focardi, Roberto Gorrieri |
| 1996 | Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Gavin Lowe |
| 1996 | DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen |
| 1996 | Early Fault Detection Tools. Gerard J. Holzmann |
| 1996 | Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. Girish Bhat, Rance Cleaveland |
| 1996 | Efficient Search as a Means of Executing Specifications. Craig Damon, Daniel Jackson |
| 1996 | Extending Promela and Spin for Real Time. Stavros Tripakis, Costas Courcoubetis |
| 1996 | Formal Verification of a Partial-Order Reduction Technique for Model Checking. Ching-Tsun Chou, Doron A. Peled |
| 1996 | Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. Tiziana Margaria |
| 1996 | Games and Modal Mu-Calculus. Colin Stirling |
| 1996 | Generic System Support for Deductive Program Development. Abdelwaheb Ayari, David A. Basin |
| 1996 | Kleene Algebra with Tests and Commutativity Conditions. Dexter Kozen |
| 1996 | Managing Proofs (Abstract). Leslie Lamport |
| 1996 | PEP - More than a Petri Net Tool. Bernd Grahlmann, Eike Best |
| 1996 | Permutable Agents in Process Algebras. François Michel, Pierre Azéma, François Vernadat |
| 1996 | Priorities for Modeling and Verifying Distributed Systems. Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims |
| 1996 | Probabilistic Duration Automata for Analyzing Real-Time Systems. Louise E. Moser, P. M. Melliar-Smith |
| 1996 | Rapid Prototyping for an Assertional Specification language. Jorge Cuéllar, Dieter Barnard, Martin Huber |
| 1996 | Reactive EFSMs - Reactive Promela/RSPIN. Elie Najm, Frank Olsen |
| 1996 | Realtion-Algebraic Analysis of Petri Nets with RELVIEW. Rudolf Berghammer, Burghard von Karger, Christiane Ulke |
| 1996 | Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. Nils Buhrke, Helmut Lescow, Jens Vöge |
| 1996 | Test Generation with Inputs, Outputs, and Quiescence. Jan Tretmans |
| 1996 | The Concurrency Factory Software Development Environment. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | The FC2TOOLS Set (Tool Demonstration). Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
| 1996 | Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. Stefan Kowalewski, Jörg Preußig |
| 1996 | Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings Tiziana Margaria, Bernhard Steffen |
| 1996 | UPPAAL in 1995. Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). Antoine Rauzy |
| 1996 | cTc - A Tool Supporting the Construction of cTLA-Specifications. Carsten Heyl, Arnulf Mester, Heiko Krumm |