Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling and Analysis of Timed Systems

7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Joël Ouaknine

    1. Computing Laboratory, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frits W. Vaandrager

    1. Institute for Computing and Information Sciences , Radboud University Nijmegen , Nijmegen, The Netherlands

    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 5813)

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

Included in the following conference series:

Conference proceedings info: FORMATS 2009.

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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Tapas: Theory Combinations and Practical Applications

    • Nikolaj Bjørner, Leonardo de Moura
    Pages 1-6

  3. Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games

    • Stéphane Gaubert
    Pages 7-11

  4. Approximations of Discrete, Continuous, and Hybrid Systems

    • George J. Pappas
    Pages 12-12

  5. Volume and Entropy of Regular Timed Languages: Analytic Approach

    • Eugene Asarin, Aldric Degorre
    Pages 13-27

  6. Synthesis of Non-Interferent Timed Systems

    • Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
    Pages 28-42

  7. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

    • Anne Bouillard, Stefan Haar, Sidney Rosario
    Pages 43-57

  8. Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

    • Víctor Braberman, Diego Garbervestky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero
    Pages 58-72

  9. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

    • Peter Bulychev, Thomas Chatain, Alexandre David, Kim G. Larsen
    Pages 73-87

  10. Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

    • Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain
    Pages 88-102

  11. Safe Runtime Verification of Real-Time Properties

    • Christian Colombo, Gordon J. Pace, Gerardo Schneider
    Pages 103-117

  12. Removing All Silent Transitions from Timed Automata

    • Cătălin Dima, Ruggero Lanotte
    Pages 118-132

  13. Realizability of Real-Time Logics

    • Laurent Doyen, Gilles Geeraerts, Jean-Francois Raskin, Julien Reichert
    Pages 133-148

  14. Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata

    • Martin Fränzle, Mani Swaminathan
    Pages 149-163

  15. Analyzing Real-Time Event-Driven Programs

    • Pierre Ganty, Rupak Majumdar
    Pages 164-178

  16. A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

    • Rodolfo Gómez
    Pages 179-194

  17. Compositional Abstraction for Stochastic Systems

    • Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
    Pages 195-211

  18. Stochastic Games for Verification of Probabilistic Timed Automata

    • Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 212-227

  19. Checking Timed Büchi Automata Emptiness Using LU-Abstractions

    • Guangyuan Li
    Pages 228-242

  20. On the Supports of Recognizable Timed Series

    • Karin Quaas
    Pages 243-257
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 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling 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 different models (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 (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 (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).

Editors and Affiliations

  • Computing Laboratory, Oxford University, Oxford, UK

    Joël Ouaknine

  • Institute for Computing and Information Sciences , Radboud University Nijmegen , Nijmegen, The Netherlands

    Frits W. Vaandrager

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation