Finite variability interpretation of monadic logic of order
Theoretical Computer Science
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
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
Completeness of Higher-Order Duration Calculus
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Induction in the timed interval calculus
Theoretical Computer Science
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
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)
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A dose of timed logic, in guarded measure
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
| Hi-index | 0.00 |