Francesco Marconi
Francesco Marconi
Post-doc Researcher in Computer Science and Engineering, Politecnico di Milano
Email verificata su polimi.it
TitoloCitata daAnno
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
142016
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
62016
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
52016
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
32018
Formal verification of storm topologies through D-VerT
F Marconi, MM Bersani, M Rossi
Proceedings of the Symposium on Applied Computing, 1168-1174, 2017
22017
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
12018
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
12017
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
12017
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
2019
Formal verification of timed properties for data-intensive applications
F MARCONI
Italy, 2018
2018
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
2017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–11