@inproceedings{DBLP:conf/issre/CotroneoFINP16,
author = {Domenico Cotroneo and
Francesco Fucci and
Antonio Ken Iannillo and
Roberto Natella and
Roberto Pietrantuono},
title = {Software Aging Analysis of the Android Mobile {OS}},
booktitle = {27th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016},
pages = {478--489},
year = {2016},
crossref = {DBLP:conf/issre/2016},
url = {https://doi.org/10.1109/ISSRE.2016.25},
doi = {10.1109/ISSRE.2016.25},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/issre/CotroneoFINP16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Fucci15,
author = {Francesco Fucci},
title = {Model-Based Verification Of Operating Systems Device Drivers},
school = {University of Naples Federico II, Italy},
year = {2015},
url = {http://www.fedoa.unina.it/10079/},
timestamp = {Tue, 17 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/phd/basesearch/Fucci15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CotroneoSFN15,
author = {Domenico Cotroneo and
Luigi De Simone and
Francesco Fucci and
Roberto Natella},
title = {MoIO: Run-time monitoring for {I/O} protocol violations in storage
device drivers},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {472--483},
year = {2015},
crossref = {DBLP:conf/issre/2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381840},
doi = {10.1109/ISSRE.2015.7381840},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/issre/CotroneoSFN15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CarrozzaFFPR13,
author = {Gabriella Carrozza and
Mauro Faella and
Francesco Fucci and
Roberto Pietrantuono and
Stefano Russo},
title = {Engineering Air Traffic Control Systems with a Model-Driven Approach},
journal = {{IEEE} Software},
volume = {30},
number = {3},
pages = {42--48},
year = {2013},
url = {https://doi.org/10.1109/MS.2013.20},
doi = {10.1109/MS.2013.20},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/software/CarrozzaFFPR13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Fucci13,
author = {Francesco Fucci},
title = {Detecting and tolerating data corruptions due to device driver defects},
booktitle = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
pages = {1--4},
year = {2013},
crossref = {DBLP:conf/dsn/2013w},
url = {https://doi.org/10.1109/DSNW.2013.6615522},
doi = {10.1109/DSNW.2013.6615522},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/dsn/Fucci13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CotroneoLFN13,
author = {Domenico Cotroneo and
Domenico Di Leo and
Francesco Fucci and
Roberto Natella},
title = {{SABRINE:} State-based robustness testing of operating systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {125--135},
year = {2013},
crossref = {DBLP:conf/kbse/2013},
url = {https://doi.org/10.1109/ASE.2013.6693073},
doi = {10.1109/ASE.2013.6693073},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/kbse/CotroneoLFN13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CarrozzaFFPR12,
author = {Gabriella Carrozza and
Mauro Faella and
Francesco Fucci and
Roberto Pietrantuono and
Stefano Russo},
title = {Integrating {MDT} in an Industrial Process in the Air Traffic Control
Domain},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
pages = {225--230},
year = {2012},
crossref = {DBLP:conf/issre/2012w},
url = {https://doi.org/10.1109/ISSREW.2012.87},
doi = {10.1109/ISSREW.2012.87},
timestamp = {Wed, 13 Feb 2019 11:42:23 +0100},
biburl = {https://dblp.org/rec/bib/conf/issre/CarrozzaFFPR12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2016,
title = {27th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7774240},
isbn = {978-1-4673-9002-6},
timestamp = {Tue, 13 Dec 2016 10:26:14 +0100},
biburl = {https://dblp.org/rec/bib/conf/issre/2016},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2015,
title = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7374093},
isbn = {978-1-5090-0406-5},
timestamp = {Fri, 06 May 2016 09:06:32 +0200},
biburl = {https://dblp.org/rec/bib/conf/issre/2015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2013w,
title = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597028},
isbn = {978-1-4799-0181-4},
timestamp = {Thu, 31 Mar 2016 12:48:49 +0200},
biburl = {https://dblp.org/rec/bib/conf/dsn/2013w},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
publisher = {{IEEE}},
year = {2013},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
biburl = {https://dblp.org/rec/bib/conf/kbse/2013},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2012w,
title = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403648},
isbn = {978-1-4673-5048-8},
timestamp = {Wed, 13 Feb 2019 11:42:23 +0100},
biburl = {https://dblp.org/rec/bib/conf/issre/2012w},
bibsource = {dblp computer science bibliography, https://dblp.org}
}