Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pedro R. D'Argenio

> Home > Persons

Person information

affiliation: Saarland University, Saarbrücken, Germany
affiliation: National University of Córdoba, FAMAF, Argentina

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CastellaniDMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CastellaniDMS23
Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova:
Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 130: 100823 (2023)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DArgenio23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DArgenio23
Pedro R. D'Argenio:
Optimal Route Synthesis in Space DTN Using Markov Decision Processes. ICTAC 2023: 1-3
[c60]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07309
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS 2023: 132-148
2022
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BuddeDMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BuddeDMS22
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga:
Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. 24(5): 821-841 (2022)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CastroDDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CastroDDP22
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CAV (2) 2022: 48-69
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DArgenioFHR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DArgenioFHR22
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta:
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. QEST 2022: 337-355
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PutrueleDCD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PutrueleDCD22
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio:
MaskD: A Tool for Measuring Masking Fault-Tolerance. TACAS (1) 2022: 396-403
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02045
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi:
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. CoRR abs/2207.02045 (2022)
2021
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/adhoc/RavertaFMDFD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adhoc/RavertaFMDFD21
Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery, Ramiro A. Demasi, Jorge M. Finochietto, Pedro R. D'Argenio:
Routing in Delay-Tolerant Networks under uncertain contact plans. Ad Hoc Networks 123: 102663 (2021)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/BiewerDH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/BiewerDH21
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31(3): 16:1-16:27 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07092
Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery, Ramiro A. Demasi, Jorge M. Finochietto, Pedro R. D'Argenio:
Routing in Delay-Tolerant Networks under Uncertain Contact Plans. CoRR abs/2108.07092 (2021)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-09811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-09811
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi:
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CoRR abs/2112.09811 (2021)
2020
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaierDH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaierDH20
Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57(3-5): 465-512 (2020)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BuddeDHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BuddeDHS20
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6): 759-780 (2020)
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/MontiBD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MontiBD20
Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio:
A compositional semantics for Repairable Fault Trees with general distributions. LPAR 2020: 354-372
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DArgenioFH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DArgenioFH20
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns:
Sampling Distributed Schedulers for Resilient Space Communication. NFM 2020: 291-310
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BuddeBMDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BuddeBMDS20
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga:
Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) 2020: 463-482

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BuddeDH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BuddeDH19
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns:
Automated compositional importance splitting. Sci. Comput. Program. 174: 90-108 (2019)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BiewerDH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BiewerDH19
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. QEST 2019: 313-331
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CastroDDP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CastroDDP19
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Measuring Masking Fault-Tolerance. TACAS (2) 2019: 375-392
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-08641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-08641
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. CoRR abs/1904.08641 (2019)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-10507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10507
Raúl E. Monti, Pedro R. D'Argenio, Carlos E. Budde:
A compositional semantics for Repairable Fault Trees with general distributions. CoRR abs/1910.10507 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-11672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-11672
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga:
Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR abs/1910.11672 (2019)
2018
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/BiewerDH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/BiewerDH18
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Cyber-Physical Doping Tests. MT@CPSWeek 2018: 18-19
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DArgenioGHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DArgenioGHS18
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards:
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS 2018: 384-402
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DArgenioM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DArgenioM18
Pedro R. D'Argenio, Raúl E. Monti:
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. ICTAC 2018: 132-152
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DArgenioHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DArgenioHS18
Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) 2018: 336-353
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HermannsBDK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HermannsBDK18
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl:
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR 2018: 1-17
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BuddeDHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BuddeDHS18
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) 2018: 340-358
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/wisee/RavertaDMFFD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wisee/RavertaDMFFD18
Fernando D. Raverta, Ramiro Demasi, Pablo G. Madoery, Juan A. Fraire, Jorge M. Finochietto, Pedro R. D'Argenio:
A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans. WiSEE 2018: 189-194
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10154
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-02777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-02777
Pedro R. D'Argenio, Raúl E. Monti:
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. CoRR abs/1808.02777 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-05548
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-05548
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Measuring Masking Fault-Tolerance. CoRR abs/1811.05548 (2018)
2017
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DArgenioBLMRW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DArgenioBLMRW17
Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick:
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd 2017: 276-294
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/BuddeDH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/BuddeDH17
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns:
Better Automated Importance Splitting for Transient Rare Events. SETTA 2017: 42-58
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/HartmannsSD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/HartmannsSD17
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio:
Efficient simulation-based verification of probabilistic timed automata. WSC 2017: 1419-1430
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05763
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards:
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR abs/1710.05763 (2017)
2016
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DArgenioGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DArgenioGL16
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee:
A general SOS theory for the specification of probabilistic transition systems. Inf. Comput. 249: 76-109 (2016)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DArgenioLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DArgenioLM16
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti:
Input/Output Stochastic Automata - Compositionality and Determinism. FORMATS 2016: 53-68
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DArgenioHLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DArgenioHLS16
Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards:
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM 2016: 99-114
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartheDFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartheDFH16
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/BuddeDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/BuddeDM16
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti:
Compositional Construction of Importance Functions in Fully Automated Importance Splitting. VALUETOOLS 2016
2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DArgenioLST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DArgenioLST15
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4): 469-484 (2015)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/BuddeDH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/BuddeDH15
Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns:
Rare Event Simulation with Fully Automated Importance Splitting. EPEW 2015: 275-290
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DArgenioLG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioLG15
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler:
SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS 2015: 31-45
2014
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GiroDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiroDF14
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti:
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Theor. Comput. Sci. 538: 84-102 (2014)
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DArgenioGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DArgenioGL14
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee:
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. FoSSaCS 2014: 289-303
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DArgenioLST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioLST14
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR abs/1409.2116 (2014)
2013
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2013
Pedro R. D'Argenio, Hernán C. Melgratti:
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8052, Springer 2013, ISBN 978-3-642-40183-1 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/2013
Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio:
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4 [contents]
2012
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MarkovskiDBV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MarkovskiDBV12
Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink:
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24(4-6): 497-518 (2012)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DArgenioTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DArgenioTW12
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. 22(1): 43-68 (2012)
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DArgenioL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DArgenioL12
Pedro R. D'Argenio, Matias David Lee:
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS 2012: 452-466
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/BuddeDTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/BuddeDTW12
Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. ROCKS 2012: 67-86
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/PelozoD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/PelozoD12
Silvia S. Pelozo, Pedro R. D'Argenio:
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. TGC 2012: 182-197
[c30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2752
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2752
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio:
Tree rules in probabilistic transition system specifications with negative and quantitative premises. EXPRESS/SOS 2012: 115-130
2011
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/LeeD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/LeeD11
Matias David Lee, Pedro R. D'Argenio:
Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. 14(3) (2011)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BartheDR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BartheDR11
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk:
Secure information flow by self-composition. Math. Struct. Comput. Sci. 21(6): 1207-1252 (2011)
2010
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/LeeD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/LeeD10
Matias David Lee, Pedro R. D'Argenio:
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC 2010: 280-289
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CalinCDHZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CalinCDHZ10
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeeD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeeD10
Matias David Lee, Pedro R. D'Argenio:
Describing Secure Interfaces with Interface Automata. FESCA@ETAPS 2010: 107-123
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1011-3362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-3362
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
Bisimulations for Nondeterministic Labeled Markov Processes. CoRR abs/1011.3362 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GiroDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GiroDF09
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti:
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR 2009: 338-353
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/WolovickDQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/WolovickDQ09
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu:
Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DArgenioWTC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DArgenioWTC09
Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes:
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST 2009: 11-20
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GiroD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GiroD09
Sergio Giro, Pedro R. D'Argenio:
On the verification of probabilistic I/O automata with unspecified rates. SAC 2009: 582-586
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GiroD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GiroD09
Sergio Giro, Pedro R. D'Argenio:
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. QAPL 2009: 45-71
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-2128
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2128
Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents]
2008
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/AndresDR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/AndresDR08
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum:
Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-1139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-1139
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum:
Significant Diagnostic Counterexamples in Probabilistic Model Checking. CoRR abs/0806.1139 (2008)
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GiroD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GiroD07
Sergio Giro, Pedro R. D'Argenio:
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194
2006
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BohnenkampDHK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BohnenkampDHK06
Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)
2005
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DArgenioK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DArgenioK05
Pedro R. D'Argenio, Joost-Pieter Katoen:
A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DArgenioK05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DArgenioK05a
Pedro R. D'Argenio, Joost-Pieter Katoen:
A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LohreyDH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LohreyDH05
Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns:
Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DArgenioG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DArgenioG05
Pedro R. D'Argenio, Biniam Gebremichael:
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR 2005: 125-140
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaierDG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaierDG06
Christel Baier, Pedro R. D'Argenio, Marcus Größer:
Partial Order Reduction for Probabilistic Branching Time. QAPL 2005: 97-116
2004
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartheDR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartheDR04
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk:
Secure Information Flow by Self-Composition. CSFW 2004: 100-114
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DArgenioN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DArgenioN04
Pedro R. D'Argenio, Peter Niebert:
Partial Order Reduction on Concurrent Probabilistic Programs. QEST 2004: 240-249
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/voss/BravettiD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voss/BravettiD04
Mario Bravetti, Pedro R. D'Argenio:
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems 2004: 44-88
2003
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DArgenioB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DArgenioB03
Pedro R. D'Argenio, Jos C. M. Baeten:
Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. J. Log. Algebraic Methods Program. 56(1-2): 1-2 (2003)
2002
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/LohreyDH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/LohreyDH02
Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns:
Axiomatising Divergence. ICALP 2002: 585-596
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/DArgenioJJL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/DArgenioJJL02
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
2001
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SpringintveldVD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SpringintveldVD01
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio:
Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/DArgenioJJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/DArgenioJJL01
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/DArgenioHKK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/DArgenioHKK01
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren:
MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
2000
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/eef/KatoenD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/KatoenD00
Joost-Pieter Katoen, Pedro R. D'Argenio:
General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/AbbateDE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/AbbateDE00
Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe:
From Semantics to Spatial Distribution. LATIN 2000: 427-436
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/DArgenioKB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/DArgenioKB99
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS 1999: 104-114
1998
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/procomet/DArgenioKB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/procomet/DArgenioKB98
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DArgenioHK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DArgenioHK99
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
On Generative Parallel Composition. PROBMIV 1998: 30-54
1997
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DArgenioV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DArgenioV97
Pedro R. D'Argenio, Chris Verhoef:
A General Conservative Extension Theorem in Process Algebras with Inequalities. Theor. Comput. Sci. 177(2): 351-380 (1997)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/DArgenio97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/DArgenio97
Pedro R. D'Argenio:
Regular Processes and Timed Automata. ARTS 1997: 141-155
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DArgenioKRT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DArgenioKRT97
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/DArgenioB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/DArgenioB96
Pedro R. D'Argenio, Ed Brinksma:
A Calculus for Timed Automata. FTRTFT 1996: 110-129
1995
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DArgenioM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DArgenioM95
Pedro R. D'Argenio, Sjouke Mauw:
Delayed choice for process algebra with abstraction. CONCUR 1995: 501-515

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.