Formal Modeling and Analysis of Timed Systems

Invited Talks.-Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract).-Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid Systems.-Robustness of Time Petri Nets under Architectural Constraints .-Toward a Timed Theory of Channel Coding .-Playing Optimally on Timed Automata with Random Delays.-Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.-Revisiting Timed Specification Theories: A Linear-Time Perspective .-Multi-core Reachability for Timed Automata .-Counterexample-Guided Synthesis of Observation Predicates.-Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems .-Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.-Reducing Quasi-Equal Clocks in Networks of Timed Automata.-SMT-Based Induction Methods for Timed Systems .-Timed Automata with Disjoint Activity.-The Complexity of Bounded Synthesis for Timed Control with Partial Observability .-Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.-Frequencies in Forgetful Timed Automata .-Mcta: Heuristics and Search for Timed Systems.