Hsi-Ming Ho
Titel
Zitiert von
Zitiert von
Jahr
Online monitoring of metric temporal logic
HM Ho, J Ouaknine, J Worrell
International Conference on Runtime Verification, 178-192, 2014
522014
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
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 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
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation, 104639, 2020
12020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14