Skip to main content
  • Conference proceedings
  • © 2005

Formal Modeling and Analysis of Timed Systems

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

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

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

Conference series link(s): FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems

Conference proceedings info: FORMATS 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (22 papers)

  1. Front Matter

  2. 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
  3. 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
  4. Invited Talk

    1. Verification of Parameterized Timed Systems

      • Parosh Aziz Abdulla
      Pages 95-97
  5. 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
  6. Invited Talk

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

      • Karl-Erik Ã…rzén
      Pages 142-143
  7. Hybrid Systems

    1. Automatic Rectangular Refinement of Affine Hybrid Systems

      • Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
      Pages 144-161
    2. Counterexamples for Timed Probabilistic Reachability

      • Husain Aljazzar, Holger Hermanns, Stefan Leue
      Pages 177-195
  8. Petri Nets

    1. 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
  9. 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

Other Volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

  • distributed systems
  • embedded systems
  • formal analysis
  • formal methods
  • formal modeling
  • formal verification
  • hybrid systems
  • logical constraints
  • model checking
  • real-time systems
  • systems analysis
  • systems design
  • systems modeling
  • timed
  • timed automata

Editors and Affiliations

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

    Paul Pettersson

  • Department of Information Technology, Uppsala University, Sweden

    Wang Yi

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions