Online monitoring of metric temporal logic HM Ho, J Ouaknine, J Worrell International conference on runtime verification, 178-192, 2014 | 97 | 2014 |
The cyclic-routing UAV problem is PSPACE-complete HM Ho, J Ouaknine International Conference on Foundations of Software Science and Computation …, 2015 | 40 | 2015 |
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017 | 38 | 2017 |
Cyclic-Routing of Unmanned Aerial Vehicles N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman Journal of Computer and System Sciences, 2019 | 32 | 2019 |
Real-time Synthesis is Hard! T Brihaye, M Estiévenart, G Geeraerts, HM Ho, B Monmege, N Sznajder International Conference on Formal Modeling and Analysis of Timed Systems …, 2016 | 13* | 2016 |
On verifying timed hyperproperties HM Ho, R Zhou, TM Jones arXiv preprint arXiv:1812.10005, 2018 | 10 | 2018 |
On the Expressiveness and Monitoring of Metric Temporal Logic HM Ho, J Ouaknine, J Worrell Logical Methods in Computer Science 15, 2019 | 9 | 2019 |
Timed hyperproperties HM Ho, R Zhou, TM Jones Information and Computation 280, 104639, 2021 | 8 | 2021 |
Revisiting timed logics with automata modalities HM Ho Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 8 | 2019 |
Timed-automata-based verification of MITL over signals T Brihaye, G Geeraerts, HM Ho, B Monmege 24th International Symposium on Temporal Representation and Reasoning (TIME …, 2017 | 7 | 2017 |
Efficient algorithms and tools for MITL model-checking and synthesis T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege | 6 | 2018 |
On the expressiveness of metric temporal logic over bounded timed words HM Ho International Workshop on Reachability Problems, 138-150, 2014 | 6 | 2014 |
Cinnamon: A domain-specific language for binary profiling and monitoring M Arif, R Zhou, HM Ho, TM Jones 2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021 | 4 | 2021 |
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words HM Ho, K Madnani 30th International Symposium on Temporal Representation and Reasoning (TIME …, 2023 | 1 | 2023 |
Topics in monitoring and planning for embedded real-time systems HM Ho University of Oxford, 2015 | 1 | 2015 |
When do you start counting? revisiting counting and pnueli modalities in timed logics HM Ho, K Madnani arXiv preprint arXiv:2410.00539, 2024 | | 2024 |