Tools and Algorithms for the Construction and Analysis of Systems

5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

  • W. Rance Cleaveland
Conference proceedings TACAS 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1579)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Contribution

    1. Jeff Kramer, Jeff Magee
      Pages 1-18
  3. Real-Time

    1. Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
      Pages 19-33
    2. Minsoo Ryu, Seongsoo Hong
      Pages 34-43
    3. Mark K. Gardner, Jane W. S. Liu
      Pages 44-58
    4. Stavros Tripakis
      Pages 59-73
  4. Case Studies

    1. Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka et al.
      Pages 74-88
    2. Jason Hickey, Nancy Lynch, Robbert van Renesse
      Pages 119-134
  5. Compositionality and Abstraction

    1. Anne Bergeron, Jean-Christophe Manzoni
      Pages 134-147
    2. Gerd Behrmann, Kim G. Larsen, Henrik R. Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
      Pages 163-177
  6. Symbolic Analysis

    1. Armin Biere, Alessandro Cimatti, Edmund Clarke, Yunshan Zhu
      Pages 193-207
    2. Parosh Abdulla, Aurore Annichini, Ahmed Bouajjani
      Pages 208-222
    3. Giorgio Delzanno, Andreas Podelski
      Pages 223-239
  7. Process Algebra

  8. Frameworks for System Construction and Analysis

    1. Hakim Kahlouche, César Viho, Massimo Zendri
      Pages 315-329
    2. Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
      Pages 330-344
    3. David Lorge Parnas, Dennis K. Peters
      Pages 345-359
  9. Tool Descriptions

    1. A. G. Bakhmurov, A. P. Kapitonova, R. L. Smeliansky
      Pages 390-404
    2. Elsa L. Gunter, Doron Peled
      Pages 405-419
  10. Position Paper

  11. ETAPS Tool Demonstation

    1. Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
      Pages 439-443
  12. Back Matter
    Pages 445-445

About these proceedings


ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Algorithms Analysis Formal Methods Real-Time Systems Software Tols Systems Analysis Systems Design algebra algorithm real-time system

Editors and affiliations

  • W. Rance Cleaveland
    • 1
  1. 1.Department of Computer ScienceState University of New York at Stony BrookStony BrookUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65703-3
  • Online ISBN 978-3-540-49059-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking