Hsi-Ming Ho

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 16

Top Venues

CoRR

TIME

FoSSaCS

J. Comput. Syst. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Hsi-Ming Ho, Khushraj Madnani
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. TIME (2023)
Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring. CGO (2021)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
Timed hyperproperties. Inf. Comput. 280 (2021)
Hsi-Ming Ho, Joël Ouaknine, James Worrell
On the Expressiveness and Monitoring of Metric Temporal Logic. Log. Methods Comput. Sci. 15 (2) (2019)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
On Verifying Timed Hyperproperties. TIME (2019)
Hsi-Ming Ho
Revisiting timed logics with automata modalities. HSCC (2019)
Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Cyclic-routing of Unmanned Aerial Vehicles. J. Comput. Syst. Sci. 103 (2019)
Hsi-Ming Ho
Revisiting Timed Logics with Automata Modalities. CoRR (2018)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
On Verifying Timed Hyperproperties. CoRR (2018)
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege
Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. ICECCS (2018)
Hsi-Ming Ho, Joël Ouaknine, James Worrell
On the Expressiveness and Monitoring of Metric Temporal Logic. CoRR (2018)
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege
MightyL: A Compositional Translation from MITL to Timed Automata. CAV (1) (2017)
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege
Timed-Automata-Based Verification of MITL over Signals. TIME (2017)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! FORMATS (2016)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! CoRR (2016)
Hsi-Ming Ho, Joël Ouaknine
The Cyclic-Routing UAV Problem is PSPACE-Complete. FoSSaCS (2015)
Hsi-Ming Ho
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words. RP (2014)
Hsi-Ming Ho, Joël Ouaknine, James Worrell
Online Monitoring of Metric Temporal Logic. RV (2014)
Hsi-Ming Ho, Joël Ouaknine
The CR-UAV Problem is PSPACE-Complete. CoRR (2014)

Hsi-Ming Ho.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hsi-Ming Ho