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. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-45026-2
Invited Talks
- Edward A. Lee: Concurrent Semantics Without the Notions of State or State Transitions. 18-31
- Alexander Moshe Rabinovich: Decidability and Expressive Power of Real Time Logics. 32
Contributed Papers
- Béatrice Bérard, Paul Gastin, Antoine Petit: Intersection of Regular Signal-Event (Timed) Languages. 52-66
- Béatrice Bérard, Paul Gastin, Antoine Petit: Refinements and Abstractions of Signal-Event (Timed) Languages. 67-81
- Bernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. 82-97
- 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
- Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. 128-142
- Adam Duguid: Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. 156-170
- Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. 171-186
- Olivier Finkel: Undecidable Problems About Timed Automata. 187-199
- Goran Frehse: On Timed Simulation Relations for Hybrid Systems and Compositionality. 200-214
- Carlo A. Furia, Matteo Rossi: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. 215-229
- Serge Haddad, Laura Recalde, Manuel Silva: On the Computational Power of Timed Differentiable Petri Nets. 230-244
- Gordon J. Pace, Gerardo Schneider: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. 306-321
- Pavel Vasilyev: Simulator for Real-Time Abstract State Machines. 337-351
- Nicolás Wolovick, Sven Johr: A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. 352-367
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team