4. FORMATS 2006: Paris, France

Eugene Asarin, Patricia Bouyer (Eds.): Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Lecture Notes in Computer Science 4202 Springer 2006, ISBN 3-540-45026-2 BibTeX

Invited Talks

Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic. 1-17
Electronic Edition (link) BibTeX
Edward A. Lee:
Concurrent Semantics Without the Notions of State or State Transitions. 18-31
Electronic Edition (link) BibTeX
Alexander Moshe Rabinovich:
Decidability and Expressive Power of Real Time Logics. 32
Electronic Edition (link) BibTeX

Contributed Papers

Husain Aljazzar, Stefan Leue:
Extended Directed Search for Probabilistic Timed Reachability. 33-51
Electronic Edition (link) BibTeX
Béatrice Bérard, Paul Gastin, Antoine Petit:
Intersection of Regular Signal-Event (Timed) Languages. 52-66
Electronic Edition (link) BibTeX
Béatrice Bérard, Paul Gastin, Antoine Petit:
Refinements and Abstractions of Signal-Event (Timed) Languages. 67-81
Electronic Edition (link) BibTeX
Bernard Berthomieu, Florent Peres, François Vernadat:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. 82-97
Electronic Edition (link) BibTeX
Prakash Chandrasekaran, Madhavan Mukund:
Matching Scenarios with Timing Constraints. 98-112
Electronic Edition (link) BibTeX
Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. 113-127
Electronic Edition (link) BibTeX
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. 128-142
Electronic Edition (link) BibTeX
Conrado Daws, Piotr Kordy:
Symbolic Robustness Analysis of Timed Automata. 143-155
Electronic Edition (link) BibTeX
Adam Duguid:
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. 156-170
Electronic Edition (link) BibTeX
Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Temporal Logic Verification Using Simulation. 171-186
Electronic Edition (link) BibTeX
Olivier Finkel:
Undecidable Problems About Timed Automata. 187-199
Electronic Edition (link) BibTeX
Goran Frehse:
On Timed Simulation Relations for Hybrid Systems and Compositionality. 200-214
Electronic Edition (link) BibTeX
Carlo A. Furia, Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. 215-229
Electronic Edition (link) BibTeX
Serge Haddad, Laura Recalde, Manuel Silva:
On the Computational Power of Timed Differentiable Petri Nets. 230-244
Electronic Edition (link) BibTeX
François Laroussinie, Nicolas Markey, Ghassan Oreiby:
Model-Checking Timed. 245-259
Electronic Edition (link) BibTeX
Kamal Lodaya, Paritosh K. Pandya:
A Dose of Timed Logic, in Guarded Measure. 260-273
Electronic Edition (link) BibTeX
Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. 274-289
Electronic Edition (link) BibTeX
Peter Niebert, Hongyang Qu:
Adding Invariants to Event Zone Automata. 290-305
Electronic Edition (link) BibTeX
Gordon J. Pace, Gerardo Schneider:
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. 306-321
Electronic Edition (link) BibTeX
Pavithra Prabhakar, Deepak D'Souza:
On the Expressiveness of MTL with Past Operators. 322-336
Electronic Edition (link) BibTeX
Pavel Vasilyev:
Simulator for Real-Time Abstract State Machines. 337-351
Electronic Edition (link) BibTeX
Nicolás Wolovick, Sven Johr:
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. 352-367
Electronic Edition (link) BibTeX