Compiling Real-Time Specifications into Extended Automata
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Formal Methods in System Design
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Model Checking of Time Petri Nets Based on Partial Order Semantics
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Timing analysis of industrial real-time systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
| Hi-index | 0.00 |