Francesco Fucci

According to our database, Francesco Fucci authored at least 7 papers between 2012 and 2016.

Collaborative distances:

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

2016

Software Aging Analysis of the Android Mobile OS.

Domenico Cotroneo, Francesco Fucci, Antonio Ken Iannillo, Roberto Natella, Roberto Pietrantuono

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2015

Model-Based Verification Of Operating Systems Device Drivers.

Francesco Fucci

PhD thesis, 2015

MoIO: Run-time monitoring for I/O protocol violations in storage device drivers.

Domenico Cotroneo, Luigi De Simone, Francesco Fucci, Roberto Natella

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2013

Engineering Air Traffic Control Systems with a Model-Driven Approach.

Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo

IEEE Softw., 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

Detecting and tolerating data corruptions due to device driver defects.

Francesco Fucci

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Integrating MDT in an Industrial Process in the Air Traffic Control Domain.

Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012