PEDRO RUBEN D'ARGENIO

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA
Título	Doctor en Informática
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Ciencia y cultura-Ciencia y tecnologia
Especialidad	METODOS FORMALES/SISTEMAS DEPENDIBLES/MODELOS Y ANALISIS DE PERFORMANCE

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-19 de 19

Artículo A general SOS theory for the specification of probabilistic transition systems

D'argenio, Pedro Ruben ; Gebler, Daniel; Lee, Matias David (Academic Press Inc Elsevier Science, 2016-03)
Artículo A theory of stochastic systems part I: Stochastic automata

D'argenio, Pedro Ruben ; Katoen, Joost Pieter (Academic Press Inc Elsevier Science, 2005-11)
Artículo A theory of Stochastic systems. Part II: Process algebra

D'argenio, Pedro Ruben ; Katoen, Joost Pieter (Academic Press Inc Elsevier Science, 2005-12)
Artículo An efficient statistical model checker for nondeterminism and rare events

Budde, Carlos Esteban ; D'argenio, Pedro Ruben ; Hartmanns, Arnd; Sedwards, Sean (Springer Science and Business Media Deutschland GmbH, 2020-12)
Artículo Analysis of non-Markovian repairable fault trees through rare event simulation

Budde, Carlos Esteban ; D'argenio, Pedro Ruben ; Monti, Raúl Enrique ; Stoelinga, Mariëlle (Springer Science and Business Media Deutschland GmbH, 2022-10)
Artículo Automated compositional importance splitting

Budde, Carlos E.; D'argenio, Pedro Ruben ; Hartmanns, Arnd (Elsevier Science, 2019-04)
Artículo Axiomatising divergence

Lohrey, Markus; D'argenio, Pedro Ruben ; Hermanns, Holger (Academic Press Inc Elsevier Science, 2005-12)
Artículo Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

D'argenio, Pedro Ruben ; Gebler, Daniel; Lee, Matias David (Springer Verlag Berlín, 2014-04)
Artículo Better automated importance splitting for transient rare events

Budde, Carlos Ernesto; D'argenio, Pedro Ruben ; Hartmanns, Arnd (Springer Verlag Berlín, 2017-10)
Artículo Bisimulations for non-deterministic labelled Markov processes

D'argenio, Pedro Ruben ; Sanchez Terraf, Pedro Octavio ; Wolovick, Nicolás (Cambridge University Press, 2012-02)
Artículo Describing secure interfaces with interface automata

Lee, Matias David ; D'argenio, Pedro Ruben (Elsevier, 2010-08)
Artículo Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms

Giro, Sergio Sebastian ; D'argenio, Pedro Ruben ; Ferrer Fioriti, Luis Maria (Elsevier Science, 2014-06)
Artículo Doping Tests for Cyber-physical Systems

Biewer, Sebastian; D'argenio, Pedro Ruben ; Hermanns, Holger (Association for Computing Machinery, 2021-07)
Artículo On the probabilistic bisimulation spectrum with silent moves

Baier, Christel; D'argenio, Pedro Ruben ; Hermanns, Holger (Springer, 2020-10)
Artículo Rare event simulation with fully automated importance splitting

Budde, Carlos Esteban ; D'argenio, Pedro Ruben ; Hermanns, Holger (Springer, 2015-08)
Artículo Reconciling real and stochastic time: The need for probabilistic refinement

Markovski, J.; D'argenio, Pedro Ruben ; Baeten, J. C. M.; De Vink, E. P. (Association for Computing Machinery, 2012-06)
Artículo Routing in Delay-Tolerant Networks under uncertain contact plans

Raverta, Fernando Dario ; Fraire, Juan Andres ; Madoery, Pablo Gustavo ; Demasi, Ramiro Adrian ; Finochietto, Jorge Manuel ; D'argenio, Pedro Ruben (Elsevier Science, 2021-12)
Artículo Secure information flow by self-composition

Barthe, Gilles; D'argenio, Pedro Ruben ; Rezk, Tamara (Cambridge University Press, 2011-12)
Artículo Smart sampling for lightweight verification of markov decision processes

D'argenio, Pedro Ruben ; Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie (Springer Verlag, 2015-08)

Mostrando ítems 1-19 de 19