| Online monitoring of metric temporal logic HM Ho, J Ouaknine, J Worrell Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 74 | 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 Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 32 | 2017 |
| Cyclic-Routing of Unmanned Aerial Vehicles N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman Journal of Computer and System Sciences, 2019 | 29 | 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 | 12* | 2016 |
| On the Expressiveness and Monitoring of Metric Temporal Logic HM Ho, J Ouaknine, J Worrell Logical Methods in Computer Science 15, 2019 | 7 | 2019 |
| On verifying timed hyperproperties HM Ho, R Zhou, TM Jones arXiv preprint arXiv:1812.10005, 2018 | 7 | 2018 |
| 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 |
| Timed hyperproperties HM Ho, R Zhou, TM Jones Information and Computation 280, 104639, 2021 | 5 | 2021 |
| Revisiting timed logics with automata modalities HM Ho Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 5 | 2019 |
| Efficient algorithms and tools for MITL model-checking and synthesis T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege | 5 | 2018 |
| On the expressiveness of metric temporal logic over bounded timed words HM Ho Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 5 | 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 | 2 | 2021 |
| Topics in monitoring and planning for embedded real-time systems HM Ho University of Oxford, 2015 | 1 | 2015 |
