BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Spain
1 × The Netherlands
2 × USA
Collaborated with:
S.Giro M.D.Lee H.Hermanns D.Gebler N.Wolovick H.Qu C.Baier M.Größer M.Lohrey J.Katoen T.C.Ruys J.Tretmans G.Barthe S.Biewer B.Finkbeiner
Talks about:
probabilist (5) time (3) bisimul (2) system (2) retransmiss (1) surreptiti (1) unspecifi (1) distribut (1) congruenc (1) axiomatis (1)

Person: Pedro R. D'Argenio

DBLP DBLP: D'Argenio:Pedro_R=

Contributed to:

FoSSaCS 20142014
FOSSACS 20122012
ICST 20092009
QAPL 20092009
SAC 20092009
QAPL 20052006
ICALP 20022002
TACAS 19971997
ESOP 20172017

Wrote 9 papers:

FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.
FoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.
ICST-2009-WolovickDQ #execution #optimisation #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
QAPL-2009-GiroD #distributed #on the #power of #probability
On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
SAC-2009-GiroD #automaton #on the #probability #verification
On the verification of probabilistic I/O automata with unspecified rates (SG, PRD), pp. 582–586.
QAPL-2005-BaierDG06 #branch #partial order #probability #reduction
Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
ICALP-2002-LohreyDH #axiom
Axiomatising Divergence (ML, PRD, HH), pp. 585–596.
TACAS-1997-DArgenioKRT #bound #exclamation #protocol
The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.
ESOP-2017-DArgenioBBFH #analysis #formal method #source code
Is Your Software on Dope? - Formal Analysis of Surreptitiously “enhanced” Programs (PRD, GB, SB, BF, HH), pp. 83–110.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.