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


    Saved in:



  2. 2
    Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
    article biblioteca
    UNC AR


    Saved in:


  3. 3
    Smart sampling for lightweight verification of Markov decision processes
    article biblioteca
    UNC AR


    Saved in:


  4. 4
    Analysis of non-Markovian repairable fault trees through rare event simulation
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:


  5. 5
    MaskD : a tool for measuring masking fault-tolerance
    publishedVersion biblioteca
    UNC AR


    Saved in:


  6. 6
    Playing against fair adversaries in stochastic games with total rewards
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:


  7. 7
    A theory for the semantics of stochastic and non-deterministic continuous systems
    bookPart biblioteca
    UNC AR


    Saved in:

  8. 8
    Automatización de técnicas de división por importancia para la simulación de eventos raros
    by Budde, Carlos Esteban
    Published 2017-05
    Other Authors: “...D'Argenio, Pedro Ruben...”
    doctoralThesis biblioteca
    UNC AR


    Saved in:

  9. 9
    Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess
    by Hunicken Berardo, Matías José
    Published 2018-12-03
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  10. 10
    Reducción de orden parcial en model checking probabilista simbólico
    by Ferrer Fioriti, Luis María
    Published 2010
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  11. 11
    OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
    by Bordenabe, Nicolas Emilio
    Published 2011-03-28
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  12. 12
    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 2010
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  13. 13
    Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
    by Zandarin, Nicolás Hugo
    Published 2010-12-17
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  14. 14
    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
    by Marenchino, Matías Leandro
    Published 2011-03-18
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  15. 15
    Verificación formal de protocolos distribuidos
    Other Authors: “...D'Argenio, Pedro Ruben...”
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:

  16. 16
    Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas
    by Monti, Raúl Enrique
    Published 2018-12
    Other Authors: “...D'Argenio, Pedro Rubén...”
    doctoralThesis biblioteca
    UNC AR


    Saved in:

  17. 17
    Enrutamiento multiobjetivo en redes tolerantes a demoras
    by Martinez Picech, Benjamin Maximiliano
    Published 2024-04-26
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  18. 18
    Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria
    by Feltes, Joaquín Ignacio
    Published 2024-05-10
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  19. 19
    CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
    by Waquim, Pedro Eduardo
    Published 2014-03-20
    Other Authors: “...D'Argenio, Pedro Ruben...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  20. 20
    Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
    by Monti, Raúl Enrique
    Published 2013-03
    Other Authors: “...D'Argenio, Pedro Ruben...”
    Fil: Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física; Argentina. biblioteca
    UNC AR


    Saved in:

Search Tools: Get RSS Feed — Email this Search