Imane Lamrani

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 12

Top Topics

Test Case Generation

Hybrid Automata

Top Venues

SAFECOMP Workshops

Publications

Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes. ICPS (2022)
Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
FaultEx: Explaining operational changes in terms of design variables in CPS control code. ICPS (2021)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
Certification Game for the Safety Analysis of AI-Based CPS. SAFECOMP Workshops (2021)
Ayan Banerjee, Imane Lamrani, Katina Michael, Diana M. Bowman, Sandeep K. S. Gupta
Socio-technical co-Design for Accountable Autonomous Software. AISafety@IJCAI (2021)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems. IEEE Trans. Ind. Informatics 17 (5) (2021)
Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta
Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems. ICPS (2020)
Ayan Banerjee, Imane Lamrani, Sameena Hossain, Prajwal Paudyal, Sandeep K. S. Gupta
AI Enabled Tutor for Accessible Training. AIED (1) (2020)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. SafeAI@AAAI (2020)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). AAAI (2020)
Ayan Banerjee, Imane Lamrani, Prajwal Paudyal, Sandeep K. S. Gupta
Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications. AITest (2019)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata. STAF Workshops (2018)
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta
HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems. ICPS (2018)