Hao Ren

Orcid: 0000-0001-7101-6120

Affiliations:
  • 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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
DesCert: Design for Certification.
CoRR, 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
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner.
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
Improving an Industrial Test Generation Tool Using SMT Solver.
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


  Loading...