BibTeX records: Francesco Marconi

download as .bib file

@inproceedings{DBLP:conf/nfm/MarconiQBBR18,
  author    = {Francesco Marconi and
               Giovanni Quattrocchi and
               Luciano Baresi and
               Marcello M. Bersani and
               Matteo Rossi},
  title     = {On the Timed Analysis of Big-Data Applications},
  booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
               Newport News, VA, USA, April 17-19, 2018, Proceedings},
  pages     = {315--332},
  year      = {2018},
  crossref  = {DBLP:conf/nfm/2018},
  url       = {https://doi.org/10.1007/978-3-319-77935-5\_22},
  doi       = {10.1007/978-3-319-77935-5\_22},
  timestamp = {Sat, 05 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/MarconiQBBR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BersaniMR18,
  author    = {Marcello M. Bersani and
               Francesco Marconi and
               Matteo Rossi},
  title     = {Trace Checking of Streaming Applications through DICE-TraCT},
  booktitle = {Companion of the 2018 {ACM/SPEC} International Conference on Performance
               Engineering, {ICPE} 2018, Berlin, Germany, April 09-13, 2018},
  pages     = {159--160},
  year      = {2018},
  crossref  = {DBLP:conf/wosp/2018c},
  url       = {http://doi.acm.org/10.1145/3185768.3186287},
  doi       = {10.1145/3185768.3186287},
  timestamp = {Wed, 18 Apr 2018 13:29:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wosp/BersaniMR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MarconiBR17,
  author    = {Francesco Marconi and
               Marcello M. Bersani and
               Matteo Rossi},
  title     = {Formal verification of storm topologies through D-VerT},
  booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  pages     = {1168--1174},
  year      = {2017},
  crossref  = {DBLP:conf/sac/2017},
  url       = {https://doi.org/10.1145/3019612.3019769},
  doi       = {10.1145/3019612.3019769},
  timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/MarconiBR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BersaniMREG17,
  author    = {Marcello M. Bersani and
               Francesco Marconi and
               Matteo Rossi and
               Madalina Erascu and
               Silvio Ghilardi},
  title     = {Formal verification of data-intensive applications through model checking
               modulo theories},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  pages     = {98--101},
  year      = {2017},
  crossref  = {DBLP:conf/spin/2017},
  url       = {https://doi.org/10.1145/3092282.3092300},
  doi       = {10.1145/3092282.3092300},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BersaniMREG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/GuerrieroTRMBA17,
  author    = {Michele Guerriero and
               Damian Andrew Tamburri and
               Youssef Ridene and
               Francesco Marconi and
               Marcello M. Bersani and
               Matej Artac},
  title     = {Towards DevOps for Privacy-by-Design in Data-Intensive Applications:
               {A} Research Roadmap},
  booktitle = {Companion Proceedings of the 8th {ACM/SPEC} on International Conference
               on Performance Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26,
               2017},
  pages     = {139--144},
  year      = {2017},
  crossref  = {DBLP:conf/wosp/2017c},
  url       = {https://doi.org/10.1145/3053600.3053631},
  doi       = {10.1145/3053600.3053631},
  timestamp = {Tue, 06 Nov 2018 16:57:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wosp/GuerrieroTRMBA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MarconiBER16,
  author    = {Francesco Marconi and
               Marcello M. Bersani and
               Madalina Erascu and
               Matteo Rossi},
  title     = {Towards the Formal Verification of Data-Intensive Applications Through
               Metric Temporal Logic},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  pages     = {193--209},
  year      = {2016},
  crossref  = {DBLP:conf/icfem/2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3\_13},
  doi       = {10.1007/978-3-319-47846-3\_13},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/MarconiBER16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BersaniMRE16,
  author    = {Marcello M. Bersani and
               Francesco Marconi and
               Matteo Rossi and
               Madalina Erascu},
  title     = {A tool for verification of big-data applications},
  booktitle = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps,
               QUDOS@ISSTA 2016, Saarbr{\"{u}}cken, Germany, July 21, 2016},
  pages     = {44--45},
  year      = {2016},
  crossref  = {DBLP:conf/issta/2016qudos},
  url       = {https://doi.org/10.1145/2945408.2945419},
  doi       = {10.1145/2945408.2945419},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/BersaniMRE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BersaniMTJN16,
  author    = {Marcello M. Bersani and
               Francesco Marconi and
               Damian Andrew Tamburri and
               Pooyan Jamshidi and
               Andrea Nodari},
  title     = {Continuous Architecting of Stream-Based Systems},
  booktitle = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
               2016, Venice, Italy, April 5-8, 2016},
  pages     = {146--151},
  year      = {2016},
  crossref  = {DBLP:conf/wicsa/2016},
  url       = {https://doi.org/10.1109/WICSA.2016.26},
  doi       = {10.1109/WICSA.2016.26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/BersaniMTJN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2018,
  editor    = {Aaron Dutle and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Anthony Narkawicz},
  title     = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
               Newport News, VA, USA, April 17-19, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10811},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-77935-5},
  doi       = {10.1007/978-3-319-77935-5},
  isbn      = {978-3-319-77934-8},
  timestamp = {Fri, 04 May 2018 08:06:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2018c,
  editor    = {Katinka Wolter and
               William J. Knottenbelt and
               Andr{\'{e}} van Hoorn and
               Manoj Nambiar},
  title     = {Companion of the 2018 {ACM/SPEC} International Conference on Performance
               Engineering, {ICPE} 2018, Berlin, Germany, April 09-13, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3185768},
  timestamp = {Wed, 18 Apr 2018 13:29:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wosp/2018c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2017,
  editor    = {Ahmed Seffah and
               Birgit Penzenstadler and
               Carina Alves and
               Xin Peng},
  title     = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3019612},
  doi       = {10.1145/3019612},
  isbn      = {978-1-4503-4486-9},
  timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2017,
  editor    = {Hakan Erdogmus and
               Klaus Havelund},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3092282},
  isbn      = {978-1-4503-5077-8},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2017c,
  editor    = {Walter Binder and
               Vittorio Cortellessa and
               Anne Koziolek and
               Evgenia Smirni and
               Meikel Poess},
  title     = {Companion Proceedings of the 8th {ACM/SPEC} on International Conference
               on Performance Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3053600},
  doi       = {10.1145/3053600},
  isbn      = {978-1-4503-4899-7},
  timestamp = {Tue, 06 Nov 2018 16:57:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wosp/2017c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3},
  doi       = {10.1007/978-3-319-47846-3},
  isbn      = {978-3-319-47845-6},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2016qudos,
  editor    = {Danilo Ardagna and
               Giuliano Casale and
               Andr{\'{e}} van Hoorn and
               Felix Willnecker},
  title     = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps,
               QUDOS@ISSTA 2016, Saarbr{\"{u}}cken, Germany, July 21, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2945408},
  doi       = {10.1145/2945408},
  isbn      = {978-1-4503-4411-1},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2016qudos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wicsa/2016,
  title     = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
               2016, Venice, Italy, April 5-8, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7511829},
  isbn      = {978-1-5090-2131-4},
  timestamp = {Mon, 25 Jul 2016 16:31:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier