More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

3rd TACAS 1997: Enschede, The Netherlands

> Home > Conferences and Workshops > TACAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/1997
Ed Brinksma:
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217, Springer 1997, ISBN 3-540-62790-1

Session 1: Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Berry97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Berry97
Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. 1-3

Session 2: Space Reduction Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DrechslerBR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DrechslerBR97
Rolf Drechsler, Bernd Becker, Stefan Ruppertz:
Manipulation Algorithms for K*BMDs. 4-18
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EmersonJP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EmersonJP97
E. Allen Emerson, Somesh Jha, Doron A. Peled:
Combining Partial Order and Symmetry Reductions. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AndersenSM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AndersenSM97
Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
Partial Model Checking with ROBDDs. 35-49
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ParashkevovY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ParashkevovY97
Atanas N. Parashkevov, Jay Yantchev:
Space Efficient Reachability Analysis Through Use of Pseudo-Root States. 50-64

Session 3: Tool Demonstration

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Grahlmann97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Grahlmann97
Bernd Grahlmann:
The Reference Component of PEP. 65-80
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Boulton97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Boulton97
Richard J. Boulton:
A Tool to Support Formal Reasoning about Computer Languages. 81-95
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EijkBEA97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EijkBEA97
Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas:
The Term Processor Generator Kimwitu. 96-111
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BeeckBCDFKMSS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BeeckBCDFKMSS97
Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism. 112-129

Session 4: Logical Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/SchmittG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SchmittG97
Peter H. Schmitt, Jean Goubault-Larrecq:
A Tableau System for Linear-TIME Temporal Logic. 130-144
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Penczek97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Penczek97
Wojciech Penczek:
Model-Checking for a Subclass of Event Structures. 145-164
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RaskinS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RaskinS97
Jean-François Raskin, Pierre-Yves Schobbens:
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. 165-182
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KelbMMG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KelbMMG97
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger:
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. 183-202

Session 5: Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Jensen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Jensen97
Kurt Jensen:
A Brief Introduction to Coloured Petri Nets. 203-208
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristensenJK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristensenJK97
Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets. 209-223

Sesion 6: Verification Support

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/PhilippsS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PhilippsS97
Jan Philipps, Peter Scholz:
Formal Verification of Statecharts with Instantaneous Chain Reaction. 224-238
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KrimmM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KrimmM97
Jean-Pierre Krimm, Laurent Mounier:
Compositional State Space Generation from Lotos Programs. 239-258
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Ben-AbdallahL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Ben-AbdallahL97
Hanêne Ben-Abdallah, Stefan Leue:
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. 259-274
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FerrariFGMPR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FerrariFGMPR97
Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes. 275-289

Session 7: Specification and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Tofts97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Tofts97
Chris M. N. Tofts:
Compositional Performance Analysis. 290-305
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Kleuker97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Kleuker97
Stephan Kleuker:
Incremental Development of Deadlock-Free Communicating Systems. 306-320
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BoigelotG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BoigelotG97
Bernard Boigelot, Patrice Godefroid:
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. 321-333

Session 8: Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlfaroM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlfaroM97
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. 334-350

Session 9: Theorem Proving, Model Checking and Their Applications

- view
  authority control:
- export record
  dblp key:
  - conf/tacas/SandnerM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SandnerM97
Robert Sandner, Olaf Müller:
Theorem Prover Support for the Refinement of Stream Processing Functions. 351-365
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/OwreRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/OwreRS97
Sam Owre, John M. Rushby, Natarajan Shankar:
Integration in PVS: Tables, Types, and Model Checking. 366-383
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EngelsFM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EngelsFM97
André Engels, Loe M. G. Feijs, Sjouke Mauw:
Test Generation for Intelligent Networks Using Model Checking. 384-398
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Prasetya97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Prasetya97
I. S. W. B. Prasetya:
Mechanically Verified Self-Stabilizing Hierarchical Algorithms. 399-415
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DArgenioKRT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DArgenioKRT97
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time! 416-431

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.