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 = {{NFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10811},
  pages     = {315--332},
  publisher = {Springer},
  year      = {2018}
}
@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 = {{ICPE} Companion},
  pages     = {159--160},
  publisher = {{ACM}},
  year      = {2018}
}
@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 = {{SAC}},
  pages     = {1168--1174},
  publisher = {{ACM}},
  year      = {2017}
}
@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 = {{SPIN}},
  pages     = {98--101},
  publisher = {{ACM}},
  year      = {2017}
}
@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 = {{ICPE} Companion},
  pages     = {139--144},
  publisher = {{ACM}},
  year      = {2017}
}
@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 = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  pages     = {193--209},
  year      = {2016}
}
@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 = {QUDOS@ISSTA},
  pages     = {44--45},
  publisher = {{ACM}},
  year      = {2016}
}
@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 = {{WICSA}},
  pages     = {146--151},
  publisher = {{IEEE} Computer Society},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier