Formal Modeling and Analysis of Timed Systems

Inhaltsverzeichnis

• Invited Talk.
• Modular Performance Analysis of Distributed Embedded Systems.
• Logic and Specification.
• Real Time Temporal Logic: Past, Present, Future.
• Translating Timed I/O Automata Specifications for Theorem Proving in PVS.
• Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.
• Times Games and Synthesis.
• On Optimal Timed Strategies.
• Average Reward Timed Games.
• Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.
• Verification of Parameterized Timed Systems.
• Model Checking.
• Model Checking the Time to Reach Agreement.
• Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
• A New Verification Procedure for Partially Clairvoyant Scheduling.
• Timing Analysis and Simulation Tools for Real-Time Control.
• Hybrid Systems.
• Automatic Rectangular Refinement of Affine Hybrid Systems.
• Reachability Problems on Extended O-Minimal Hybrid Automata.
• Counterexamples for Timed Probabilistic Reachability.
• Petri Nets.
• Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.
• Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
• Semantics.
• Quantifying Similarities Between Timed Systems.
• Performance of Pipelined Asynchronous Systems.
• Is Timed Branching Bisimilarity an Equivalence Indeed?.
• Semantics and Modelling.
• Implementation of Timed Automata: An Issue of Semantics or Modeling?.
• Timed Abstract Non-interference.