default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. FORMATS 2006: Paris, France
- Eugene Asarin, Patricia Bouyer:
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
Invited Talks
- Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic. 1-17 - 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
- Husain Aljazzar, Stefan Leue:
Extended Directed Search for Probabilistic Timed Reachability. 33-51 - 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 - Prakash Chandrasekaran, Madhavan Mukund:
Matching Scenarios with Timing Constraints. 98-112 - 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 - Conrado Daws, Piotr Kordy:
Symbolic Robustness Analysis of Timed Automata. 143-155 - 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 Suárez:
On the Computational Power of Timed Differentiable Petri Nets. 230-244 - François Laroussinie, Nicolas Markey, Ghassan Oreiby:
Model-Checking Timed. 245-259 - Kamal Lodaya, Paritosh K. Pandya:
A Dose of Timed Logic, in Guarded Measure. 260-273 - Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. 274-289 - Peter Niebert, Hongyang Qu:
Adding Invariants to Event Zone Automata. 290-305 - Gordon J. Pace, Gerardo Schneider:
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. 306-321 - Pavithra Prabhakar, Deepak D'Souza:
On the Expressiveness of MTL with Past Operators. 322-336 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
