3. FORMATS 2005: Uppsala, Sweden

Paul Pettersson, Wang Yi (Eds.): Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Lecture Notes in Computer Science 3829 Springer 2005, ISBN 3-540-30946-2 BibTeX

Invited Talk

Lothar Thiele:
Modular Performance Analysis of Distributed Embedded Systems. 1
Electronic Edition (link) BibTeX

Logic and Specification

Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. 2-16
Electronic Edition (link) BibTeX
Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra:
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. 17-31
Electronic Edition (link) BibTeX
Atle Refsdal, Knut Eilif Husa, Ketil Stølen:
Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams. 32-48
Electronic Edition (link) BibTeX

Times Games and Synthesis

Thomas Brihaye, Véronique Bruyère, Jean-François Raskin:
On Optimal Timed Strategies. 49-64
Electronic Edition (link) BibTeX
B. Thomas Adler, Luca de Alfaro, Marco Faella:
Average Reward Timed Games. 65-80
Electronic Edition (link) BibTeX
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. 81-94
Electronic Edition (link) BibTeX

Invited Talk

Parosh Aziz Abdulla:
Verification of Parameterized Timed Systems. 95-97
Electronic Edition (link) BibTeX

Model Checking

Martijn Hendriks:
Model Checking the Time to Reach Agreement. 98-111
Electronic Edition (link) BibTeX
Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier:
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. 112-126
Electronic Edition (link) BibTeX
K. Subramani, Dejan Desovski:
A New Verification Procedure for Partially Clairvoyant Scheduling. 127-141
Electronic Edition (link) BibTeX

Invited Talk

Karl-Erik Årzén:
Timing Analysis and Simulation Tools for Real-Time Control. 142-143
Electronic Edition (link) BibTeX

Hybrid Systems

Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Automatic Rectangular Refinement of Affine Hybrid Systems. 144-161
Electronic Edition (link) BibTeX
Raffaella Gentilini:
Reachability Problems on Extended O-Minimal Hybrid Automata. 162-176
Electronic Edition (link) BibTeX
Husain Aljazzar, Holger Hermanns, Stefan Leue:
Counterexamples for Timed Probabilistic Reachability. 177-195
Electronic Edition (link) BibTeX

Petri Nets

Thomas Chatain, Claude Jard:
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. 196-210
Electronic Edition (link) BibTeX
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. 211-225
Electronic Edition (link) BibTeX

Semantics

Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying Similarities Between Timed Systems. 226-241
Electronic Edition (link) BibTeX
Flavio Corradini, Walter Vogler:
Performance of Pipelined Asynchronous Systems. 242-257
Electronic Edition (link) BibTeX
Wan Fokkink, Jun Pang, Anton Wijs:
Is Timed Branching Bisimilarity an Equivalence Indeed?. 258-272
Electronic Edition (link) BibTeX

Semantics and Modelling

Karine Altisen, Stavros Tripakis:
Implementation of Timed Automata: An Issue of Semantics or Modeling? 273-288
Electronic Edition (link) BibTeX
Roberto Giacobazzi, Isabella Mastroeni:
Timed Abstract Non-interference. 289-303
Electronic Edition (link) BibTeX