Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Real-Time Programs from Duration Calculus Specifications
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Complete Fragment of Higher-Order Duration µ-Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
Completeness of temporal logics over infinite intervals
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Integrating Time and Resource into Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |