Compositional model-checking for real-time systems
ACM SIGSOFT Software Engineering Notes
Finite variability interpretation of monadic logic of order
Theoretical Computer Science
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Sharpening the Undecidability of Interval Temporal Logic
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Tableau-Based Automated Deduction for Duration Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Decidability of a Hybrid Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Robust safety of timed automata
Formal Methods in System Design
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Electronic Notes in Theoretical Computer Science (ENTCS)
Sharpening the Incompleteness of the Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Deciding an interval logic with accumulated durations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A theory of duration calculus with application
Domain modeling and the duration calculus
Model checking duration calculus: a practical approach
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A robust interpretation of duration calculus
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |