| Online monitoring of metric temporal logic HM Ho, J Ouaknine, J Worrell International conference on runtime verification, 178-192, 2014 | 89 | 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 | 33 | 2017 |
| Cyclic-Routing of Unmanned Aerial Vehicles N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman Journal of Computer and System Sciences, 2019 | 30 | 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 the Expressiveness and Monitoring of Metric Temporal Logic HM Ho, J Ouaknine, J Worrell Logical Methods in Computer Science 15, 2019 | 9 | 2019 |
| On verifying timed hyperproperties HM Ho, R Zhou, TM Jones arXiv preprint arXiv:1812.10005, 2018 | 8 | 2018 |
| Timed hyperproperties HM Ho, R Zhou, TM Jones Information and Computation 280, 104639, 2021 | 7 | 2021 |
| Revisiting timed logics with automata modalities HM Ho Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 7 | 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 |
| On the expressiveness of metric temporal logic over bounded timed words HM Ho International Workshop on Reachability Problems, 138-150, 2014 | 6 | 2014 |
| Efficient algorithms and tools for MITL model-checking and synthesis T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege | 5 | 2018 |
| 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 |
| Topics in monitoring and planning for embedded real-time systems HM Ho University of Oxford, 2015 | 1 | 2015 |
| 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 | | 2023 |
