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?

2024
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GaragiolaHD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GaragiolaHD24
Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio:
Coyan: Fault Tree Analysis - Exact and Scalable. SAFECOMP 2024: 235-250
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PutrueleDCD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PutrueleDCD24
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio:
Tolerange: Quantifying Fault Masking in Stochastic Systems. SPIN 2024: 176-183
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/GaragiolaDH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/GaragiolaDH24
Nazareno Garagiola, Pedro R. D'Argenio, Holger Hermanns:
Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable". Zenodo, 2024
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

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.