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-20 de 21

Página siguiente

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 Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks

D'argenio, Pedro Ruben ; Fraire, Juan Andres ; Hartmanns, Arnd; Raverta, Fernando Dario (Association for Computing Machinery, 2025-04)
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)
Evento Doping Tests for Cyber-Physical Systems

Biewer, Sebastian; D'argenio, Pedro Ruben ; Hermanns, Holger - Otros responsables: Parker, David Wolf, Verena - (Springer, 2020)
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)

Mostrando ítems 1-20 de 21

Página siguiente