Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Marcin Jurdziński

    1. Department of Computer Science, University of Warwick, Coventry, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dejan Ničković

    1. Business Unit Safe and Autonomous Systems, Department of Safety and Security, AIT Austrian Institute of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FORMATS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  3. Regular Papers

    1. Robustness of Time Petri Nets under Architectural Constraints

      • S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
      Pages 11-26

    2. Toward a Timed Theory of Channel Coding

      • Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin
      Pages 27-42

    3. Playing Optimally on Timed Automata with Random Delays

      • Nathalie Bertrand, Sven Schewe
      Pages 43-58

    4. Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems

      • Rebekah Carter, Eva M. Navarro-López
      Pages 59-74

    5. Revisiting Timed Specification Theories: A Linear-Time Perspective

      • Chris Chilton, Marta Kwiatkowska, Xu Wang
      Pages 75-90

    6. Multi-core Reachability for Timed Automata

      • Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
      Pages 91-106

    7. Counterexample-Guided Synthesis of Observation Predicates

      • Rayna Dimitrova, Bernd Finkbeiner
      Pages 107-122

    8. Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

      • Christian Ellen, Sebastian Gerwinn, Martin Fränzle
      Pages 123-138

    9. Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

      • Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort, Marco Gribaudo
      Pages 139-154

    10. Reducing Quasi-Equal Clocks in Networks of Timed Automata

      • Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski
      Pages 155-170

    11. SMT-Based Induction Methods for Timed Systems

      • Roland Kindermann, Tommi Junttila, Ilkka Niemelä
      Pages 171-187

    12. Timed Automata with Disjoint Activity

      • Marco Muñiz, Bernd Westphal, Andreas Podelski
      Pages 188-203

    13. The Complexity of Bounded Synthesis for Timed Control with Partial Observability

      • Hans-Jörg Peter, Bernd Finkbeiner
      Pages 204-219

    14. Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics

      • Jonas Rinast, Sibylle Schupp
      Pages 220-235

    15. Frequencies in Forgetful Timed Automata

      • Amélie Stainer
      Pages 236-251

    16. Mcta: Heuristics and Search for Timed Systems

      • Martin Wehrle, Sebastian Kupferschmid
      Pages 252-266

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.

Editors and Affiliations

  • Department of Computer Science, University of Warwick, Coventry, UK

    Marcin Jurdziński

  • Business Unit Safe and Autonomous Systems, Department of Safety and Security, AIT Austrian Institute of Technology, Vienna, Austria

    Dejan Ničković

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation