Get started
Author

Hsi-Ming Ho

Observed names: Ho, Hsi-Ming, Hsi-Ming Ho (9425465)
ORCID: 0000-0003-0387-4857
Observed ORCID: 0000-0003-0387-4857
OpenAlex ID: A5022195841
Online Monitoring of Metric Temporal Logic
2014 · Hsi-Ming Ho, Joël Ouaknine, et al. · Lecture notes in computer science · 72
MightyL: A Compositional Translation from MITL to Timed Automata
2017 · Thomas Brihaye, Gilles Geeraerts, et al. · Lecture notes in computer science · 40
PDF
The Cyclic-Routing UAV Problem is PSPACE-Complete
2015 · Hsi-Ming Ho, Joël Ouaknine · Lecture notes in computer science · 21
PDF
Cyclic-routing of Unmanned Aerial Vehicles
2019 · Nir Drucker, Hsi-Ming Ho, et al. · Journal of Computer and System Sciences · 18
On the Expressiveness and Monitoring of Metric Temporal Logic
2019 · Hsi-Ming Ho, Joël Ouaknine, et al. · Logical Methods in Computer Science · 6
Revisiting timed logics with automata modalities
2019 · Hsi-Ming Ho · ACM International Conference on Hybrid Systems: Computation and Control (HSCC) · 6
PDF
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words
2014 · Hsi-Ming Ho · Lecture notes in computer science · 6
Timed hyperproperties
2020 · Hsi-Ming Ho, Ruoyu Zhou, et al. · Information and Computation · 5
Real-Time Synthesis is Hard!
2016 · Thomas Brihaye, Morgane Estiévenart, et al. · Lecture notes in computer science · 5
PDF
On Verifying Timed Hyperproperties
2018 · Ho, Hsi-Ming, Zhou, Ruoyu, et al. · arXiv (Cornell University) · 4
PDF
Efficient Algorithms and Tools for MITL Model-Checking and Synthesis
2018 · Thomas Brihaye, Gilles Geeraerts, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 4
Timed-Automata-Based Verification of MITL over Signals
2017 · Brihaye, Thomas, Geeraerts, Gilles, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring
2021 · Mahwish Arif, Ruoyu Zhou, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 3
MightyPPL: Model Checking MITL with Past and Pnueli Modalities
2026 · Hsi-Ming Ho, Shankara Narayanan Krishna, et al. · Lecture notes in computer science · 2
PDF
The CR-UAV Problem is PSPACE-Complete.
2014 · Hsi-Ming Ho, Joël Ouaknine · arXiv (Cornell University) · 2
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
2024 · Hsi-Ming Ho, Khushraj Madnani · Electronic Proceedings in Theoretical Computer Science · 1
PDF
On verifying timed hyperproperties
2019 · Hsi-Ming Ho, Ruoyu Zhou, et al. · SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University) · 1
PDF
On Verifying Timed Hyperproperties
2019 · Ho, Hsi-Ming, Zhou, Ruoyu, et al. · Apollo (University of Cambridge) · 1
PDF
Real-Time Synthesis is Hard!
2016 · Brihaye, Thomas, Estiévenart, Morgane, et al. · arXiv (Cornell University) · 1
PDF
On Synthesis of Metric Interval Temporal Logics
2026 · Ho, Hsi-Ming, Krishna, Shankaranarayanan, et al. · arXiv (Cornell University)
PDF
$$\textsc {MightyPPL} {}$$: Towards Model Checking MTL
2026 · Hsi-Ming Ho, Shankara Narayanan Krishna, et al. · Lecture notes in computer science
From MLPs to Logic: an end-to-end neuro-symbolic compilation pipeline for explainable safety-critical medical AI
2026 · Mashael Alsowail (24062034), Hsi-Ming Ho (9425465), et al. · Figshare
MightyPPL : Towards model checking MTL
2026 · Ho, Hsi-Ming, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University)
PDF
MightyPPL: Verification of MITL with Past and Pnueli Modalities
2025 · Ho, Hsi-Ming, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University)
PDF
Metric quantifiers and counting in timed logics and automata
2025 · Hsi-Ming Ho, Khushraj Madnani · Information and Computation
PDF
Works count: 26
Citation count: 202
H-index: 6
I10-index: 4
Year
Topic
Type