Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Formal Modeling and Analysis of Timed Systems

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

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)

Conference series link(s): FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems

Conference proceedings info: FORMATS 2003.

Sections

Buy it now

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    PDF

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

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

  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

  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

Back to top

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.

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation