Zobrazeno 1 - 4
of 4
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
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_dedup___::4d0d72d5458b13fb705298f073483e53