Formal Modeling and Analysis of Timed Systems

11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

  • Víctor Braberman
  • Laurent Fribourg
Conference proceedings FORMATS 2013

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

Table of contents

  1. Front Matter
  2. Étienne André, Giuseppe Pellegrino, Laure Petrucci
    Pages 1-15
  3. Eugene Asarin, Nicolas Basset, Aldric Degorre
    Pages 16-30
  4. Patricia Bouyer, Nicolas Markey, Ocan Sankur
    Pages 31-46
  5. Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
    Pages 47-61
  6. Franck Cassez, Alban Grastien
    Pages 62-76
  7. Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
    Pages 77-90
  8. Thomas Chatain, Claude Jard
    Pages 91-105
  9. Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine
    Pages 106-120
  10. David N. Jansen
    Pages 137-151
  11. Willibald Krenn, Dejan Ničković, Loredana Tec
    Pages 152-167
  12. Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
    Pages 168-182
  13. Eleftherios Matsikoudis, Edward A. Lee
    Pages 183-197
  14. Marco Muñiz, Bernd Westphal, Andreas Podelski
    Pages 198-212
  15. Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
    Pages 213-227
  16. Pranav Tendulkar, Peter Poplavko, Oded Maler
    Pages 228-242
  17. Mark Timmer, Jaco van de Pol, Mariëlle I. A. Stoelinga
    Pages 243-257
  18. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).


Markov automata algorithms event models timed systems weighted timed automata

Editors and affiliations

  • Víctor Braberman
    • 1
  • Laurent Fribourg
    • 2
  1. 1.Facultad de Ciencias Exactas y Naturales, Departamento de ComputaciónUniversidad de Buenos AiresBuenos AiresArgentina
  2. 2.LSV, CNRS & ENS de CachanCachan CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40228-9
  • Online ISBN 978-3-642-40229-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software