Articles with public access mandates - Hsi-Ming HoLearn more
Available somewhere: 7
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
Mandates: National Fund for Scientific Research, Belgium
Cyclic-Routing of Unmanned Aerial Vehicles
N Drucker, HM Ho, J Ouaknine, M Penn, O Strichman
Journal of Computer and System Sciences, 2019
Mandates: German Research Foundation, European Commission
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
Mandates: National Fund for Scientific Research, Belgium
On the Expressiveness and Monitoring of Metric Temporal Logic
HM Ho, J Ouaknine, J Worrell
Logical Methods in Computer Science 15, 2019
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation 280, 104639, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Mandates: National Fund for Scientific Research, Belgium, UK Engineering and Physical …
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
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program