Domenico Di Leo

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Operating System

Requirements Engineering

Microsoft Windows

Requirements Specification

Top Venues

ISSRE (Supplemental Proceedings)

University of Naples Federico II, Italy (PHD)

Education History

University of Naples Federico II, Italy

PHD

Publications

Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System. EDCC (2016)
Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, Roberto Natella
SABRINE: State-based robustness testing of operating systems. ASE (2013)
Fernanda Buonanno, Domenico Di Leo, Paolo di Paolo, Roberto Pietrantuono, Stefano Russo
Requirements engineering in rail transit production: An experience report. ISSRE (Supplemental Proceedings) (2013)
Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson
On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions. SAFECOMP (2012)
Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. SAFECOMP (2011)
Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa
The PreCertification Kit for Operating Systems in Safety Domains. WOSOCER (2011)
Domenico Cotroneo, Domenico Di Leo, Roberto Natella
Adaptive monitoring in microkernel OSs. DSN Workshops (2010)