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
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
Copyright © Sat May 16 23:12:31 2009
by Michael Ley (ley@uni-trier.de)