MARCONI, FRANCESCO

MARCONI, FRANCESCO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autori File
Continuous architecting of stream-based systems 1-gen-2016 Bersani, Marcello M.Marconi, FrancescoTamburri, Damian A. +
Formal verification of data-intensive applications through model checking modulo theories 1-gen-2017 Bersani, Marcello M.Marconi, FrancescoRossi, Matteo +
Formal verification of storm topologies through D-VerT 1-gen-2017 MARCONI, FRANCESCOBERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNI
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 1-gen-2017 Marconi, FBersani, MMRossi, M
On the timed analysis of big-data applications 1-gen-2018 Marconi F.Quattrocchi G.Baresi L.Bersani M. M.Rossi M.
A tool for verification of big-data applications 1-gen-2016 BERSANI, MARCELLO MARIAMARCONI, FRANCESCOROSSI, MATTEO GIOVANNI +
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 1-gen-2017 Guerriero, MicheleTamburri, Damian A.Marconi, FrancescoBersani, Marcello M. +
Towards the formal verification of data-intensive applications through metric temporal logic 1-gen-2016 MARCONI, FRANCESCOBERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNI +
Trace checking of streaming applications through DICE-TraCT 1-gen-2018 Bersani M. M.Marconi F.Rossi M.
Using formal verification to evaluate the execution time of Spark applications 1-gen-2020 Baresi L.Bersani M. M.Marconi F.Quattrocchi G.Rossi M.
Verifying big data topologies by-design: a semi-automated approach 1-gen-2019 Bersani M. M.Marconi F.Nodari A. +