Hao Ren

According to our database, Hao Ren authored at least 12 papers between 2014 and 2022.

Collaborative distances:

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

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar

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.

Hao Ren, Ratnesh Kumar, Matthew Clark

CoRR, 2021

2020

A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks.

Alaa T. Al Ghazo, Mariam Ibrahim, Hao Ren, Ratnesh Kumar

IEEE Trans. Syst. Man Cybern. Syst., 2020

2019

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.

Hao Ren, Ratnesh Kumar

IET Cyper-Phys. Syst.: Theory & Appl., 2019

Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.

Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan

CoRR, 2019

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.

Hao Ren, Ratnesh Kumar, Matthew A. Clark

Proceedings of the 16th International Conference on Informatics in Control, 2019

2018

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner.

Hao Ren, Matthew Clark, Ratnesh Kumar

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.

Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar

IET Cyper-Phys. Syst.: Theory & Appl., 2017

2016

Improving an Industrial Test Generation Tool Using SMT Solver.

Hao Ren, Devesh Bhatt, Jan Hvozdovic

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.

Hao Ren, Ratnesh Kumar

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.

Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014