Skip to main content
  • Conference proceedings
  • © 2008

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

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

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

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

Conference proceedings info: FORMATS 2008.

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

  1. Front Matter

  2. Session 1. Extensions of Timed Automata and Semantics

    1. Infinite Runs in Weighted Timed Automata with Energy Constraints

      • Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Jiří Srba
      Pages 33-47
    2. Concavely-Priced Timed Automata

      • Marcin JurdziÅ„ski, Ashutosh Trivedi
      Pages 48-62
    3. Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets

      • Patricia Bouyer, Thomas Brihaye, Marcin JurdziÅ„ski, Ranko Lazić, MichaÅ‚ Rutkowski
      Pages 63-77
    4. Timed Automata with Integer Resets: Language Inclusion and Expressiveness

      • P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
      Pages 78-92
  3. Session 2. Timed Games and Logic

    1. MTL with Bounded Variability: Decidability and Complexity

      • Carlo A. Furia, Matteo Rossi
      Pages 109-123
    2. Timed Parity Games: Complexity and Robustness

      • Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 124-140
    3. On Scheduling Policies for Streams of Structured Jobs

      • Aldric Degorre, Oded Maler
      Pages 141-154
  4. Session 3. Case Studies

    1. A Framework for Distributing Real-Time Functions

      • Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
      Pages 155-169
    2. Formal Modeling and Scheduling of Datapaths of Digital Document Printers

      • Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager et al.
      Pages 170-187
  5. Session 4. Model-Checking of Probabilistic Systems

    1. Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains

      • Joost-Pieter Katoen, Alexandru Mereacre
      Pages 203-217
  6. Session 5. Verification and Test

    1. Convergence Verification: From Shared Memory to Partially Synchronous Systems

      • K. Mani Chandy, Sayan Mitra, Concetta Pilotto
      Pages 218-232
    2. Compositional Abstraction in Real-Time Model Checking

      • Jasper Berendsen, Frits Vaandrager
      Pages 233-249
    3. On Conformance Testing for Timed Systems

      • Julien Schmaltz, Jan Tretmans
      Pages 250-264
  7. Session 6. Time Petri Nets

Other Volumes

  1. Formal Modeling and Analysis of Timed Systems

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Keywords

  • Qos
  • distributed systems
  • embedded systems
  • formal analysis
  • formal methods
  • formal modeling
  • formal verification
  • iterative system tuning
  • logical constraints
  • model checking
  • modeling
  • refinement
  • simulation
  • statistical formal
  • verification

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