Formal Modeling and Analysis of Timed Systems

Tapas: Theory Combinations and Practical Applications.- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.- Approximations of Discrete, Continuous, and Hybrid Systems.- Volume and Entropy of Regular Timed Languages: Analytic Approach.- Synthesis of Non-Interferent Timed Systems.- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net.- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.- Safe Runtime Verification of Real-Time Properties.- Removing All Silent Transitions from Timed Automata.- Realizability of Real-Time Logics.- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.- Analyzing Real-Time Event-Driven Programs.- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.- Compositional Abstraction for Stochastic Systems.- Stochastic Games for Verification of Probabilistic Timed Automata.- Checking Timed Büchi Automata Emptiness Using LU-Abstractions.- On the Supports of Recognizable Timed Series.- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.- Exploiting Timed Automata for Conformance Testing of Power Measurements.