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
462014
The cyclic-routing UAV problem is PSPACE-complete
HM Ho, J Ouaknine
International Conference on Foundations of Software Science and Computation …, 2015
322015
Cyclic-Routing of Unmanned Aerial Vehicles
N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman
Journal of Computer and System Sciences, 2019
232019
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
172017
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
8*2016
On the expressiveness of metric temporal logic over bounded timed words
HM Ho
International Workshop on Reachability Problems, 138-150, 2014
52014
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
42017
On verifying timed hyperproperties
HM Ho, R Zhou, TM Jones
arXiv preprint arXiv:1812.10005, 2018
22018
Efficient algorithms and tools for MITL model-checking and synthesis
T Brihaye, A Milchior, G Geeraerts, HM Ho, B Monmege
22018
On the Expressiveness and Monitoring of Metric Temporal Logic
HM Ho, J Ouaknine, J Worrell
Logical Methods in Computer Science 15, 2019
12019
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
12019
Topics in monitoring and planning for embedded real-time systems
HM Ho
University of Oxford, 2015
12015
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation, 104639, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–13