Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Paul Pettersson

    1. Department of Information Technology, Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wang Yi

    1. Department of Information Technology, Uppsala University, Sweden

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORMATS 2005.

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

  1. Front Matter

    Download chapter PDF

  3. Logic and Specification

    1. Real Time Temporal Logic: Past, Present, Future

      • Oded Maler, Dejan Nickovic, Amir Pnueli
      Pages 2-16

    2. Translating Timed I/O Automata Specifications for Theorem Proving in PVS

      • Hongping Lim, Dilsun Kaynar, Nancy Lynch, Sayan Mitra
      Pages 17-31

    3. Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams

      • Atle Refsdal, Knut Eilif Husa, Ketil Stølen
      Pages 32-48

  4. Times Games and Synthesis

    1. On Optimal Timed Strategies

      • Thomas Brihaye, Véronique Bruyère, Jean-François Raskin
      Pages 49-64

    2. Average Reward Timed Games

      • Bo Thomas Adler, Luca de Alfaro, Marco Faella
      Pages 65-80

    3. Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness

      • Gerd Behrmann, Kim G. Larsen, Jacob Illum Rasmussen
      Pages 81-94

  5. Invited Talk

    1. Verification of Parameterized Timed Systems

      • Parosh Aziz Abdulla
      Pages 95-97

  6. Model Checking

    1. Model Checking the Time to Reach Agreement

      • Martijn Hendriks
      Pages 98-111

    2. Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems

      • Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier
      Pages 112-126

    3. A New Verification Procedure for Partially Clairvoyant Scheduling

      • K. Subramani, D. Desovski
      Pages 127-141

  7. Invited Talk

    1. Timing Analysis and Simulation Tools for Real-Time Control

      • Karl-Erik Ã…rzén
      Pages 142-143

  8. Hybrid Systems

    1. Automatic Rectangular Refinement of Affine Hybrid Systems

      • Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
      Pages 144-161

    2. Reachability Problems on Extended O-Minimal Hybrid Automata

      • Raffaella Gentilini
      Pages 162-176

    3. Counterexamples for Timed Probabilistic Reachability

      • Husain Aljazzar, Holger Hermanns, Stefan Leue
      Pages 177-195

  9. Petri Nets

    1. Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets

      • Thomas Chatain, Claude Jard
      Pages 196-210

    2. Comparison of the Expressiveness of Timed Automata and Time Petri Nets

      • Beatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
      Pages 211-225

  10. Semantics

    1. Quantifying Similarities Between Timed Systems

      • Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
      Pages 226-241

    2. Performance of Pipelined Asynchronous Systems

      • Flavio Corradini, Walter Vogler
      Pages 242-257
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

Editors and Affiliations

  • Department of Information Technology, Uppsala University, Uppsala, Sweden

    Paul Pettersson

  • Department of Information Technology, Uppsala University, Sweden

    Wang Yi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation