Advertisement

Formal Modeling and Analysis of Timed Systems

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

  • Krishnendu Chatterjee
  • Thomas A. Henzinger
Conference proceedings FORMATS 2010

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

Table of contents

  1. Front Matter
  2. Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
    Pages 2-22
  3. John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
    Pages 23-24
  4. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 25-45
  5. D. A. van Beek, P. J. L. Cuijpers, J. Markovski, D. E. Nadales Agut, J. E. Rooda
    Pages 47-61
  6. Patricia Bouyer, Romain Brenguier, Nicolas Markey
    Pages 62-76
  7. Alexandre Donzé, Oded Maler
    Pages 92-106
  8. Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
    Pages 107-121
  9. Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
    Pages 122-136
  10. Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
    Pages 137-151
  11. Dejan Ničković, Nir Piterman
    Pages 152-167
  12. Paritosh K. Pandya, Simoni S. Shah
    Pages 168-182
  13. Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
    Pages 183-197
  14. James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
    Pages 198-212
  15. Jeremy Sproston, Angelo Troina
    Pages 213-227
  16. Ernst-Rüdiger Olderog, Mani Swaminathan
    Pages 228-242
  17. Sabrina von Styp, Henrik Bohnenkamp, Julien Schmaltz
    Pages 243-255
  18. Back Matter

About these proceedings

Introduction

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints 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 an interest in the modeling and analysis of timed systems. Typical topics include (but are not limited to): – Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models).

Keywords

Natural Simulation algorithms constraint solving data structures hardware circuits max-plus algebra model checking modeling real-time logistics runtime verification timed Petri nets timed automata timed systems verification

Editors and affiliations

  • Krishnendu Chatterjee
    • 1
  • Thomas A. Henzinger
    • 2
  1. 1.Institute of Science and TechnologyIST AustriaKlosterneuburgAustria
  2. 2.Institute of Science and TechnologyIST AustriaKlosterneuburgAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15297-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15296-2
  • Online ISBN 978-3-642-15297-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site