Showing 1 - 20 results of 21 for search '"Rubens"', query time: 0.05s Refine Results
  1. 1
    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
    “…Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.…”
    Get full text
    Get full text
    submittedVersion
  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
    “…Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.…”
    Get full text
    Get full text
    publishedVersion
  3. 3
    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
    “…Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.…”
    Get full text
    Get full text
    info:eu-repo/semantics/publishedVersion
  4. 4
    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
  5. 5
    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
  6. 6
    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
  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
    Get full text
    bachelorThesis
  9. 9
    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
    Get full text
    bachelorThesis
  10. 10
    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
    Get full text
    bachelorThesis
  11. 11
    Automatización de técnicas de división por importancia para la simulación de eventos raros

    Automatización de técnicas de división por importancia para la simulación de eventos raros by Budde, Carlos Esteban

    Published 2018
    Get full text
    doctoralThesis
  12. 12
    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
    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
    Get full text
    bachelorThesis
  14. 14
    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
    Get full text
    doctoralThesis
  15. 15
    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
    Get full text
    bachelorThesis
  16. 16
    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
    Get full text
    bachelorThesis
  17. 17
    Análisis multiobjetivo sobre DTNs

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

    Published 2023
    Get full text
    bachelorThesis
  18. 18
    OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas

    OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas by Bordenabe, Nicolas Emilio

    Published 2011
    Get full text
    bachelorThesis
  19. 19
    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
    Get full text
    bachelorThesis
  20. 20
    Verificación formal de protocolos distribuidos

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

    Published 2020
    Get full text
    info:eu-repo/semantics/publishedVersion

Search Tools: