Formal Modeling and Analysis of Timed Systems

Invited Talks.- Timed Alternating-Time Temporal Logic.- Concurrent Semantics Without the Notions of State or State Transitions.- Decidability and Expressive Power of Real Time Logics.- Contributed Papers.- Extended Directed Search for Probabilistic Timed Reachability.- Intersection of Regular Signal-Event (Timed) Languages.- Refinements and Abstractions of Signal-Event (Timed) Languages.- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.- Matching Scenarios with Timing Constraints.- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata.- Model Checking Timed Automata with Priorities Using DBM Subtraction.- Symbolic Robustness Analysis of Timed Automata.- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.- Temporal Logic Verification Using Simulation.- Undecidable Problems About Timed Automata.- On Timed Simulation Relations for Hybrid Systems and Compositionality.- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.- On the Computational Power of Timed Differentiable Petri Nets.- Model-Checking Timed ATL for Durational Concurrent Game Structures.- A Dose of Timed Logic, in Guarded Measure.- From MITL to Timed Automata.- Adding Invariants to Event Zone Automata.- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.- On the Expressiveness of MTL with Past Operators.- Simulator for Real-Time Abstract State Machines.- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.