| 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 | 25 | 2018 |
| 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 | 13 | 2020 |
| 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 | 10 | 2020 |
| 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 | 8 | 2019 |
| 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 | 6 | 2022 |
| 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 |
| 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 | 4 | 2023 |
| 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 | 4 | 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 | 3 | 2021 |
| Socio-technical co-Design for Accountable Autonomous Software. A Banerjee, I Lamrani, K Michael, DM Bowman, SKS Gupta AISafety@ IJCAI, 2021 | 3 | 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 |
| 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 | 2 | 2021 |
| Systems and methods for hybrid automata mining from input-output traces of cyber-physical systems SKS Gupta, A Banerjee, I Lamrani US Patent 11,054,807, 2021 | 1 | 2021 |
| 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 |
| Systems and methods for explaining operational changes in terms of design variables in control code for cyber-physical systems S Gupta, A Banerjee, I Lamrani US Patent App. 17/813,564, 2023 | | 2023 |
| 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 | | 2020 |
| Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract) I Lamrani, A Banerjee, SKS Gupta Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13847 …, 2020 | | 2020 |
| Operational Safety Verification of AI-Enabled Cyber-Physical Systems I Lamrani Arizona State University, 2020 | | 2020 |
Sandeep K. S. GuptaAssociate Dean, Research, Fulton Schools of Engg., Prof. School of Computing & A.I.Adresse e-mail validée de asu.edu
