Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. - Francesco Marconi; Marcello M. Bersani; Madalina Erascu; Matteo Rossi 001 (ICFEM, 2016)

A tool for verification of big-data applications. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu (QUDOS@ISSTA, 2016)

Continuous Architecting of Stream-Based Systems. - Marcello M. Bersani; Francesco Marconi; Damian A. Tamburri; Pooyan Jamshidi; Andrea Nodari (WICSA, 2016)

Formal verification of storm topologies through D-VerT. - Francesco Marconi; Marcello M. Bersani; Matteo Rossi 001 (SAC, 2017)

Formal verification of data-intensive applications through model checking modulo theories. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu; Silvio Ghilardi (SPIN, 2017)

Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap. - Michele Guerriero; Damian A. Tamburri; Youssef Ridene; Francesco Marconi; Marcello M. Bersani; Matej Artac (ICPE Companion, 2017)

On the Timed Analysis of Big-Data Applications. - Francesco Marconi; Giovanni Quattrocchi; Luciano Baresi; Marcello M. Bersani; Matteo Rossi 001 (NFM, 2018)

Trace Checking of Streaming Applications through DICE-TraCT. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001 (ICPE Companion, 2018)

Formal verification of timed properties for data-intensive applications. - Francesco Marconi (2018)

Verifying big data topologies by-design : a semi-automated approach. - Marcello M. Bersani; Francesco Marconi; Damian A. Tamburri; Andrea Nodari; Pooyan Jamshidi (J. Big Data, 2019)

Using formal verification to evaluate the execution time of Spark applications. - Luciano Baresi; Marcello M. Bersani; Francesco Marconi; Giovanni Quattrocchi; Matteo Rossi 001 (Formal Aspects Comput., 2020)