( en | de | ru )

 

Disambiguation of "Rizzi, Alessandro Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

, , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 53-74. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Rizzi

Otto Ritter Rizzi

Angela Rizzi

Manfred Rizzi

Manfred Rizzi

 

Other publications of authors with the same name

An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems., , , , , and . J. Supercomput., 74 (10): 5314-5348 (2018)TOrPEDO: witnessing model correctness with topological proofs., , , and . Formal Aspects Comput., 33 (6): 1039-1066 (2021)Optimal Map Reduce Job Capacity Allocation in Cloud Systems., , , , and . SIGMETRICS Perform. Evaluation Rev., 42 (4): 51-61 (2015)Support vector regression model for BigData systems.. CoRR, (2016)Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications., , , , and . SIGMETRICS Perform. Evaluation Rev., 44 (4): 23-36 (2017)Fluid Petri Nets for the Performance Evaluation of MapReduce Applications., , , , and . VALUETOOLS, ACM, (2016)Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems., , , , , and . SYNASC, page 385-392. IEEE Computer Society, (2014)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , and . CoRR, (2018)Incremental reachability checking of KernelC programs using matching logic.. ICSE Companion, page 724-726. ACM, (2014)HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World., , , , , and . HCI (15), volume 8524 of Lecture Notes in Computer Science, page 72-82. Springer, (2014)