| 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 | 64 | 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 | 17 | 2018 |
| Improving an industrial test generation tool using SMT solver H Ren, D Bhatt, J Hvozdovic NASA Formal Methods Symposium, 100-106, 2016 | 11 | 2016 |
| 重频纳秒脉冲下有机玻璃电树枝老化特性的实验研究 任浩， 王珏， 严萍 电工电能新技术 27 (4), 32-35, 2008 | 11 | 2008 |
| 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 | 8 | 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 | 8 | 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 | 8 | 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 | 7 | 2022 |
| Step simulation/overapproximation-based verification of nonlinear deterministic hybrid system with inputs H Ren, R Kumar IFAC-PapersOnLine 48 (27), 21-26, 2015 | 7 | 2015 |
| 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 | 5 | 2022 |
| 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 | 3 | 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 | 3 | 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 | 3 | 2008 |
| 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 | 2 | 2019 |
| " ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. H Ren, R Kumar, MA Clark ICINCO (1), 534-540, 2019 | 1 | 2019 |
| Model-based compositional verification approaches and tools development for cyber-physical systems H Ren Iowa State University, 2018 | | 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 … REN Hao Advanced Technology of Electrical Engineering and Energy 4, 2008 | | 2008 |
