Renato Librino

According to our database, Renato Librino authored at least 4 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.

Ramin Tavakoli Kolagari, De-Jiu Chen, Agnes Lanusse, Renato Librino, Henrik Lönn, Nidhal Mahmud, Chokri Mraidha, Mark-Oliver Reiser, Sandra Torchiaro, Sara Tucci Piergiovanni, Tobias Wägemann, Nataliya Yakymets

Int. J. Concept. Struct. Smart Appl., 2015

2014

3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS).

Renato Librino, Martin Törngren

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

The KARYON project: Predictable and safe coordination in cooperative vehicular systems.

António Casimiro, Jörg Kaiser, Elad Schiller, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.

António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012