Francesco Marconi

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 10

Top Topics

Metric Temporal Logic

Formal Verification

Top Venues

Formal Aspects Comput.

Publications

Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32 (1) (2020)
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi
Verifying big data topologies by-design : a semi-automated approach. J. Big Data 6 (2019)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi
Trace Checking of Streaming Applications through DICE-TraCT. ICPE Companion (2018)
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
On the Timed Analysis of Big-Data Applications. NFM (2018)
Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac
Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap. ICPE Companion (2017)
Francesco Marconi, Marcello M. Bersani, Matteo Rossi
Formal verification of storm topologies through D-VerT. SAC (2017)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
Formal verification of data-intensive applications through model checking modulo theories. SPIN (2017)
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Pooyan Jamshidi, Andrea Nodari
Continuous Architecting of Stream-Based Systems. WICSA (2016)
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. ICFEM (2016)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
A tool for verification of big-data applications. QUDOS@ISSTA (2016)