Advertisement

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

  • Paul Pettersson
  • Wang Yi
Conference proceedings FORMATS 2005

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Logic and Specification

    1. Oded Maler, Dejan Nickovic, Amir Pnueli
      Pages 2-16
    2. Hongping Lim, Dilsun Kaynar, Nancy Lynch, Sayan Mitra
      Pages 17-31
    3. Atle Refsdal, Knut Eilif Husa, Ketil Stølen
      Pages 32-48
  4. Times Games and Synthesis

    1. Thomas Brihaye, Véronique Bruyère, Jean-François Raskin
      Pages 49-64
    2. Bo Thomas Adler, Luca de Alfaro, Marco Faella
      Pages 65-80
    3. Gerd Behrmann, Kim G. Larsen, Jacob Illum Rasmussen
      Pages 81-94
  5. Invited Talk

    1. Parosh Aziz Abdulla
      Pages 95-97
  6. Model Checking

    1. Martijn Hendriks
      Pages 98-111
    2. Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier
      Pages 112-126
  7. Invited Talk

  8. Hybrid Systems

    1. Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
      Pages 144-161
    2. Husain Aljazzar, Holger Hermanns, Stefan Leue
      Pages 177-195
  9. Petri Nets

    1. Beatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
      Pages 211-225
  10. Semantics

    1. Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
      Pages 226-241
    2. Flavio Corradini, Walter Vogler
      Pages 242-257
    3. Wan Fokkink, Jun Pang, Anton Wijs
      Pages 258-272
  11. Semantics and Modelling

    1. Karine Altisen, Stavros Tripakis
      Pages 273-288
    2. Roberto Giacobazzi, Isabella Mastroeni
      Pages 289-303
  12. Back Matter

About these proceedings

Keywords

distributed systems embedded systems formal analysis formal methods formal modeling formal verification hybrid systems logical constraints model checking real-time systems systems analysis systems design systems modeling timed timed automata

Editors and affiliations

  • Paul Pettersson
    • 1
  • Wang Yi
    • 2
  1. 1.Department of Information TechnologyUppsala UniversityUppsalaSweden
  2. 2.Department of Information TechnologyUppsala UniversitySweden

Bibliographic information

  • DOI https://doi.org/10.1007/11603009
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30946-8
  • Online ISBN 978-3-540-31616-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site