Pedro R. D'Argenio

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 44

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Pedro R. D'Argenio
Optimal Route Synthesis in Space DTN Using Markov Decision Processes. ICTAC (2023)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS (2023)
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 (2023)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. CoRR (2022)
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio
MaskD: A Tool for Measuring Masking Fault-Tolerance. TACAS (1) (2022)
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) (2022)
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. QEST (2022)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CAV (2) (2022)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
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 (2021)
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CoRR (2021)
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 (2021)
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns
Sampling Distributed Schedulers for Resilient Space Communication. NFM (2020)
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) (2020)
Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
A compositional semantics for Repairable Fault Trees with general distributions. LPAR (2020)
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves. Acta Informatica 57 (3-5) (2020)
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)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. QEST (2019)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. TACAS (2) (2019)
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 (2019)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Doping Tests for Cyber-Physical Systems. CoRR (2019)
Raúl E. Monti, Pedro R. D'Argenio, Carlos E. Budde
A compositional semantics for Repairable Fault Trees with general distributions. CoRR (2019)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Automated compositional importance splitting. Sci. Comput. Program. 174 (2019)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS (2018)
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
Measuring Masking Fault-Tolerance. CoRR (2018)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) (2018)
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Cyber-Physical Doping Tests. MT@CPSWeek (2018)
Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) (2018)
Pedro R. D'Argenio, Raúl E. Monti
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. CoRR (2018)
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
Facets of Software Doping. CoRR (2018)
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR (2018)
Pedro R. D'Argenio, Raúl E. Monti
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. ICTAC (2018)
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)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Better Automated Importance Splitting for Transient Rare Events. SETTA (2017)
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR (2017)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR (2017)
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)
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)
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Efficient simulation-based verification of probabilistic timed automata. WSC (2017)
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
Facets of Software Doping. ISoLA (2) (2016)
Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM (2016)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
A general SOS theory for the specification of probabilistic transition systems. Inf. Comput. 249 (2016)
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti
Input/Output Stochastic Automata - Compositionality and Determinism. FORMATS (2016)
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti
Compositional Construction of Importance Functions in Fully Automated Importance Splitting. VALUETOOLS (2016)
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS (2015)
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) (2015)
Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns
Rare Event Simulation with Fully Automated Importance Splitting. EPEW (2015)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. FoSSaCS (2014)
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 (2014)
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR (2014)
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
Tree rules in probabilistic transition system specifications with negative and quantitative premises EXPRESS/SOS (2012)
Silvia S. Pelozo, Pedro R. D'Argenio
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. TGC (2012)
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) (2012)
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)
Pedro R. D'Argenio, Matias David Lee
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS (2012)
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. 22 (1) (2012)
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
Secure information flow by self-composition. Math. Struct. Comput. Sci. 21 (6) (2011)
Matias David Lee, Pedro R. D'Argenio
Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. 14 (3) (2011)
Matias David Lee, Pedro R. D'Argenio
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC (2010)
Matias David Lee, Pedro R. D'Argenio
Describing Secure Interfaces with Interface Automata. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
Bisimulations for Nondeterministic Labeled Markov Processes CoRR (2010)
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)
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR (2009)
Sergio Giro, Pedro R. D'Argenio
On the verification of probabilistic I/O automata with unspecified rates. SAC (2009)
Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST (2009)
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu
Optimizing Probabilities of Real-Time Test Case Execution. ICST (2009)
Sergio Giro, Pedro R. D'Argenio
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference (2008)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR (2008)
Sergio Giro, Pedro R. D'Argenio
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS (2007)
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) (2006)
Christel Baier, Pedro R. D'Argenio, Marcus Größer
Partial Order Reduction for Probabilistic Branching Time. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
Axiomatising divergence. Inf. Comput. 203 (2) (2005)
Pedro R. D'Argenio, Joost-Pieter Katoen
A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203 (1) (2005)
Pedro R. D'Argenio, Joost-Pieter Katoen
A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203 (1) (2005)
Pedro R. D'Argenio, Biniam Gebremichael
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR (2005)
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
Secure Information Flow by Self-Composition. CSFW (2004)
Pedro R. D'Argenio, Peter Niebert
Partial Order Reduction on Concurrent Probabilistic Programs. QEST (2004)
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)
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) (2003)
Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
Axiomatising Divergence. ICALP (2002)
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV (2002)
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV (2001)
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
Testing timed automata. Theor. Comput. Sci. 254 (1-2) (2001)
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV (2001)
Joost-Pieter Katoen, Pedro R. D'Argenio
General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
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)
Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe
From Semantics to Spatial Distribution. LATIN (2000)
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
On Generative Parallel Composition. Electron. Notes Theor. Comput. Sci. 22 (1999)
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS (1999)
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
An algebraic approach to the specification of stochastic systems. PROCOMET (1998)
Pedro R. D'Argenio, Chris Verhoef
A General Conservative Extension Theorem in Process Algebras with Inequalities. Theor. Comput. Sci. 177 (2) (1997)
Pedro R. D'Argenio
Regular Processes and Timed Automata. ARTS (1997)
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
The Bounded Retransmission Protocol Must Be on Time! TACAS (1997)
Pedro R. D'Argenio, Ed Brinksma
A Calculus for Timed Automata. FTRTFT (1996)
Pedro R. D'Argenio, Sjouke Mauw
Delayed choice for process algebra with abstraction. CONCUR (1995)