Relating Time Progress and Deadlines in Hybrid Systems

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Formal Methods in System Design

Modeling Urgency in Timed Systems

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Verification of Quantitative Temporal Properties of SDL Specifications

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML

Concurrency in Timed Automata

FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory

Verifying Progress in Timed Systems

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems

Concurrency in timed automata

Theoretical Computer Science

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

Theoretical Computer Science

Static detection of zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics

FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems