( en | de | ru )

 

Disambiguation of "Lamrani, Imane"

Author of the publication

copydeleteadd this publication to your clipboard
Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems.

, , and . ICPS, page 529-534. IEEE, (2020)

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

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems., , and . ICPS, page 529-534. IEEE, (2020)FaultEx: Explaining operational changes in terms of design variables in CPS control code., , and . ICPS, page 485-490. IEEE, (2021)AI Enabled Tutor for Accessible Training., , , , and . AIED (1), volume 12163 of Lecture Notes in Computer Science, page 29-42. Springer, (2020)Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems., , and . IEEE Trans. Ind. Informatics, 17 (5): 3367-3378 (2021)CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes., , , and . ICPS, page 1-6. IEEE, (2022)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)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)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)Socio-technical co-Design for Accountable Autonomous Software., , , , and . AISafety@IJCAI, volume 2916 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)