Allgemeines

Papers

Papers

• TimedCTL: Model-Checking in Dense Real-time

• Surprise Game: The Element of Surprise in Timed Games

• Timed Automata: A theory of timed automata

• Clock Synchronization: Time, Clocks and the Ordering of Events in a Distributed System

• A Propositional Dense Time Logic: based on nested sequences

• Stopwatch Automata: The Impressive Power of Stopwatches

• Hybrid Systems: The Theory of Hybrid Automata

• Timed Petri Nets: Modeling and verification of time dependent systems using time Petri nets

• Linear Temporal Logic: Temporal and Modal Logic

• Partial Order Reduction: Partial order reduction for model checking of timed automata

• UPPAAL: A Tutorial on UPPAAL, Developing UPPAAL over 15 years 1 , 2

• Zenoness: Symbolic Model Checking for realtime systems