Danilo Iovino

A Resilient SIL 2 Driver Machine Interface for Train Control Systems

Andrea Bondavalli, Andrea Ceccarelli, István Majzik, 2008, 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.

FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE

Andrea Bondavalli, István Majzik, Tatiana Kozlova Madsen, 2008 .

Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection

Andrea Bondavalli, Andrea Ceccarelli, Danilo Iovino, 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.

A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis

Andrea Bondavalli, Andrea Ceccarelli, Danilo Iovino, 2008 .

Design and Evaluation of a Safe Driver Machine Interface

Andrea Bondavalli, Jesper Grønbæk, Andrea Ceccarelli, 2009 .