Hao Ren
Hao Ren
Honeywell Aerospace
Verified email at
Cited by
Cited by
A2G2V: Automatic attack graph generation and visualization and its applications to computer and SCADA networks
AT Al Ghazo, M Ibrahim, H Ren, R Kumar
IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3488-3498, 2019
A2G2V: Automated attack graph generator and visualizer
AT Al Ghazo, M Ibrahim, H Ren, R Kumar
Proceedings of the 1st ACM MobiHoc Workshop on Mobile IoT Sensing, Security …, 2018
任浩, 王珏, 严萍
电工电能新技术 27 (4), 32-35, 2008
Improving an industrial test generation tool using SMT solver
H Ren, D Bhatt, J Hvozdovic
NASA Formal Methods Symposium, 100-106, 2016
The CLEAR way to transparent formal methods
D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu
4th Workshop on Formal Integrated Development Environment, 2018
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata
H Ren, J Huang, S Jiang, R Kumar
IET Cyber‐Physical Systems: Theory & Applications 2 (2), 65-74, 2017
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation
H Ren, J Huang, S Jiang, R Kumar
Proceedings of the 11th IEEE International Conference on Networking, Sensing …, 2014
Requirements-driven model checking and test generation for comprehensive verification
D Bhatt, H Ren, A Murugesan, J Biatek, S Varadarajan, N Shankar
NASA Formal Methods Symposium, 576-596, 2022
A verification framework for certifying learning-based safety-critical aviation systems
A Baheri, H Ren, B Johnson, P Razzaghi, P Wei
AIAA AVIATION 2022 Forum, 3965, 2022
Step simulation/overapproximation-based verification of nonlinear deterministic hybrid system with inputs
H Ren, R Kumar
IFAC-PapersOnLine 48 (27), 21-26, 2015
Using quantifier elimination to enhance the safety assurance of deep neural networks
H Ren, SK Chandrasekar, A Murugesan
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-8, 2019
Simulation‐based verification of bounded‐horizon safety for hybrid systems using dynamic number of simulations
H Ren, R Kumar
IET Cyber‐Physical Systems: Theory & Applications 4 (3), 250-258, 2019
Integration of quantifier eliminator with model checker and compositional reasoner
H Ren, M Clark, R Kumar
2018 IEEE 14th International Conference on Control and Automation (ICCA …, 2018
Study on electrical tree in PMMA under repetitive nanosecond pulses
H Ren, J Wang, P Yan
Advanced Technology of Electrical Engineering and Energy 27, 32-35, 2008
" ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
H Ren, R Kumar, MA Clark
ICINCO (1), 534-540, 2019
Model-based compositional verification approaches and tools development for cyber-physical systems
H Ren
Iowa State University, 2018
WANG Jue~ 1, YAN Ping~ 1 (1. Institute of Electrical Engineering, Chinese Academy of Science, Beijing 100080, China; 2. Graduate School of Chinese Academy of Science, Beijing …
Advanced Technology of Electrical Engineering and Energy 4, 2008
The system can't perform the operation now. Try again later.
Articles 1–17