( en | de | ru )

 

Disambiguation of "Lamrani, Imane"

Author of the publication

copydeleteadd this publication to your clipboard
FaultEx: Explaining operational changes in terms of design variables in CPS control code.

, , and . ICPS, page 485-490. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rachid Lamrani

Rachid Lamrani

Imane Bouhaddou

Imane Youkana

Imane Mnie-Filali

 

Other publications of authors with the same name

CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes., , , and . ICPS, page 1-6. IEEE, (2022)FaultEx: Explaining operational changes in terms of design variables in CPS control code., , and . ICPS, page 485-490. IEEE, (2021)Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems., , and . ICPS, page 529-534. IEEE, (2020)AI Enabled Tutor for Accessible Training., , , , and . AIED (1), volume 12163 of Lecture Notes in Computer Science, page 29-42. Springer, (2020)HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems., , and . ICPS, page 264-269. IEEE, (2018)Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications., , , and . AITest, page 9-16. IEEE, (2019)Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata., , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 69-76. Springer, (2018)Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems., , and . IEEE Trans. Ind. Informatics, 17 (5): 3367-3378 (2021)Certification Game for the Safety Analysis of AI-Based CPS., , and . SAFECOMP Workshops, volume 12853 of Lecture Notes in Computer Science, page 297-310. Springer, (2021)Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS., , and . SafeAI@AAAI, volume 2560 of CEUR Workshop Proceedings, page 186-194. CEUR-WS.org, (2020)