Number of items: 3.
Article
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.
Book Section
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.
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.
This list was generated on Tue Apr 23 12:46:20 2024 UTC.
