Alessandro Maria Rizzi

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 9

Top Topics

Support Vector Regression

Capacity Allocation

Top Venues

SIGMETRICS Perform. Evaluation Rev.

Publications

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