1. FORMATS 2003: Marseille, France

@proceedings{DBLP:conf/formats/2003,
  editor    = {Kim Guldstrand Larsen and
               Peter Niebert},
  title     = {Formal Modeling and Analysis of Timed Systems: First International
               Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003.
               Revised Papers},
  booktitle = {FORMATS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2791},
  year      = {2003},
  isbn      = {3-540-21671-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Eugene Asarin:
  Timed Automata and Timed Languages Challenges and Open Problems. 1
  Electronic Edition (link) BibTeX
• Agata Pólrola, Wojciech Penczek, Maciej Szreter:
  Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. 2-17
  Electronic Edition (link) BibTeX
• Bozena Wozna, Andrzej Zbrzezny:
  Checking ACTL^* Properties of Discrete Timed Automata via Bounded Model Checking. 18-33
  Electronic Edition (link) BibTeX
• Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
  Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. 34-45
  Electronic Edition (link) BibTeX
• Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
  Adding Symmetry Reduction to Uppaal. 46-59
  Electronic Edition (link) BibTeX
• Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
  TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. 60-72
  Electronic Edition (link) BibTeX
• Sebastian Panek, Olaf Stursberg, Sebastian Engell:
  Optimization of Timed Automata Models Using Mixed-Integer Programming. 73-87
  Electronic Edition (link) BibTeX
• Suzana Andova, Holger Hermanns, Joost-Pieter Katoen:
  Discrete-Time Rewards Model-Checked. 88-104
  Electronic Edition (link) BibTeX
• Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
  Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. 105-120
  Electronic Edition (link) BibTeX
• Jan Carlson, Björn Lisper:
  An Interval-Based Algebra for Restricted Event Detection. 121-133
  Electronic Edition (link) BibTeX
• Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron:
  PARS: A Process Algebra with Resources and Schedulers. 134-150
  Electronic Edition (link) BibTeX
• Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda:
  Formal Semantics of Hybrid Chi. 151-165
  Electronic Edition (link) BibTeX
• Reinhard Wilhelm:
  Run-Time Guarantees for Real-Time Systems. 166-167
  Electronic Edition (link) BibTeX
• Catalin Dima:
  A Nonarchimedian Discretization for Timed Languages. 168-181
  Electronic Edition (link) BibTeX
• Stavros Tripakis:
  Folk Theorems on the Determinization and Minimization of Timed Automata. 182-188
  Electronic Edition (link) BibTeX
• Biniam Gebremichael, Frits W. Vaandrager:
  Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. 189-203
  Electronic Edition (link) BibTeX
• Ramzi Ben Salah, Marius Bozga, Oded Maler:
  On Timing Analysis of Combinational Circuits. 204-219
  Electronic Edition (link) BibTeX
• Libor Waszniowski, Zdenek Hanzálek:
  Analysis of Real Time Operating System Based Applications. 219-233
  Electronic Edition (link) BibTeX
• Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
  Time-Optimal Test Cases for Real-Time Systems. 234-245
  Electronic Edition (link) BibTeX
• Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
  Using Zone Graph Method for Computing the State Space of a Time Petri Net. 246-259
  Electronic Edition (link) BibTeX
• Franck Pommereau:
  Causal Time Calculus. 260-272
  Electronic Edition (link) BibTeX
• Sarah Zennou, Manuel Yguel, Peter Niebert:
  ELSE: A New Symbolic State Generator for Timed Automata. 273-280
  Electronic Edition (link) BibTeX