Showing 1 - 20 results of 37 for search 'D'Argenio, Pedro Ruben', query time: 0.03s
Refine Results
-
1
Rare event simulation with fully automated Importance splitting by Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Hermanns, Holger
Published 2022
Get full text
publishedVersion -
2
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
publishedVersion -
3
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
submittedVersion -
4
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
publishedVersion -
5
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
info:eu-repo/semantics/publishedVersion -
6
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
info:eu-repo/semantics/publishedVersion -
7
-
8
Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess by Hunicken Berardo, Matías José
Published 2018Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
9
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial by Giro, Sergio Sebastián
Published 2011Other Authors: “…D'Argenio, Pedro Ruben…”
doctoralThesis -
10
Verificación formal de protocolos distribuidos by Naser Pastoriza, Alejandro José
Published 2020Other Authors: “…D'Argenio, Pedro Ruben…”
info:eu-repo/semantics/publishedVersion -
11
Reducción de orden parcial en model checking probabilista simbólico by Ferrer Fioriti, Luis María
Published 2011Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
12
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas by Monti, Raúl Enrique
Published 2022Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
13
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 2011Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
14
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM by Zandarin, Nicolás Hugo
Published 2011Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
15
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM by Marenchino, Matías Leandro
Published 2011Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
16
Análisis multiobjetivo sobre DTNs by Torrella, Ulises Nicolás
Published 2023Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
17
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas by Monti, Raúl Enrique
Published 2023Other Authors: “…D'Argenio, Pedro Rubén…”
doctoralThesis -
18
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades by Waquim, Pedro Eduardo
Published 2024Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
19
Enrutamiento multiobjetivo en redes tolerantes a demoras by Martinez Picech, Benjamin Maximiliano
Published 2024Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis -
20
Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria by Feltes, Joaquín Ignacio
Published 2024Other Authors: “…D'Argenio, Pedro Ruben…”
bachelorThesis
Search Tools:
Related Subjects
Software
Software engineering
Ingeniería de software
Model checking
Multiobjetivo
Program verification
Theory of computation
Verification by model checking
Análisis multi-objetivo
Atomic broadcast
Automata
Automata over infinite objects
Computer communications networks
Computing methodologies
Concurrencia
Concurrency
Concurrent Programming
Concurrent programming
Confluencia
Delay tolerant networks
Demoras
Determinismo
Distributed Systems
Distributed algorithms
Distributed computing models
Distributed protocols
Enrutamiento
Formal languages and automata theory
Formal methods
Formal verification