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: D'Argenio:Pedro_R=
Contributed to:
20142012
2009
2009
20092006
2002
1997
2017Wrote 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.