A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (ICNSC, 2014)

Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. - Hao Ren 004; Ratnesh Kumar 001 (ADHS, 2015)

Improving an Industrial Test Generation Tool Using SMT Solver. - Hao Ren 004; Devesh Bhatt; Jan Hvozdovic (NFM, 2016)

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. - Hao Ren 004; Matthew Clark; Ratnesh Kumar 001 (ICCA, 2018)

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. - Hao Ren 004; Ratnesh Kumar 001; Matthew A. Clark 001 (ICINCO (1), 2019)

Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks. - Hao Ren 004; Sai Krishnan Chandrasekar; Anitha Murugesan (CoRR, 2019)

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations. - Hao Ren 004; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2019)

A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks. - Alaa T. Al Ghazo; Mariam Ibrahim; Hao Ren 004; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification. - Hao Ren 004; Ratnesh Kumar 001; Matthew Clark (CoRR, 2021)

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. - Devesh Bhatt; Hao Ren 004; Anitha Murugesan; Jason Biatek; Srivatsan Varadarajan; Natarajan Shankar (NFM, 2022)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)