HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems. - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (ICPS, 2018)

Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata. - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (STAF Workshops, 2018)

Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications. - Ayan Banerjee 001; Imane Lamrani; Prajwal Paudyal; Sandeep K. S. Gupta (AITest, 2019)

Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (SafeAI@AAAI, 2020)

Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (AAAI, 2020)

AI Enabled Tutor for Accessible Training. - Ayan Banerjee 001; Imane Lamrani; Sameena Hossain; Prajwal Paudyal; Sandeep K. S. Gupta (AIED (1), 2020)

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems. - Ayan Banerjee 001; Imane Lamrani; Sandeep K. S. Gupta (ICPS, 2020)

FaultEx: Explaining operational changes in terms of design variables in CPS control code. - Ayan Banerjee 001; Imane Lamrani; Sandeep K. S. Gupta (ICPS, 2021)

Socio-technical co-Design for Accountable Autonomous Software. - Ayan Banerjee 001; Imane Lamrani; Katina Michael; Diana M. Bowman; Sandeep K. S. Gupta (AISafety@IJCAI, 2021)

Certification Game for the Safety Analysis of AI-Based CPS. - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (SAFECOMP Workshops, 2021)

Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems. - Imane Lamrani; Ayan Banerjee 001; Sandeep K. S. Gupta (IEEE Trans. Ind. Informatics, 2021)

CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes. - Aranyak Maity; Ayan Banerjee 001; Imane Lamrani; Sandeep K. S. Gupta (ICPS, 2022)

Co-operative game for certification and continued conformance check of AI enabled CPS*. - Ayan Banerjee 001; Aranyak Maity; Imane Lamrani; Sandeep K. S. Gupta (ICPS, 2024)

Context Aware Model Learning in Cyber Physical Systems. - Aranyak Maity; Ayan Banerjee 001; Imane Lamrani; Sandeep K. S. Gupta (ICPS, 2024)

Synthesizing Operationally Safe Controllers for Human-in-the-Loop Human-in-the-Plant Hybrid Close Loop Systems. - Ayan Banerjee 001; Imane Lamrani; Sandeep K. S. Gupta (ICPR (29), 2024)

Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems. - Ayan Banerjee 001; Aranyak Maity; Imane Lamrani; Sandeep K. S. Gupta (CoRR, 2024)