Antonio Di Cerbo

Fault detection and resolution based on extended time failure propagation graphs

Luigi Troiano, Massimo Tipaldi, Maria Carmela Vitelli, 2013, 2013 International Conference on Soft Computing and Pattern Recognition (SoCPaR).

A Testing Framework for Critical Space SW

Antonio Di Cerbo, Erik Dehnhardt, Ignacio Fernandez, 2015 .

Cross-model verification of the electrical power subsystem in space projects

Massimo Tipaldi, Maurizio Zoppi, Antonio Di Cerbo, 2018 .