Alessandro Maria Rizzi

13 papers B 1Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
TOrPEDO: witnessing model correctness with topological proofs.
Formal Aspects Comput.
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini
2020 B conf
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.
FASE
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
2018 J jnl
An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems.
J. Supercomput.
Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Eugenio Gianniti, Mauro Passacantando, Alessandro Maria Rizzi
2018 J jnl
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.
CoRR
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
2017 — —
A syntactic-semantic approach for incremental program verification of matching logic properties.
Alessandro Maria Rizzi
2017 J jnl
Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications.
SIGMETRICS Perform. Evaluation Rev.
Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna
2016 — conf
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications.
VALUETOOLS
Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna
2016 J jnl
Support vector regression model for BigData systems.
CoRR
Alessandro Maria Rizzi
2015 J jnl
Optimal Map Reduce Job Capacity Allocation in Cloud Systems.
SIGMETRICS Perform. Evaluation Rev.
Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Alessandro Maria Rizzi, Mauro Passacantando
2015 — conf
Syntax-Driven Program Verification of Matching Logic Properties.
FormaliSE@ICSE
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
2014 — conf
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World.
HCI (15)
Elisa Magnanelli, Gianluca Brero, Rosa Virginia Espinoza Garnier, Giacomo Mazzoletti, Alessandro Maria Rizzi, Sara Comai
2014 — conf
Incremental reachability checking of KernelC programs using matching logic.
ICSE Companion
Alessandro Maria Rizzi
2014 Misc conf
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems.
SYNASC
Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar