Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling and Analysis of Timed Systems

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Franck Cassez
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claude Jard
    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 5215)

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

Included in the following conference series:

Conference proceedings info: FORMATS 2008.

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

  1. Front Matter

    Download chapter PDF

  3. 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

  4. Session 2. Timed Games and Logic

    1. Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

      • Alexander Rabinovich
      Pages 93-108

    2. MTL with Bounded Variability: Decidability and Complexity

      • Carlo A. Furia, Matteo Rossi
      Pages 109-123

    3. Timed Parity Games: Complexity and Robustness

      • Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 124-140

    4. On Scheduling Policies for Streams of Structured Jobs

      • Aldric Degorre, Oded Maler
      Pages 141-154

  5. 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

  6. Session 4. Model-Checking of Probabilistic Systems

    1. A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks

      • Anne Remke, Boudewijn R. Haverkort
      Pages 188-202

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

      • Joost-Pieter Katoen, Alexandru Mereacre
      Pages 203-217

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

  8. Session 6. Time Petri Nets

    1. Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs

      • Hanifa Boucheneb, Kamel Barkaoui
      Pages 265-279
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 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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation