| 2026 | TACAS | AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. | Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2025 | KR | How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. | Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2024 | SAFECOMP | Coyan: Fault Tree Analysis - Exact and Scalable. | Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio |
| 2024 | VECoS | Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2023 | ICTAC | Optimal Route Synthesis in Space DTN Using Markov Decision Processes. | Pedro R. D'Argenio |
| 2022 | CAV | Playing Against Fair Adversaries in Stochastic Games with Total Rewards. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2022 | TACAS | MaskD: A Tool for Measuring Masking Fault-Tolerance. | Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio |
| 2020 | LPAR | A compositional semantics for Repairable Fault Trees with general distributions. | Ral E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
| 2020 | TACAS | Rare Event Simulation for Non-Markovian Repairable Fault Trees. | Carlos E. Budde, Marco Biagi, Ral E. Monti, Pedro R. D'Argenio, Marille Stoelinga |
| 2019 | TACAS | Measuring Masking Fault-Tolerance. | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
| 2018 | FOSSACS | A Hierarchy of Scheduler Classes for Stochastic Automata. | Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards |
| 2018 | ICTAC | Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. | Pedro R. D'Argenio, Ral E. Monti |
| 2018 | ISoLA | Lightweight Statistical Model Checking in Nondeterministic Continuous Time. | Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2018 | LPAR | Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. | Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl |
| 2018 | TACAS | A Statistical Model Checker for Nondeterminism and Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2017 | ESOP | Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
| 2017 | WSC | Efficient simulation-based verification of probabilistic timed automata. | Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio |
| 2017 | SETTA | Better Automated Importance Splitting for Transient Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2016 | IFM | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | ISoLA | Facets of Software Doping. | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
| 2014 | FOSSACS | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
| 2012 | FOSSACS | Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. | Pedro R. D'Argenio, Matias David Lee |
| 2009 | CONCUR | Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. | Sergio Giro, Pedro R. D'Argenio, Luis Mara Ferrer Fioriti |
| 2009 | ICST | Optimizing Probabilities of Real-Time Test Case Execution. | Nicols Wolovick, Pedro R. D'Argenio, Hongyang Qu |
| 2009 | SAC | On the verification of probabilistic I/O automata with unspecified rates. | Sergio Giro, Pedro R. D'Argenio |
| 2005 | CONCUR | The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. | Pedro R. D'Argenio, Biniam Gebremichael |
| 2002 | ICALP | Axiomatising Divergence. | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
| 2000 | LATIN | From Semantics to Spatial Distribution. | Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echage |
| 1999 | RTSS | Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. | Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma |
| 1997 | TACAS | The Bounded Retransmission Protocol Must Be on Time! | Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans |
| 1995 | CONCUR | Delayed choice for process algebra with abstraction. | Pedro R. D'Argenio, Sjouke Mauw |