Imane Lamrani

According to our database, Imane Lamrani authored at least 13 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems.

Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta

CoRR, 2024

2022

CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes.

Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

2021

Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

IEEE Trans. Ind. Informatics, 2021

Certification Game for the Safety Analysis of AI-Based CPS.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Socio-technical co-Design for Accountable Autonomous Software.

Ayan Banerjee, Imane Lamrani, Katina Michael, Diana M. Bowman, Sandeep K. S. Gupta

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

FaultEx: Explaining operational changes in terms of design variables in CPS control code.

Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

2020

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems.

Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta

Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

AI Enabled Tutor for Accessible Training.

Ayan Banerjee, Imane Lamrani, Sameena Hossain, Prajwal Paudyal, Sandeep K. S. Gupta

Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract).

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications.

Ayan Banerjee, Imane Lamrani, Prajwal Paudyal, Sandeep K. S. Gupta

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Proceedings of the Software Technologies: Applications and Foundations, 2018

HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018