Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Efficient Online Timed Pattern Matching by Automata-Based Skipping
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
Optimal Control for Multi-Mode Systems with Discrete Costs
Lazy Reachability Checking for Timed Automata using Interpolants
Symbolic Dependency Graphs for Probabilistic Model-Checking
Simulation Based Computation of Barrier Certificates
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Let’s Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata
Combining the Temporal and Epistemic Dimensions for MTL Monitoring
On the Determinization of Timed Systems
Optimal Reachability in Cost Time Petri Nets
On Global Scheduling Independency in Networks of Timed Automata
Conic Abstractions for Hybrid Systems
Distribution-based bisimulation for labelled Markov processes
Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems