Pedro R. D'Argenio
Universidad Nacional de Córdoba
H-index: 30
Latin America-Argentina
Top articles of Pedro R. D'Argenio
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Quantifying Masking Fault-Tolerance via Fair Stochastic Games | arXiv preprint arXiv:2309.07309 | Pablo F Castro Pedro R D'Argenio Ramiro Demasi Luciano Putruele | 2023/9/13 |
Preface to the special issue on Open Problems in Concurrency Theory | Ilaria Castellani Pedro R D'Argenio Mohammad Reza Mousavi Ana Sokolova | 2023/1/1 | |
Optimal Route Synthesis in Space DTN Using Markov Decision Processes | Pedro R D’Argenio | 2023/11/23 | |
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification | arXiv preprint arXiv:2207.02045 | Pablo F Castro Pedro D'Argenio Luciano Putruele Ramiro Demasi | 2022/7/5 |
MaskD: a tool for measuring masking fault-tolerance | Luciano Putruele Ramiro Demasi Pablo F Castro Pedro R D’Argenio | 2022/3/30 | |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 | |
Analysis of non-Markovian repairable fault trees through rare event simulation | International Journal on Software Tools for Technology Transfer | Carlos E Budde Pedro R D’Argenio Raúl E Monti Mariëlle Stoelinga | 2022/10 |
Comparing statistical and analytical routing approaches for delay-tolerant networks | Pedro R D’argenio Juan A Fraire Arnd Hartmanns Fernando Raverta | 2022/9/11 | |
Playing against fair adversaries in stochastic games with total rewards | Pablo F Castro Pedro R D’Argenio Ramiro Demasi Luciano Putruele | 2022/8/6 | |
Routing in delay-tolerant networks under uncertain contact plans | Ad Hoc Networks | Fernando D Raverta Juan A Fraire Pablo G Madoery Ramiro A Demasi Jorge M Finochietto | 2021/12/1 |
On the probabilistic bisimulation spectrum with silent moves | Acta Informatica | Christel Baier Pedro R D’Argenio Holger Hermanns | 2020/10 |
Sampling distributed schedulers for resilient space communication | Pedro R D’Argenio Juan A Fraire Arnd Hartmanns | 2020/5/11 | |
Rare event simulation for non-Markovian repairable fault trees | Carlos E Budde Marco Biagi Raúl E Monti Pedro R D’Argenio Mariëlle Stoelinga | 2020/4/17 | |
An efficient statistical model checker for nondeterminism and rare events | International Journal on Software Tools for Technology Transfer | Carlos E Budde Pedro R D’Argenio Arnd Hartmanns Sean Sedwards | 2020/12 |