Alessandro Maria Rizzi

According to our database, Alessandro Maria Rizzi authored at least 12 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

TOrPEDO: witnessing model correctness with topological proofs.

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini

Formal Aspects Comput., 2021

2020

Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2018

An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems.

Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Eugenio Gianniti, Mauro Passacantando, Alessandro Maria Rizzi

J. Supercomput., 2018

2017

A syntactic-semantic approach for incremental program verification of matching logic properties.

Alessandro Maria Rizzi

PhD thesis, 2017

Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications.

Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna

SIGMETRICS Perform. Evaluation Rev., 2017

2016

Support vector regression model for BigData systems.

Alessandro Maria Rizzi

CoRR, 2016

Fluid Petri Nets for the Performance Evaluation of MapReduce Applications.

Eugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

2015

Optimal Map Reduce Job Capacity Allocation in Cloud Systems.

Marzieh Malekimajd, Danilo Ardagna, Michele Ciavotta, Alessandro Maria Rizzi, Mauro Passacantando

SIGMETRICS Perform. Evaluation Rev., 2015

Syntax-Driven Program Verification of Matching Logic Properties.

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems.

Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Incremental reachability checking of KernelC programs using matching logic.

Alessandro Maria Rizzi

Proceedings of the 36th International Conference on Software Engineering, 2014

HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World.

Elisa Magnanelli, Gianluca Brero, Rosa Virginia Espinoza Garnier, Giacomo Mazzoletti, Alessandro Maria Rizzi, Sara Comai

Proceedings of the Learning and Collaboration Technologies. Technology-Rich Environments for Learning and Collaboration, 2014