| 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 | 23 | 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 | 10 | 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 | 9 | 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 | 9 | 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 | 7 | 2019 |
| 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 | 6 | 2020 |
| 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 | 6 | 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 | 3 | 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 | 3 | 2017 |
| 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 | 2 | 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 | 1 | 2018 |
| Formal verification of timed properties for data-intensive applications F MARCONI Italy, 2018 | | 2018 |
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoGeverifieerd e-mailadres voor elet.polimi.it
