Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling and Analysis of Timed Systems

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Uli Fahrenberg

    1. IRISA/INRIA Rennes, Campus Beaulieu, Rennes Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stavros Tripakis

    1. University of California, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FORMATS 2011.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Performance Evaluation of Schedulers in a Probabilistic Setting

      • Jean-Francois Kempf, Marius Bozga, Oded Maler
      Pages 1-17

    2. Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

      • Boudewijn R. Haverkort
      Pages 18-24

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

Editors and Affiliations

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

    Uli Fahrenberg

  • University of California, Berkeley, USA

    Stavros Tripakis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation