Follow
Hsi-Ming Ho
Title
Cited by
Cited by
Year
Online monitoring of metric temporal logic
HM Ho, J Ouaknine, J Worrell
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
742014
The cyclic-routing UAV problem is PSPACE-complete
HM Ho, J Ouaknine
International Conference on Foundations of Software Science and Computation …, 2015
402015
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
322017
Cyclic-Routing of Unmanned Aerial Vehicles
N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman
Journal of Computer and System Sciences, 2019
292019
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
72019
On verifying timed hyperproperties
HM Ho, R Zhou, TM Jones
arXiv preprint arXiv:1812.10005, 2018
72018
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
72017
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation 280, 104639, 2021
52021
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
52019
Efficient algorithms and tools for MITL model-checking and synthesis
T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege
52018
On the expressiveness of metric temporal logic over bounded timed words
HM Ho
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014
52014
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
22021
Topics in monitoring and planning for embedded real-time systems
HM Ho
University of Oxford, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–14