| 2026 | TACAS | MightyPPL: Model Checking MITL with Past and Pnueli Modalities. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | CONCUR | Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2023 | TIME | More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. | Hsi-Ming Ho, Khushraj Madnani |
| 2021 | CGO | Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring. | Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones |
| 2019 | TIME | On Verifying Timed Hyperproperties. | Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones |
| 2018 | ICECCS | Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege |
| 2017 | CAV | MightyL: A Compositional Translation from MITL to Timed Automata. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2017 | TIME | Timed-Automata-Based Verification of MITL over Signals. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2015 | FOSSACS | The Cyclic-Routing UAV Problem is PSPACE-Complete. | Hsi-Ming Ho, Jol Ouaknine |
| 2014 | RV | Online Monitoring of Metric Temporal Logic. | Hsi-Ming Ho, Jol Ouaknine, James Worrell |