BibTeX records: Francesco Marconi

download as .bib file

@article{DBLP:journals/fac/BaresiBMQR20,
  author       = {Luciano Baresi and
                  Marcello M. Bersani and
                  Francesco Marconi and
                  Giovanni Quattrocchi and
                  Matteo Rossi},
  title        = {Using formal verification to evaluate the execution time of Spark
                  applications},
  journal      = {Formal Aspects Comput.},
  volume       = {32},
  number       = {1},
  pages        = {33--70},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00165-020-00505-4},
  doi          = {10.1007/S00165-020-00505-4},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BaresiBMQR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jbd/BersaniMTNJ19,
  author       = {Marcello M. Bersani and
                  Francesco Marconi and
                  Damian A. Tamburri and
                  Andrea Nodari and
                  Pooyan Jamshidi},
  title        = {Verifying big data topologies by-design : a semi-automated approach},
  journal      = {J. Big Data},
  volume       = {6},
  pages        = {40},
  year         = {2019},
  url          = {https://doi.org/10.1186/s40537-019-0199-y},
  doi          = {10.1186/S40537-019-0199-Y},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbd/BersaniMTNJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/it/Marconi18,
  author       = {Francesco Marconi},
  title        = {Formal verification of timed properties for data-intensive applications},
  school       = {Polytechnic University of Milan, Italy},
  year         = {2018},
  url          = {https://hdl.handle.net/10589/141260},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Marconi18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MarconiQBBR18,
  author       = {Francesco Marconi and
                  Giovanni Quattrocchi and
                  Luciano Baresi and
                  Marcello M. Bersani and
                  Matteo Rossi},
  editor       = {Aaron Dutle and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Anthony Narkawicz},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10811},
  pages        = {315--332},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-77935-5\_22},
  doi          = {10.1007/978-3-319-77935-5\_22},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MarconiQBBR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wosp/BersaniMR18,
  author       = {Marcello M. Bersani and
                  Francesco Marconi and
                  Matteo Rossi},
  editor       = {Katinka Wolter and
                  William J. Knottenbelt and
                  Andr{\'{e}} van Hoorn and
                  Manoj Nambiar},
  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},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3185768.3186287},
  doi          = {10.1145/3185768.3186287},
  timestamp    = {Fri, 02 Jun 2023 16:15:08 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/BersaniMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/MarconiBR17,
  author       = {Francesco Marconi and
                  Marcello M. Bersani and
                  Matteo Rossi},
  editor       = {Ahmed Seffah and
                  Birgit Penzenstadler and
                  Carina Alves and
                  Xin Peng},
  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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3019612.3019769},
  doi          = {10.1145/3019612.3019769},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/MarconiBR17.bib},
  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},
  editor       = {Hakan Erdogmus and
                  Klaus Havelund},
  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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3092282.3092300},
  doi          = {10.1145/3092282.3092300},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BersaniMREG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wosp/GuerrieroTRMBA17,
  author       = {Michele Guerriero and
                  Damian A. Tamburri and
                  Youssef Ridene and
                  Francesco Marconi and
                  Marcello M. Bersani and
                  Matej Artac},
  editor       = {Walter Binder and
                  Vittorio Cortellessa and
                  Anne Koziolek and
                  Evgenia Smirni and
                  Meikel Poess},
  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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3053600.3053631},
  doi          = {10.1145/3053600.3053631},
  timestamp    = {Tue, 21 Mar 2023 20:58:10 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/GuerrieroTRMBA17.bib},
  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},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10009},
  pages        = {193--209},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_13},
  doi          = {10.1007/978-3-319-47846-3\_13},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MarconiBER16.bib},
  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},
  editor       = {Danilo Ardagna and
                  Giuliano Casale and
                  Andr{\'{e}} van Hoorn and
                  Felix Willnecker},
  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},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2945408.2945419},
  doi          = {10.1145/2945408.2945419},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BersaniMRE16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wicsa/BersaniMTJN16,
  author       = {Marcello M. Bersani and
                  Francesco Marconi and
                  Damian A. 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},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WICSA.2016.26},
  doi          = {10.1109/WICSA.2016.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/BersaniMTJN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.