Skip to main content
  • Conference proceedings
  • © 2011

Formal Modeling and Analysis of Timed Systems

9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

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

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

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

  1. Front Matter

  2. Invited Talks

    1. Performance Evaluation of Schedulers in a Probabilistic Setting

      • Jean-Francois Kempf, Marius Bozga, Oded Maler
      Pages 1-17
    2. Interfaces for Control Components

      • Rajeev Alur
      Pages 25-25
  3. Session 1: Probabilistic Models

    1. Time-Bounded Verification of CTMCs against Real-Time Specifications

      • Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre
      Pages 26-42
    2. Performance Model Checking Scenario-Aware Dataflow

      • Bart Theelen, Marc Geilen, Jeroen Voeten
      Pages 43-59
    3. Probabilistic Real-Time Rewrite Theories and Their Expressive Power

      • Lucian Bentea, Peter Csaba Ölveczky
      Pages 60-79
    4. Statistical Model Checking for Networks of Priced Timed Automata

      • Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Jonas van Vliet et al.
      Pages 80-96
  4. Session 2: Robustness

    1. Robust Model-Checking of Timed Automata via Pumping in Channel Machines

      • Patricia Bouyer, Nicolas Markey, Ocan Sankur
      Pages 97-112
    2. Thin and Thick Timed Regular Languages

      • Nicolas Basset, Eugene Asarin
      Pages 113-128
    3. Robust Specification of Real Time Components

      • Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski
      Pages 129-144
  5. Session 3: Games

    1. Minimum Attention Controller Synthesis for Omega-Regular Objectives

      • Krishnendu Chatterjee, Rupak Majumdar
      Pages 145-159
    2. Crossing the Bridge between Similar Games

      • Jan-David Quesel, Martin Fränzle, Werner Damm
      Pages 160-176
  6. Session 4: Verification and Testing

    1. Exact Incremental Analysis of Timed Automata with an SMT-Solver

      • Bahareh Badban, Martin Lange
      Pages 177-192
    2. Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems

      • Matthias Woehrle, Kai Lampka, Lothar Thiele
      Pages 193-208
    3. Event Clock Automata: From Theory to Practice

      • Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
      Pages 209-224
    4. On Construction of Safety Signal Automata for \(MITL[\:\mathcal{U},\:\mathcal{S}]\) Using Temporal Projections

      • Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya
      Pages 225-239
  7. Session 5: Verification

    1. Craig Interpolation in the Presence of Non-linear Constraints

      • Stefan Kupferschmid, Bernd Becker
      Pages 240-255
    2. On the Verification of Timed Ad Hoc Networks

      • Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
      Pages 256-270
  8. Session 6: Hybrid Systems

    1. Incremental Computation of Succinct Abstractions for Hybrid Systems

      • Tomáš Dzetkulič, Stefan Ratschan
      Pages 271-285

Other Volumes

  1. Formal Modeling and Analysis of Timed Systems

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.

Keywords

  • computational geometry
  • embedded systems
  • model checking
  • performance evaluation
  • timed automata
  • algorithm analysis and problem complexity

Editors and Affiliations

  • IRISA/INRIA Rennes, Campus Beaulieu, Rennes Cedex, France

    Uli Fahrenberg

  • University of California, Berkeley, USA

    Stavros Tripakis

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