Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Axel Legay

    1. Bâtiment C, Inria, Rennes Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marius Bozga

    1. Distributed and Complex Systems Group, Centre Equation, VERIMAG, Gieres, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FORMATS 2014.

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 54.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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. The Modeling and Analysis of Mixed-Criticality Systems

    • Sanjoy Baruah
    Pages 1-6

  3. Modeling Bitcoin Contracts by Timed Automata

    • Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek
    Pages 7-22

  4. Data-Driven Statistical Learning of Temporal Logic Properties

    • Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
    Pages 23-37

  5. Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices

    • Omar Al-Bataineh, Mark Reynolds, Tim French
    Pages 38-52

  6. Delay-Dependent Partial Order Reduction Technique for Time Petri Nets

    • Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati
    Pages 53-68

  7. On MITL and Alternating Timed Automata over Infinite Words

    • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
    Pages 69-84

  8. Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

    • Bernard Berthomieu, Silvano Dal Zilio, Łukasz Fronc, François Vernadat
    Pages 85-99

  9. Verification and Performance Evaluation of Timed Game Strategies

    • Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang
    Pages 100-114

  10. The Power of Proofs: New Algorithms for Timed Automata Model Checking

    • Peter Fontana, Rance Cleaveland
    Pages 115-129

  11. Anonymized Reachability of Hybrid Automata Networks

    • Taylor T. Johnson, Sayan Mitra
    Pages 130-145

  12. Combined Global and Local Search for the Falsification of Hybrid Systems

    • Jan Kuřátko, Stefan Ratschan
    Pages 146-160

  13. Weak Singular Hybrid Automata

    • Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
    Pages 161-175

  14. Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata

    • Stefano Minopoli, Goran Frehse
    Pages 176-190

  15. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

    • Nima Roohi, Mahesh Viswanathan
    Pages 191-205

  16. Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction

    • Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
    Pages 206-221

  17. Timed Pattern Matching

    • Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
    Pages 222-236

  18. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

    • Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jiří Srba
    Pages 237-251

  19. 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 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications in real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

Editors and Affiliations

  • Bâtiment C, Inria, Rennes Cedex, France

    Axel Legay

  • Distributed and Complex Systems Group, Centre Equation, VERIMAG, Gieres, France

    Marius Bozga

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation