2. TACAS 1996: Passau, Germany

Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055 Springer 1996, ISBN 3-540-61042-1 BibTeX

@proceedings{DBLP:conf/tacas/1996,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               Second International Workshop, TACAS '96, Passau, Germany, March
               27-29, 1996, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1055},
  year      = {1996},
  isbn      = {3-540-61042-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Gerard J. Holzmann: Early Fault Detection Tools. 1-13 BibTeX
Dexter Kozen: Kleene Algebra withTests and Commutativity Conditions. 14-33 BibTeX
Leslie Lamport: Managing Proofs (Abstract). 34 BibTeX

Regular Session

Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. 35-48 BibTeX
Rudolf Berghammer, Burghard von Karger, Christiane Ulke: Realtion-Algebraic Analysis of Petri Nets with RELVIEW. 49-69 BibTeX
Craig Damon, Daniel Jackson: Efficient Search as a Means of Executing Specifications. 70-86 BibTeX
Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. 87-106 BibTeX
Girish Bhat, Rance Cleaveland: Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. 107-126 BibTeX
Jan Tretmans: Test Generation with Inputs, Outputs, and Quiescence. 127-146 BibTeX
Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. 147-166 BibTeX
Riccardo Focardi, Roberto Gorrieri: Automatic Compositional Verification of Some Security Properties. 167-186 BibTeX
François Michel, Pierre Azéma, François Vernadat: Permutable Agents in Process Algebras. 187-206 BibTeX
Nils Buhrke, Helmut Lescow, Jens Vöge: Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. 207-224 BibTeX
Stefan Kowalewski, Jörg Preußig: Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. 225-240 BibTeX
Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. 241-257 BibTeX
Tiziana Margaria: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. 258-277 BibTeX
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims: Priorities for Modeling and Verifying Distributed Systems. 278-297 BibTeX
Colin Stirling: Games and Modal Mu-Calculus. 298-312 BibTeX
Abdelwaheb Ayari, David A. Basin: Generic System Support for Deductive Program Development. 313-328 BibTeX
Stavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. 329-348 BibTeX
Elie Najm, Frank Olsen: Reactive EFSMs - Reactive Promela/RSPIN. 349-368 BibTeX
Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. 369-390 BibTeX

Tool Presentation

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. 391-395 BibTeX
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set (Tool Demonstration). 396 BibTeX
Bernd Grahlmann, Eike Best: PEP - More than a Petri Net Tool. 397-401 BibTeX
Jorge Cuéllar, Dieter Barnard, Martin Huber: Rapid Prototyping for an Assertional Specification language. 402-406 BibTeX
Carsten Heyl, Arnulf Mester, Heiko Krumm: cTc - A Tool Supporting the Construction of cTLA-Specifications. 407-411 BibTeX
Hassen Saïdi: A Tool for Proving Invariance Properties of Concurrent Systems Automatically. 412-416 BibTeX
Antoine Rauzy: Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). 417 BibTeX
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. 418-421 BibTeX
Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. 422-426 BibTeX
Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach: A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. 427-430 BibTeX
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. 431-434 BibTeX