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 
Invited Lectures
Regular Session
- Rajeev Alur, Gerard J. Holzmann, Doron Peled:
An Analyser for Mesage Sequence Charts.
35-48
- Rudolf Berghammer, Burghard von Karger, Christiane Ulke:
Realtion-Algebraic Analysis of Petri Nets with RELVIEW.
49-69
- Craig Damon, Daniel Jackson:
Efficient Search as a Means of Executing Specifications.
70-86
- Javier Esparza, Stefan Römer, Walter Vogler:
An Improvement of McMillan's Unfolding Algorithm.
87-106
- Girish Bhat, Rance Cleaveland:
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.
107-126
- Jan Tretmans:
Test Generation with Inputs, Outputs, and Quiescence.
127-146
- Gavin Lowe:
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.
147-166
- Riccardo Focardi, Roberto Gorrieri:
Automatic Compositional Verification of Some Security Properties.
167-186
- François Michel, Pierre Azéma, François Vernadat:
Permutable Agents in Process Algebras.
187-206
- Nils Buhrke, Helmut Lescow, Jens Vöge:
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.
207-224
- 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
- Ching-Tsun Chou, Doron Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
241-257
- Tiziana Margaria:
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits.
258-277
- Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims:
Priorities for Modeling and Verifying Distributed Systems.
278-297
- Colin Stirling:
Games and Modal Mu-Calculus.
298-312
- Abdelwaheb Ayari, David A. Basin:
Generic System Support for Deductive Program Development.
313-328
- Stavros Tripakis, Costas Courcoubetis:
Extending Promela and Spin for Real Time.
329-348
- Elie Najm, Frank Olsen:
Reactive EFSMs - Reactive Promela/RSPIN.
349-368
- Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Duration Automata for Analyzing Real-Time Systems.
369-390
Tool Presentation
- Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory Software Development Environment.
391-395
- Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set (Tool Demonstration).
396
- Bernd Grahlmann, Eike Best:
PEP - More than a Petri Net Tool.
397-401
- Jorge Cuéllar, Dieter Barnard, Martin Huber:
Rapid Prototyping for an Assertional Specification language.
402-406
- Carsten Heyl, Arnulf Mester, Heiko Krumm:
cTc - A Tool Supporting the Construction of cTLA-Specifications.
407-411
- Hassen Saïdi:
A Tool for Proving Invariance Properties of Concurrent Systems Automatically.
412-416
- Antoine Rauzy:
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).
417
- Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment.
418-421
- Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen:
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.
422-426
- Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach:
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.
427-430
- Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
UPPAAL in 1995.
431-434
Last update Sat May 25 19:09:55 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
