Imane Lamrani

17 papers A* 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards Certified Safe Personalization in Learning-Enabled Human-in-the-loop Human-in-the-plant Systems.
ACM J. Emerg. Technol. Comput. Syst.
Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta
2024 — conf
Co-operative game for certification and continued conformance check of AI enabled CPS
ICPS
Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta
2024 — conf
Context Aware Model Learning in Cyber Physical Systems.
ICPS
Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
2024 J jnl
Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems.
CoRR
Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta
2024 — conf
Synthesizing Operationally Safe Controllers for Human-in-the-Loop Human-in-the-Plant Hybrid Close Loop Systems.
ICPR (29)
Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
2022 — conf
CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes.
ICPS
Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
2021 — conf
Certification Game for the Safety Analysis of AI-Based CPS.
SAFECOMP Workshops
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
2021 — conf
FaultEx: Explaining operational changes in terms of design variables in CPS control code.
ICPS
Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
2021 J jnl
Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems.
IEEE Trans. Ind. Informatics
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
2021 — conf
Socio-technical co-Design for Accountable Autonomous Software.
AISafety@IJCAI
Ayan Banerjee, Imane Lamrani, Katina Michael, Diana M. Bowman, Sandeep K. S. Gupta
2020 — conf
AI Enabled Tutor for Accessible Training.
AIED (1)
Ayan Banerjee, Imane Lamrani, Sameena Hossain, Prajwal Paudyal, Sandeep K. S. Gupta
2020 — conf
Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems.
ICPS
Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
2020 — conf
Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS.
SafeAI@AAAI
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
2020 A* conf
Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract).
AAAI
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
2019 — conf
Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications.
AITest
Ayan Banerjee, Imane Lamrani, Prajwal Paudyal, Sandeep K. S. Gupta
2018 — conf
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata.
STAF Workshops
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
2018 — conf
HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems.
ICPS
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta