MARCONI, FRANCESCO
MARCONI, FRANCESCO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; 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.