BibTeX records: Francesco Fucci

download as .bib file

@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 = {Sun, 04 Jun 2017 01:00:00 +0200},
  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}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403648},
  isbn      = {978-1-4673-5048-8},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/2012w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier