Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

  • Sriram Sankaranarayanan
  • Enrico Vicario
Conference proceedings FORMATS 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9268)

Table of contents

  1. Front Matter
    Pages I-X
  2. Étienne André, Nicolas Markey
    Pages 27-43
  3. Nicolas Basset
    Pages 44-59
  4. Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
    Pages 60-75
  5. Clemens Dubslaff, Christel Baier
    Pages 76-92
  6. Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
    Pages 93-107
  7. Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone
    Pages 108-123
  8. Frédéric Herbreteau, Thanh-Tung Tran
    Pages 124-139
  9. Aleksandra Jovanović, Marta Kwiatkowska, Gethin Norman
    Pages 140-155
  10. Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga
    Pages 156-171
  11. Luca Bortolussi, Roberta Lanciani
    Pages 172-188
  12. Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
    Pages 189-205
  13. Andrea Marin, Sabina Rossi
    Pages 206-221
  14. Eike Möhlmann, Willem Hagemann, Oliver Theel
    Pages 222-239
  15. Gethin Norman, David Parker, Xueyi Zou
    Pages 240-255
  16. Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
    Pages 256-269
  17. Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
    Pages 270-287
  18. Florian Lorber, Amnon Rosenmann, Dejan Ničković, Bernhard K. Aichernig
    Pages 288-304
  19. Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen
    Pages 305-320
  20. Back Matter
    Pages 321-321

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.


Automata Cyber-physical Systems Formal Methods Real-time Systems Verification Analysis Automata Theory Automatic Verification Constraint Solving Hybrid Systems Model Checking Modeling Petri Nets Quantitative Analysis Reversible Computations Stability Temporal Logic Theory of Computation Timed Automata Timed Systems

Editors and affiliations

  • Sriram Sankaranarayanan
    • 1
  • Enrico Vicario
    • 2
  1. 1.University of ColoradoBoulderUSA
  2. 2.University of FlorenceFlorenceItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-22974-4
  • Online ISBN 978-3-319-22975-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site