Domenico Di Leo

According to our database, Domenico Di Leo authored at least 8 papers between 2010 and 2016.

Collaborative distances:

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

2016

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

Proceedings of the 12th European Dependable Computing Conference, 2016

2013

Robustness Evaluation of Software Systems through Fault Injection.

Domenico Di Leo

PhD thesis, 2013

SABRINE: State-based robustness testing of operating systems.

Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, Roberto Natella

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Requirements engineering in rail transit production: An experience report.

Fernanda Buonanno, Domenico Di Leo, Paolo di Paolo, Roberto Pietrantuono, Stefano Russo

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

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

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

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

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

The PreCertification Kit for Operating Systems in Safety Domains.

Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

2010

Adaptive monitoring in microkernel OSs.

Domenico Cotroneo, Domenico Di Leo, Roberto Natella

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010