RIZZI, ALESSANDRO MARIA
RIZZI, ALESSANDRO MARIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications
2017-01-01 Gianniti, Eugenio; Rizzi, ALESSANDRO MARIA; Barbierato, Enrico; Gribaudo, Marco; Ardagna, Danilo
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World
2014-01-01 Magnanelli, Elisa; Brero, Gianluca; ESPINOZA GARNIER, ROSA VIRGINIA; Mazzoletti, Giacomo; Rizzi, ALESSANDRO MARIA; Comai, Sara
Incremental reachability checking of kernelc programs using matching logic
2014-01-01 Rizzi, ALESSANDRO MARIA
Integrating topological proofs with model checking to instrument iterative design
2020-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.
Optimal capacity allocation for executing mapreduce jobs in cloud systems
2015-01-01 Malekimajd, Marzieh; Rizzi, ALESSANDRO MARIA; Ardagna, Danilo; Ciavotta, Michele; Passacantando, M.; Movaghar, A.
Syntax-Driven Program Verification of Matching Logic Properties
2015-01-01 Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, ALESSANDRO MARIA