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

    1. Ugo Montanari, Marco Pistore
      Pages 255-269
    2. Twan Basten, Jozef Hooman
      Pages 270-284

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
  • About this book