Showing 1 - 20 results of 37 for search 'D'Argenio, Pedro Ruben', query time: 0.03s Refine Results
  1. 1
    Rare event simulation with fully automated Importance splitting

    Rare event simulation with fully automated Importance splitting by Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Hermanns, Holger

    Published 2022
    Get full text
    Get full text
    publishedVersion
  2. 2
    Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules

    Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules by D'Argenio, Pedro Ruben, Gebler, Daniel, Lee, Matías David

    Published 2023
    Get full text
    Get full text
    publishedVersion
  3. 3
    Smart sampling for lightweight verification of Markov decision processes

    Smart sampling for lightweight verification of Markov decision processes by D'Argenio, Pedro Ruben, Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie

    Published 2022
    Get full text
    Get full text
    submittedVersion
  4. 4
    MaskD : a tool for measuring masking fault-tolerance

    MaskD : a tool for measuring masking fault-tolerance by Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro Ruben

    Published 2023
    Get full text
    Get full text
    publishedVersion
  5. 5
    Playing against fair adversaries in stochastic games with total rewards

    Playing against fair adversaries in stochastic games with total rewards by Castro, Pablo Francisco, D'Argenio, Pedro Ruben, Demasi, Ramiro Adrián, Putruele, Luciano

    Published 2023
    Get full text
    Get full text
    info:eu-repo/semantics/publishedVersion
  6. 6
    Analysis of non-Markovian repairable fault trees through rare event simulation

    Analysis of non-Markovian repairable fault trees through rare event simulation by Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, Mariëlle

    Published 2023
    Get full text
    Get full text
    info:eu-repo/semantics/publishedVersion
  7. 7
    A theory for the semantics of stochastic and non-deterministic continuous systems

    A theory for the semantics of stochastic and non-deterministic continuous systems by Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, Nicolás

    Published 2021
    Get full text
    acceptedVersion
  8. 8
    Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess

    Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess by Hunicken Berardo, Matías José

    Published 2018
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  9. 9
    Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial

    Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial by Giro, Sergio Sebastián

    Published 2011
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    doctoralThesis
  10. 10
    Verificación formal de protocolos distribuidos

    Verificación formal de protocolos distribuidos by Naser Pastoriza, Alejandro José

    Published 2020
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    info:eu-repo/semantics/publishedVersion
  11. 11
    Reducción de orden parcial en model checking probabilista simbólico

    Reducción de orden parcial en model checking probabilista simbólico by Ferrer Fioriti, Luis María

    Published 2011
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  12. 12
    Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas

    Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas by Monti, Raúl Enrique

    Published 2022
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  13. 13
    TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real

    TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real by Miretti, Gabriel Leonardo

    Published 2011
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  14. 14
    Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM

    Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM by Zandarin, Nicolás Hugo

    Published 2011
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  15. 15
    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM

    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM by Marenchino, Matías Leandro

    Published 2011
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  16. 16
    Análisis multiobjetivo sobre DTNs

    Análisis multiobjetivo sobre DTNs by Torrella, Ulises Nicolás

    Published 2023
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  17. 17
    Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas

    Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas by Monti, Raúl Enrique

    Published 2023
    Other Authors: “…D'Argenio, Pedro Rubén…”
    Get full text
    doctoralThesis
  18. 18
    CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades

    CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades by Waquim, Pedro Eduardo

    Published 2024
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  19. 19
    Enrutamiento multiobjetivo en redes tolerantes a demoras

    Enrutamiento multiobjetivo en redes tolerantes a demoras by Martinez Picech, Benjamin Maximiliano

    Published 2024
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis
  20. 20
    Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria

    Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria by Feltes, Joaquín Ignacio

    Published 2024
    Other Authors: “…D'Argenio, Pedro Ruben…”
    Get full text
    bachelorThesis

Search Tools: