Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Luciano Putruele"'
Publikováno v:
Computer Aided Verification ISBN: 9783031131875
We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in which the minimizer plays in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07d84c75716df3ad81e17ec9f3511fa5
https://doi.org/10.1007/978-3-031-13188-2_3
https://doi.org/10.1007/978-3-031-13188-2_3
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We present , an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows systems to mask faults in such a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ea9396690405fdfaa3f7476a5a8df4f
https://doi.org/10.1007/978-3-030-99524-9_22
https://doi.org/10.1007/978-3-030-99524-9_22
In this paper, we present an approach to automatically syn- thesize synchronization code for distributed programs assuming a multi- thread shared-variables model of computation, common in object-oriented programming languages like JAVA. Our method co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb848973d605030882c6a8e58bdd3cee
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-46, 46p
Autor:
Dana Fisman, Grigore Rosu
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea
Autor:
Sharon Shoham, Yakir Vizel
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented tog
Autor:
Tomáš Vojnar, Lijun Zhang
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took pla
Autor:
Thomas Neele, Anton Wijs
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included i
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and s
Autor:
Erika Ábrahám, Marco Paolieri
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and