Francesco Marconi
Francesco Marconi
Post-doc Researcher in Computer Science and Engineering, Politecnico di Milano
Verified email at
Cited by
Cited by
Continuous Architecting of Stream-Based Systems
MM Bersani, F Marconi, DA Tamburri, P Jamshidi, A Nodari
Software Architecture (WICSA), 2016 13th Working IEEE/IFIP Conference on …, 2016
On the Timed Analysis of Big-Data Applications
F Marconi, G Quattrocchi, L Baresi, MM Bersani, M Rossi
NASA Formal Methods Symposium, 315-332, 2018
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic
F Marconi, MM Bersani, M Erascu, M Rossi
International Conference on Formal Engineering Methods, 193-209, 2016
A tool for verification of big-data applications
MM Bersani, F Marconi, M Rossi, M Erascu
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 44-45, 2016
Verifying big data topologies by-design: a semi-automated approach
MM Bersani, F Marconi, DA Tamburri, A Nodari, P Jamshidi
Journal of Big Data 6 (1), 40, 2019
Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap
M Guerriero, DA Tamburri, Y Ridene, F Marconi, MM Bersani, M Artac
Proceedings of the 8th ACM/SPEC on International Conference on Performance …, 2017
Formal verification of storm topologies through D-VerT
F Marconi, MM Bersani, M Rossi
Proceedings of the Symposium on Applied Computing, 1168-1174, 2017
Using formal verification to evaluate the execution time of Spark applications
L Baresi, MM Bersani, F Marconi, G Quattrocchi, M Rossi
Formal Aspects of Computing, 1-38, 2020
A model-driven approach for the formal verification of storm-based streaming applications
F Marconi, MM Bersani, M Rossi
ACM SIGAPP Applied Computing Review 17 (3), 6-15, 2017
Formal verification of data-intensive applications through model checking modulo theories
MM Bersani, F Marconi, M Rossi, M Erascu, S Ghilardi
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Trace Checking of Streaming Applications through DICE-TraCT
MM Bersani, F Marconi, M Rossi
Companion of the 2018 ACM/SPEC International Conference on Performance …, 2018
Formal verification of timed properties for data-intensive applications
Italy, 2018
The system can't perform the operation now. Try again later.
Articles 1–12