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
492014
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
182017
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 the Expressiveness and Monitoring of Metric Temporal Logic
HM Ho, J Ouaknine, J Worrell
Logical Methods in Computer Science 15, 2019
22019
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
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
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
2021
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–14