受强制性开放获取政策约束的文章 - Hsi-Ming Ho了解详情
可在其他位置公开访问的文章：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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： German Research Foundation, UK Engineering and Physical Sciences Research …
Revisiting timed logics with automata modalities
HM Ho
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
强制性开放获取政策： National Fund for Scientific Research, Belgium, UK Engineering and Physical …
Timed hyperproperties
HM Ho, R Zhou, TM Jones
Information and Computation 280, 104639, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
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
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定