Predictive Formal Analysis of Resilience in Cyber-Physical Systems by Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi

Get full text

Sharpening the Scythe of Technological Change: Socio-Technical Challenges of Autonomous and Adaptive Cyber-Physical Systems by Daniela Cancila, Jean-Louis Gerstenmayer, Huascar Espinoza, Roberto Passerone

Get full text

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

Get full text