Formal Modeling and Analysis of Timed Systems

4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

  • Eugene Asarin
  • Patricia Bouyer
Conference proceedings FORMATS 2006
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4202)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 1-17
  3. Contributed Papers

    1. Husain Aljazzar, Stefan Leue
      Pages 33-51
    2. Béatrice Bérard, Paul Gastin, Antoine Petit
      Pages 52-66
    3. Béatrice Bérard, Paul Gastin, Antoine Petit
      Pages 67-81
    4. Bernard Berthomieu, Florent Peres, François Vernadat
      Pages 82-97
    5. Prakash Chandrasekaran, Madhavan Mukund
      Pages 98-112
    6. Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
      Pages 113-127
    7. Alexandre David, John Håkansson, Kim G. Larsen, Paul Pettersson
      Pages 128-142
    8. Conrado Daws, Piotr Kordy
      Pages 143-155
    9. Georgios E. Fainekos, Antoine Girard, George J. Pappas
      Pages 171-186
    10. Olivier Finkel
      Pages 187-199
    11. Serge Haddad, Laura Recalde, Manuel Silva
      Pages 230-244
    12. François Laroussinie, Nicolas Markey, Ghassan Oreiby
      Pages 245-259
    13. Kamal Lodaya, Paritosh K. Pandya
      Pages 260-273

About these proceedings

Introduction

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The ?rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti?c disciplines, and there is a growing awareness of the di?cult problems common to all of them, suggesting the interdisciplinary study of timed systems. The unifying theme underlying all these domains is that they concern systems whose behavior depends upon combinations of logical and temporal constraints, e.g., constraints on the distance between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).

Keywords

Automat algorithm algorithms automata data structure data structures modeling petri net real-time semantics tools

Editors and affiliations

  • Eugene Asarin
    • 1
  • Patricia Bouyer
    • 2
  1. 1.LIAFA, CNRS and University Paris Diderot 
  2. 2.LSV, CNRS & ENS de CachanFrance

Bibliographic information

  • DOI https://doi.org/10.1007/11867340
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-45026-9
  • Online ISBN 978-3-540-45031-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349