Integrating MDT in an Industrial Process in the Air Traffic Control Domain. - Gabriella Carrozza; Mauro Faella; Francesco Fucci; Roberto Pietrantuono; Stefano Russo 001 (ISSRE Workshops, 2012)

Detecting and tolerating data corruptions due to device driver defects. - Francesco Fucci (DSN Workshops, 2013)

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

Engineering Air Traffic Control Systems with a Model-Driven Approach. - Gabriella Carrozza; Mauro Faella; Francesco Fucci; Roberto Pietrantuono; Stefano Russo 001 (IEEE Softw., 2013)

MoIO: Run-time monitoring for I/O protocol violations in storage device drivers. - Domenico Cotroneo; Luigi De Simone; Francesco Fucci; Roberto Natella (ISSRE, 2015)

Model-Based Verification Of Operating Systems Device Drivers. - Francesco Fucci (2015)

Software Aging Analysis of the Android Mobile OS. - Domenico Cotroneo; Francesco Fucci; Antonio Ken Iannillo; Roberto Natella; Roberto Pietrantuono (ISSRE, 2016)