Hao Ren

A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

Pouria Razzaghi, A. Baheri, Hao Ren, 2022, ArXiv.

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

Mariam Ibrahim, Ratnesh Kumar, Hao Ren, 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

A2G2V: Automated Attack Graph Generator and Visualizer

Mariam Ibrahim, Hao Ren, Ratnesh Kumar, 2018 .

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

Ratnesh Kumar, Hao Ren, Matthew Clark, 2021, ArXiv.

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

Hao Ren, Anitha Murugesan, Sai Krishnan Chandrasekar, 2019, 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner

Ratnesh Kumar, Hao Ren, Matthew Clark, 2018, 2018 IEEE 14th International Conference on Control and Automation (ICCA).