Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Jean-François Raskin
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. P. S. Thiagarajan
    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 4763)

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

Included in the following conference series:

Conference proceedings info: FORMATS 2007.

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

  1. Front Matter

    Download chapter PDF

  2. Abstraction of Probabilistic Systems

    • Joost-Pieter Katoen
    Pages 1-3

  3. From Analysis to Design

    • Bruce H. Krogh
    Pages 4-4

  4. Efficient On-the-Fly Algorithms for Partially Observable Timed Games

    • Franck Cassez
    Pages 5-24

  5. Undecidability of Universality for Timed Automata with Minimal Resources

    • Sara Adams, Joël Ouaknine, James Worrell
    Pages 25-37

  6. On Timed Models of Gene Networks

    • Grégory Batt, Ramzi Ben Salah, Oded Maler
    Pages 38-52

  7. Costs Are Expensive!

    • Patricia Bouyer, Nicolas Markey
    Pages 53-68

  8. Hypervolume Approximation in Timed Automata Model Checking

    • Víctor Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
    Pages 69-81

  9. Counter-Free Input-Determined Timed Automata

    • Fabrice Chevalier, Deepak D’Souza, Pavithra Prabhakar
    Pages 82-97

  10. Towards Budgeting in Real-Time Calculus: Deferrable Servers

    • Pieter J. L. Cuijpers, Reinder J. Bril
    Pages 98-113

  11. Automatic Abstraction Refinement for Timed Automata

    • Henning Dierks, Sebastian Kupferschmid, Kim G. Larsen
    Pages 114-129

  12. Dynamical Properties of Timed Automata Revisited

    • Cătălin Dima
    Pages 130-146

  13. Robust Sampling for MITL Specifications

    • Georgios E. Fainekos, George J. Pappas
    Pages 147-162

  14. On the Expressiveness of MTL Variants over Dense Time

    • Carlo Alberto Furia, Matteo Rossi
    Pages 163-178

  15. Quantitative Model Checking Revisited: Neither Decidable Nor Approximable

    • Sergio Giro, Pedro R. D’Argenio
    Pages 179-194

  16. Efficient Detection of Zeno Runs in Timed Automata

    • Rodolfo Gómez, Howard Bowman
    Pages 195-210

  17. Partial Order Reduction for Verification of Real-Time Components

    • John Håkansson, Paul Pettersson
    Pages 211-226

  18. Guided Controller Synthesis for Climate Controller Using Uppaal Tiga

    • Jan Jakoh Jessen, Jacob Illum Rasmussen, Kim G. Larsen, Alexandre David
    Pages 227-240

  19. Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

    • Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
    Pages 241-256

  20. Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters

    • Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Pages 257-273
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation