Hao Ren
Orcid: 0000-0001-7101-6120Affiliations:
- Honeywell Aerospace Advanced Technology, Plymouth, MN, USA
- Iowa State University, Department of Electrical and Computer Engineering and Computer Science, Ames, IA, USA
According to our database1,
Hao Ren
authored at least 12 papers
between 2014 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
CoRR, 2021
2020
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020
2019
Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.
IET Cyper-Phys. Syst.: Theory & Appl., 2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.
CoRR, 2019
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
Proceedings of the 16th International Conference on Informatics in Control, 2019
2018
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018
2017
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl., 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
2015
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014