Invited Talks |
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu |
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee |
Decidability and Expressive Power of Real Time Logics / Alexander Rabinovich |
Contributed Papers |
Extended Directed Search for Probabilistic Timed Reachability / Husain Aljazzar ; Stefan Leue |
Intersection of Regular Signal-Event (Timed) Languages / Beatrice Berard ; Paul Gastin ; Antoine Petit |
Refinements and Abstractions of Signal-Event (Timed) Languages |
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets / Bernard Berthomieu ; Florent Peres ; Francois Vernadat |
Matching Scenarios with Timing Constraints / Prakash Chandrasekaran ; Madhavan Mukund |
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata / Remy Chevallier ; Emmanuelle Encrenaz-Tiphene ; Laurent Fribourg ; Weiwen Xu |
Model Checking Timed Automata with Priorities Using DBM Subtraction / Alexandre David ; John Hakansson ; Kim G. Larsen ; Paul Pettersson |
Symbolic Robustness Analysis of Timed Automata / Conrado Daws ; Piotr Kordy |
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion / Adam Duguid |
Temporal Logic Verification Using Simulation / Georgios E. Fainekos ; Antoine Girard ; George J. Pappas |
Undecidable Problems About Timed Automata / Olivier Finkel |
On Timed Simulation Relations for Hybrid Systems and Compositionality / Goran Frehse |
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling / Carlo A. Furia ; Matteo Rossi |
On the Computational Power of Timed Differentiable Petri Nets / Serge Haddad ; Laura Recalde ; Manuel Silva |
Model-Checking Timed ATL for Durational Concurrent Game Structures / Francois Laroussinie ; Nicolas Markey ; Ghassan Oreiby |
A Dose of Timed Logic, in Guarded Measure / Kamal Lodaya ; Paritosh K. Pandya |
From MITL to Timed Automata / Oded Maler ; Dejan Nickovic ; Amir Pnueli |
Adding Invariants to Event Zone Automata / Peter Niebert ; Hongyang Qu |
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems / Gordon Pace ; Gerardo Schneider |
On the Expressiveness of MTL with Past Operators / Pavithra Prabhakar ; Deepak D'Souza |
Simulator for Real-Time Abstract State Machines / Pavel Vasilyev |
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes / Nicolas Wolovick ; Sven Johr |
Author Index |
Invited Talks |
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu |
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee |