Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Checking temporal duration properties of timed automata
Journal of Computer Science and Technology
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Verification of linear duration properties over continuous-time markov chains
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Verification of linear duration properties over continuous-time markov chains
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |