Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Víctor Braberman

    1. Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laurent Fribourg

    1. LSV, CNRS & ENS de Cachan, Cachan Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: FORMATS 2013.

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 49.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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs

    • Étienne André, Giuseppe Pellegrino, Laure Petrucci
    Pages 1-15

  3. Spectral Gap in Timed Automata

    • Eugene Asarin, Nicolas Basset, Aldric Degorre
    Pages 16-30

  4. Robust Weighted Timed Automata and Games

    • Patricia Bouyer, Nicolas Markey, Ocan Sankur
    Pages 31-46

  5. On MITL and Alternating Timed Automata

    • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
    Pages 47-61

  6. Predictability of Event Occurrences in Timed Systems

    • Franck Cassez, Alban Grastien
    Pages 62-76

  7. Transience Bounds for Distributed Algorithms

    • Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
    Pages 77-90

  8. Back in Time Petri Nets

    • Thomas Chatain, Claude Jard
    Pages 91-105

  9. A Mechanized Semantic Framework for Real-Time Systems

    • Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine
    Pages 106-120

  10. Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking

    • Peter Höfner, Maryam Kamali
    Pages 121-136

  11. More or Less True DCTL for Continuous-Time MDPs

    • David N. Jansen
    Pages 137-151

  12. Incremental Language Inclusion Checking for Networks of Timed Automata

    • Willibald Krenn, Dejan Ničković, Loredana Tec
    Pages 152-167

  13. Nested Timed Automata

    • Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
    Pages 168-182

  14. On Fixed Points of Strictly Causal Functions

    • Eleftherios Matsikoudis, Edward A. Lee
    Pages 183-197

  15. Detecting Quasi-equal Clocks in Timed Automata

    • Marco Muñiz, Bernd Westphal, Andreas Podelski
    Pages 198-212

  16. On the Verification of Timed Discrete-Event Models

    • Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
    Pages 213-227

  17. Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores

    • Pranav Tendulkar, Peter Poplavko, Oded Maler
    Pages 228-242

  18. Confluence Reduction for Markov Automata

    • Mark Timmer, Jaco van de Pol, Mariëlle I. A. Stoelinga
    Pages 243-257

  19. Optimal Control for Linear-Rate Multi-mode Systems

    • Dominik Wojtczak
    Pages 258-273

  20. Back Matter

    Download chapter PDF
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 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).

Editors and Affiliations

  • Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina

    Víctor Braberman

  • LSV, CNRS & ENS de Cachan, Cachan Cedex, France

    Laurent Fribourg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation