MARCONI, FRANCESCO
MARCONI, FRANCESCO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
A tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
Continuous architecting of stream-based systems
2016-01-01 Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Jamshidi, Pooyan; Nodari, Andrea
Formal verification of data-intensive applications through model checking modulo theories
2017-01-01 Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina; Ghilardi, Silvio
Formal verification of storm topologies through D-VerT
2017-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI
On the timed analysis of big-data applications
2018-01-01 Marconi, F.; Quattrocchi, G.; Baresi, L.; Bersani, M. M.; Rossi, M.
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap
2017-01-01 Guerriero, Michele; Tamburri, Damian A.; Ridene, Youssef; Marconi, Francesco; Bersani, Marcello M.; Xlab, Matej Artac
Towards the formal verification of data-intensive applications through metric temporal logic
2016-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Erascu, Madalina; Rossi, MATTEO GIOVANNI
Trace checking of streaming applications through DICE-TraCT
2018-01-01 Bersani, M. M.; Marconi, F.; Rossi, M.
Using formal verification to evaluate the execution time of Spark applications
2020-01-01 Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M.
Verifying big data topologies by-design: a semi-automated approach
2019-01-01 Bersani, M. M.; Marconi, F.; Tamburri, D. A.; Nodari, A.; Jamshidi, P.