Follow
Hsi-Ming Ho
Title
Cited by
Cited by
Year
Online monitoring of metric temporal logic
HM Ho, J Ouaknine, J Worrell
International conference on runtime verification, 178-192, 2014
892014
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
International Conference on Computer Aided Verification, 421-440, 2017
342017
Cyclic-Routing of Unmanned Aerial Vehicles
N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman
Journal of Computer and System Sciences, 2019
302019
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
92019
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation 280, 104639, 2021
82021
On verifying timed hyperproperties
HM Ho, R Zhou, TM Jones
arXiv preprint arXiv:1812.10005, 2018
82018
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
72019
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
On the expressiveness of metric temporal logic over bounded timed words
HM Ho
International Workshop on Reachability Problems, 138-150, 2014
62014
Efficient algorithms and tools for MITL model-checking and synthesis
T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege
52018
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
42021
Topics in monitoring and planning for embedded real-time systems
HM Ho
University of Oxford, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–15