Predictive Formal Analysis of Resilience in Cyber-Physical Systems

by Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi
Published 2019-01-01

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

by Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sandor Plosz, Erkki Jantunen, Anna Ryabokon, Emine Laarouchi, Csaba Hegedus, Pal Varga
Published 2019-01-01