Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Kim Guldstrand Larsen

    1. Dept. of Computer Science, Aalborg University, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Niebert

    1. Laboratoire d’Informatique Fondamentale de Marseille, CMI, Marseille Cedex 13, France

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

Included in the following conference series:

Conference proceedings info: FORMATS 2003.

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

  1. Front Matter

    Download chapter PDF

  2. Timed Automata and Timed Languages Challenges and Open Problems

    • Eugene Asarin
    Pages 1-1

  3. Towards Efficient Partition Refinement for Checking Reachability in Timed Automata

    • Agata Półrola, Wojciech Penczek, Maciej Szreter
    Pages 2-17

  4. Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking

    • Bożena Woźna, Andrzej Zbrzezny
    Pages 18-33

  5. Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently

    • Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Pages 34-45

  6. Adding Symmetry Reduction to Uppaal

    • Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager
    Pages 46-59

  7. TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

    • Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
    Pages 60-72

  8. Optimization of Timed Automata Models Using Mixed-Integer Programming

    • Sebastian Panek, Olaf Stursberg, Sebastian Engell
    Pages 73-87

  9. Discrete-Time Rewards Model-Checked

    • Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    Pages 88-104

  10. Performance Analysis of Probabilistic Timed Automata Using Digital Clocks

    • Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Pages 105-120

  11. An Interval-Based Algebra for Restricted Event Detection

    • Jan Carlson, Björn Lisper
    Pages 121-133

  12. PARS: A Process Algebra with Resources and Schedulers

    • MohammadReza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
    Pages 134-150

  13. Formal Semantics of Hybrid Chi

    • R. R. H. Schiffelers, D. A. van Beek, K. L. Man, M. A. Reniers, J. E. Rooda
    Pages 151-165

  14. Run-Time Guarantees for Real-Time Systems

    • Reinhard Wilhelm
    Pages 166-167

  15. A Nonarchimedian Discretization for Timed Languages

    • Cătălin Dima
    Pages 168-181

  16. Folk Theorems on the Determinization and Minimization of Timed Automata

    • Stavros Tripakis
    Pages 182-188

  17. Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking

    • Biniam Gebremichael, Frits Vaandrager
    Pages 189-203

  18. On Timing Analysis of Combinational Circuits

    • Ramzi Ben Salah, Marius Bozga, Oded Maler
    Pages 204-218

  19. Analysis of Real Time Operating System Based Applications

    • Libor Waszniowski, Zdenek Hanzalek
    Pages 219-233

  20. Time-Optimal Test Cases for Real-Time Systems

    • Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
    Pages 234-245
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

Editors and Affiliations

  • Dept. of Computer Science, Aalborg University, Denmark

    Kim Guldstrand Larsen

  • Laboratoire d’Informatique Fondamentale de Marseille, CMI, Marseille Cedex 13, France

    Peter Niebert

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation