Items where Author is "Ho, Hsi-Ming"

BRIHAYE, T, GEERAERTS, G, HO, Hsi-Ming and MONMEGE, B (2017). Mightyl: A compositional translation from mitl to timed automata. Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, 10426, 421-440. [Article]

HO, Hsi-Ming, ZHOU, Ruoyu and JONES, Timothy M (2019). On verifying timed hyperproperties. In: GAMPER, Johann, PINCHINAT, Sophie and SCIAVICCO, Guido, (eds.) 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (147). DROPS - Dagstuhl Research Online Publication Server. [Book Section]

HO, Hsi-Ming and OUAKNINE, J. (2015). The cyclic-routing UAV problem is PSPACE-complete. In: PITTS, Andrew, (ed.) Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science book series, 9034 . Springer Berlin Heidelberg, 328-342. [Book Section]