Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling in the situation calculus: A case study
Annals of Mathematics and Artificial Intelligence
Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
Proceedings of the 26th International Conference on Software Engineering
Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
A theory of duration calculus with application
Domain modeling and the duration calculus
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis of the priority ceiling protocol
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
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 |