Hsi-Ming Ho

According to our database, Hsi-Ming Ho authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics.

Hsi-Ming Ho, Khushraj Madnani

Proceedings of the Proceedings 13th International Workshop on Developments in Computational Models, 2023

More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words.

Hsi-Ming Ho, Khushraj Madnani

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

2021

Timed hyperproperties.

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones

Inf. Comput., 2021

Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring.

Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2019

On the Expressiveness and Monitoring of Metric Temporal Logic.

Hsi-Ming Ho, Joël Ouaknine, James Worrell

Log. Methods Comput. Sci., 2019

Cyclic-routing of Unmanned Aerial Vehicles.

Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman

J. Comput. Syst. Sci., 2019

On Verifying Timed Hyperproperties.

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Revisiting timed logics with automata modalities.

Hsi-Ming Ho

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis.

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Timed-Automata-Based Verification of MITL over Signals.

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

MightyL: A Compositional Translation from MITL to Timed Automata.

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Real-Time Synthesis is Hard!

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Topics in monitoring and planning for embedded real-time systems.

Hsi-Ming Ho

PhD thesis, 2015

The Cyclic-Routing UAV Problem is PSPACE-Complete.

Hsi-Ming Ho, Joël Ouaknine

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

The CR-UAV Problem is PSPACE-Complete.

Hsi-Ming Ho, Joël Ouaknine

CoRR, 2014

Online Monitoring of Metric Temporal Logic.

Hsi-Ming Ho, Joël Ouaknine, James Worrell

Proceedings of the Runtime Verification - 5th International Conference, 2014

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words.

Hsi-Ming Ho

Proceedings of the Reachability Problems - 8th International Workshop, 2014