Adaptive monitoring in microkernel OSs. - Domenico Cotroneo; Domenico Di Leo; Roberto Natella (DSN Workshops, 2010)

The PreCertification Kit for Operating Systems in Safety Domains. - Domenico Cotroneo; Domenico Di Leo; Nuno Silva; Ricardo Barbosa 003 (WOSOCER, 2011)

A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. - Domenico Cotroneo; Domenico Di Leo; Roberto Natella; Roberto Pietrantuono (SAFECOMP, 2011)

On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions. - Domenico Di Leo; Fatemeh Ayatolahi; Behrooz Sangchoolie; Johan Karlsson; Roger Johansson (SAFECOMP, 2012)

Requirements engineering in rail transit production: An experience report. - Fernanda Buonanno; Domenico Di Leo; Paolo di Paolo; Roberto Pietrantuono; Stefano Russo 001 (ISSRE (Supplemental Proceedings), 2013)

SABRINE: State-based robustness testing of operating systems. - Domenico Cotroneo; Domenico Di Leo; Francesco Fucci; Roberto Natella (ASE, 2013)

Robustness Evaluation of Software Systems through Fault Injection. - Domenico Di Leo (2013)

Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System. - Domenico Cotroneo; Domenico Di Leo; Roberto Natella; Roberto Pietrantuono (EDCC, 2016)