Conferences in DBLP

Tools and Algorithms for Construction and Analysis of Systems (TACAS) (tacas)
1997 (conf/tacas/1997)

1. Gérard Berry
   Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:1-3 [Conf]
   
2. Rolf Drechsler, Bernd Becker, Stefan Ruppertz
   Manipulation Algorithms for K*BMDs. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:4-18 [Conf]
   
3. E. Allen Emerson, Somesh Jha, Doron Peled
   Combining Partial Order and Symmetry Reductions. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:19-34 [Conf]
   
4. Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
   Partial Model Checking with ROBDDs. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:35-49 [Conf]
   
5. Atanas N. Parashkevov, Jay Yantchev
   Space Efficient Reachability Analysis Through Use of Pseudo-Root States. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:50-64 [Conf]
   
6. Bernd Grahlmann
   The Reference Component of PEP. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:65-80 [Conf]
   
7. Richard J. Boulton
   A Tool to Support Formal Reasoning about Computer Languages. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:81-95 [Conf]
   
8. Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
   The Term Processor Generator Kimwitu. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:96-111 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:112-129 [Conf]
   
10. Peter H. Schmitt, Jean Goubault-Larrecq
    A Tableau System for Linear-TIME Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:130-144 [Conf]
    
11. Wojciech Penczek
    Model-Checking for a Subclass of Event Structures. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:145-164 [Conf]
    
12. Jean-François Raskin, Pierre-Yves Schobbens
    Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:165-182 [Conf]
    
13. Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
    MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:183-202 [Conf]
    
14. Kurt Jensen
    A Brief Introduction to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:203-208 [Conf]
    
15. Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
    Design/CPN - A Computer Tool for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:209-223 [Conf]
    
16. Jan Philipps, Peter Scholz
    Formal Verification of Statecharts with Instantaneous Chain Reaction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:224-238 [Conf]
    
17. Jean-Pierre Krimm, Laurent Mounier
    Compositional State Space Generation from Lotos Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:239-258 [Conf]
    
18. Hanêne Ben-Abdallah, Stefan Leue
    Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:259-274 [Conf]
    
19. Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    An Automated Based Verification Environment for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:275-289 [Conf]
    
20. Chris M. N. Tofts
    Compositional Performance Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:290-305 [Conf]
    
21. Stephan Kleuker
    Incremental Development of Deadlock-Free Communicating Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:306-320 [Conf]
    
22. Bernard Boigelot, Patrice Godefroid
    Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:321-333 [Conf]
    
23. Luca de Alfaro, Zohar Manna
    Visual Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:334-350 [Conf]
    
24. Robert Sandner, Olaf Müller
    Theorem Prover Support for the Refinement of Stream Processing Functions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:351-365 [Conf]
    
25. Sam Owre, John M. Rushby, Natarajan Shankar
    Integration in PVS: Tables, Types, and Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:366-383 [Conf]
    
26. André Engels, Loe M. G. Feijs, Sjouke Mauw
    Test Generation for Intelligent Networks Using Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:384-398 [Conf]
    
27. I. S. W. B. Prasetya
    Mechanically Verified Self-Stabilizing Hierarchical Algorithms. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:399-415 [Conf]
    
28. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
    The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:416-431 [Conf]