Hao Ren

12 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
DesCert: Design for Certification.
CoRR
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
2022 — conf
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
NFM
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
2021 J jnl
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
CoRR
Hao Ren, Ratnesh Kumar, Matthew Clark
2020 J jnl
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Alaa T. Al Ghazo, Mariam Ibrahim, Hao Ren, Ratnesh Kumar
2019 — conf
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
ICINCO (1)
Hao Ren, Ratnesh Kumar, Matthew A. Clark
2019 J jnl
Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.
IET Cyper-Phys. Syst.: Theory & Appl.
Hao Ren, Ratnesh Kumar
2019 J jnl
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks.
CoRR
Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan
2018 — conf
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner.
ICCA
Hao Ren, Matthew Clark, Ratnesh Kumar
2017 J jnl
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl.
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
2016 — conf
Improving an Industrial Test Generation Tool Using SMT Solver.
NFM
Hao Ren, Devesh Bhatt, Jan Hvozdovic
2015 — conf
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.
ADHS
Hao Ren, Ratnesh Kumar
2014 — conf
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
ICNSC
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar