Hsi-Ming Ho

25 papers A 1B 4C 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
MightyPPL: Model Checking MITL with Past and Pnueli Modalities.
TACAS (1)
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025 B conf
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics.
CONCUR
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025 J jnl
Metric quantifiers and counting in timed logics and automata.
Inf. Comput.
Hsi-Ming Ho, Khushraj Madnani
2025 J jnl
MightyPPL: Verification of MITL with Past and Pnueli Modalities.
CoRR
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2023 C conf
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words.
TIME
Hsi-Ming Ho, Khushraj Madnani
2023 — conf
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics.
DCM
Hsi-Ming Ho, Khushraj Madnani
2021 A conf
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring.
CGO
Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones
2021 J jnl
Timed hyperproperties.
Inf. Comput.
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2019 J jnl
Cyclic-routing of Unmanned Aerial Vehicles.
J. Comput. Syst. Sci.
Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
2019 C conf
On Verifying Timed Hyperproperties.
TIME
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2019 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
Log. Methods Comput. Sci.
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2019 — conf
Revisiting timed logics with automata modalities.
HSCC
Hsi-Ming Ho
2018 B conf
Efficient Algorithms and Tools for MITL Model-Checking and Synthesis.
ICECCS
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege
2018 J jnl
On Verifying Timed Hyperproperties.
CoRR
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2018 J jnl
On the Expressiveness and Monitoring of Metric Temporal Logic.
CoRR
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2018 J jnl
Revisiting Timed Logics with Automata Modalities.
CoRR
Hsi-Ming Ho
2017 — conf
MightyL: A Compositional Translation from MITL to Timed Automata.
CAV (1)
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege
2017 C conf
Timed-Automata-Based Verification of MITL over Signals.
TIME
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege
2016 — conf
Real-Time Synthesis is Hard!
FORMATS
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2016 J jnl
Real-Time Synthesis is Hard!
CoRR
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
2015 B conf
The Cyclic-Routing UAV Problem is PSPACE-Complete.
FoSSaCS
Hsi-Ming Ho, Joël Ouaknine
2015 — —
Topics in monitoring and planning for embedded real-time systems.
Hsi-Ming Ho
2014 — conf
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words.
RP
Hsi-Ming Ho
2014 B conf
Online Monitoring of Metric Temporal Logic.
RV
Hsi-Ming Ho, Joël Ouaknine, James Worrell
2014 J jnl
The CR-UAV Problem is PSPACE-Complete.
CoRR
Hsi-Ming Ho, Joël Ouaknine