Predictive Formal Analysis of Resilience in Cyber-Physical Systems. - Sebti Mouelhi; Mohamed-Emine Laarouchi; Daniela Cancila; Hakima Chaouchi (IEEE Access, 2019)

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. - Roberto Passerone; Daniela Cancila; Michele Albano; Sebti Mouelhi; Sándor Plósz; Erkki Jantunen; Anna Ryabokon; Mohamed-Emine Laarouchi; Csaba Hegedüs; Pál Varga (IEEE Access, 2019)

A safety approach for CPS-IoT. (Une démarche de sûreté pour les CPS-IoT). - Mohamed-Emine Laarouchi (2020)