Profil

Ho Hsi-Ming

Principaux co-auteurs référencés
BRIHAYE, Thomas  (3)
Geeraerts, Gilles (3)
Monmege, Benjamin (3)
Estiévenart, Morgane (1)
Milchior, Arthur (1)
Principaux centres et unités de recherche référencés
CREMMI - Modélisation mathématique et informatique (3)
Principales disciplines référencées
Ingénierie électrique & électronique (2)
Mathématiques (1)

La plus téléchargée
27 téléchargements
Brihaye, T., Geeraerts, G., Ho, H.-M., & Monmege, B. (2017). MightyL : A Compositional Translation from MITL to Timed Automata [Paper presentation]. International Conference on Computer Aided Verification, Heidelberg, Germany. https://hdl.handle.net/20.500.12907/29859

La plus citée

20 citations (Scopus®)

Brihaye, T., Geeraerts, G., Ho, H.-M., & Monmege, B. (2017). MightyL : A Compositional Translation from MITL to Timed Automata [Paper presentation]. International Conference on Computer Aided Verification, Heidelberg, Germany. https://hdl.handle.net/20.500.12907/29859

Brihaye, T., Geeraerts, G., Ho, H.-M., Milchior, A., & Monmege, B. (2018). Efficient Algorithms and Tools for MITL Model-Checking and Synthesis [Paper presentation]. IEEE International Conference on Engineering of Complex Computer Systems, Melbourne, Australia.

Brihaye, T., Geeraerts, G., Ho, H.-M., & Monmege, B. (2017). MightyL : A Compositional Translation from MITL to Timed Automata [Paper presentation]. International Conference on Computer Aided Verification, Heidelberg, Germany.

Brihaye, T., Estiévenart, M., Geeraerts, G., Ho, H.-M., Monmege, B., & Sznajder, N. (2016). Real-time Synthesis is Hard! Lecture Notes in Computer Science.
Peer reviewed

Contacter ORBi UMONS