DENARO, GIOVANNI
DENARO, GIOVANNI
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.01 secondi).
Assertions to Better Specify the Amazon Bug
2002-01-01 Baresi, Luciano; Denaro, Giovanni; Mainetti, Luca; Paolini, Paolo
Big-data applications as self-Adaptive systems of systems
2019-01-01 Baresi, L.; Denaro, G.; Quattrocchi, G.
Dynamic data flow testing of object oriented systems
2015-01-01 Denaro, Giovanni; Margara, Alessandro; Pezze', Mauro; Vivanti, Mattia
Symbolic execution-driven extraction of the parallel execution plans of Spark applications
2019-01-01 Baresi, L.; Denaro, G.; Quattrocchi, G.
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro