( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

, , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 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.

Andreas Rizzi

Otto Ritter Rizzi

Angela Rizzi

Manfred Rizzi

Manfred Rizzi

 

Другие публикации лиц с тем же именем

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