Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Tableau-Based Automated Deduction for Duration Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
An approach to analyzing availability properties of security protocols
Nordic Journal of Computing
Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
A theory of duration calculus with application
Domain modeling and the duration calculus
Formal methods and hybrid real-time systems
Model checking linear duration invariants of networks of automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |