Follow
Imane Lamrani
Imane Lamrani
Ph.D.
Verified email at asu.edu - Homepage
Title
Cited by
Cited by
Year
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
262018
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
152020
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
142020
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
82019
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
62022
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
52023
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
52022
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
52020
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
42021
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
32018
Socio-technical co-Design for Accountable Autonomous Software.
A Banerjee, I Lamrani, K Michael, DM Bowman, SKS Gupta
AISafety@ IJCAI, 2021
22021
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
12021
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
12021
Operational Safety Verification of AI-Enabled Cyber-Physical Systems
I Lamrani
Arizona State University, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–19