| 2016 | EDCC | 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 |
| 2013 | ISSRE | Requirements engineering in rail transit production: An experience report. | Fernanda Buonanno, Domenico Di Leo, Paolo di Paolo, Roberto Pietrantuono, Stefano Russo |
| 2012 | SAFECOMP | 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 |
| 2011 | ISSRE | The PreCertification Kit for Operating Systems in Safety Domains. | Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa |
| 2011 | SAFECOMP | 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 |
| 2010 | DSN | Adaptive monitoring in microkernel OSs. | Domenico Cotroneo, Domenico Di Leo, Roberto Natella |