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
872014
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
312017
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
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
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation 280, 104639, 2021
62021
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