| Hymn: Mining linear hybrid automata from input output traces of cyber-physical systems I Lamrani, A Banerjee, SKS Gupta 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 264-269, 2018 | 31 | 2018 |
| Operational data-driven feedback for safety evaluation of agent-based cyber–physical systems I Lamrani, A Banerjee, SKS Gupta IEEE Transactions on Industrial Informatics 17 (5), 3367-3378, 2020 | 21 | 2020 |
| AI enabled tutor for accessible training A Banerjee, I Lamrani, S Hossain, P Paudyal, SKS Gupta Artificial Intelligence in Education: 21st International Conference, AIED …, 2020 | 17 | 2020 |
| Statistical conformance checking of aviation cyber-physical systems by mining physics guided models A Banerjee, A Maity, SKS Gupta, I Lamrani 2023 IEEE Aerospace Conference, 1-8, 2023 | 11 | 2023 |
| Generation of movement explanations for testing gesture based co-operative learning applications A Banerjee, I Lamrani, P Paudyal, S Gupta 2019 IEEE International Conference On Artificial Intelligence Testing …, 2019 | 10 | 2019 |
| Cyphytest: Cyber physical interaction aware test case generation to identify operational changes A Maity, A Banerjee, I Lamrani, SKS Gupta 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems …, 2022 | 8 | 2022 |
| Systems, methods, and apparatuses for utilizing co-simulation of a physical model and a self-adaptive predictive controller using hybrid automata I Lamrani, A Banerjee, S Gupta US Patent 11,471,597, 2022 | 7 | 2022 |
| Faultex: explaining operational changes in terms of design variables in cps control code A Banerjee, I Lamrani, SKS Gupta 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems …, 2021 | 6 | 2021 |
| Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. I Lamrani, A Banerjee, SKS Gupta SafeAI@ AAAI, 186-194, 2020 | 5 | 2020 |
| Certification game for the safety analysis of ai-based cps I Lamrani, A Banerjee, SKS Gupta Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021 | 4 | 2021 |
| Socio-technical co-Design for Accountable Autonomous Software. A Banerjee, I Lamrani, K Michael, DM Bowman, SKS Gupta AISafety@ IJCAI, 2021 | 4 | 2021 |
| Co-simulation of physical model and self-adaptive predictive controller using hybrid automata I Lamrani, A Banerjee, SKS Gupta Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 3 | 2018 |
| Context aware model learning in cyber physical systems A Maity, A Banerjee, I Lamrani, SKS Gupta 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems …, 2024 | 2 | 2024 |
| Co-operative game for certification and continued conformance check of AI enabled CPS* A Banerjee, A Maity, I Lamrani, KSS Gupta 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems …, 2024 | 1 | 2024 |
| Non-linear analysis for operational safety verification of cyber physical systems A Banerjee, I Lamrani, SKS Gupta 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) 1, 529-534, 2020 | 1 | 2020 |
| Operational Safety Verification of AI-Enabled Cyber-Physical Systems I Lamrani Arizona State University, 2020 | 1 | 2020 |
| Synthesizing Operationally Safe Controllers for Human-in-the-Loop Human-in-the-Plant Hybrid Close Loop Systems A Banerjee, I Lamrani, SKS Gupta International Conference on Pattern Recognition, 17-35, 2024 | | 2024 |
| Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems A Banerjee, A Maity, I Lamrani, SKS Gupta arXiv preprint arXiv:2409.03780, 2024 | | 2024 |
| Framework for cyber-physical interaction aware test case generation to identify operational changes S Gupta, A Maity, A Banerjee, I Lamrani US Patent App. 18/202,224, 2023 | | 2023 |
| Systems and methods for optimizing risk and time in safety certification of cyber-physical systems S Gupta, A Banerjee, I Lamrani US Patent App. 17/813,257, 2023 | | 2023 |
Sandeep K. S. GuptaAssociate Dean, Research, Fulton Schools of Engg., Prof. School of Computing & A.I.在 asu.edu 的电子邮件经过验证