Browsing Artículos by Author "D'Argenio, Pedro Ruben"

Now showing items 1-4 of 4

    • MaskD : a tool for measuring masking fault-tolerance 

      Putruele, Luciano; Demasi, Ramiro Adrián; Castro, Pablo Francisco; D'Argenio, Pedro Ruben (2022-03-30)
      We present MaskD, 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 ...

    • Playing against fair adversaries in stochastic games with total rewards 

      Castro, Pablo Francisco; D'Argenio, Pedro Ruben; Demasi, Ramiro Adrián; Putruele, Luciano (2022)
      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 ...

    • Rare event simulation with fully automated Importance splitting 

      Budde, Carlos Esteban; D'Argenio, Pedro Ruben; Hermanns, Holger (2015)
      Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ...

    • Smart sampling for lightweight verification of Markov decision processes 

      D'Argenio, Pedro Ruben; Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie (2015)
      Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...