Pedro R. D'Argenio

110 papers A* 2A 4B 12C 2Misc 3Journal 39Unranked 46

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. TACAS (1) Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari
2025	J	`jnl`	Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks. ACM Trans. Model. Comput. Simul. Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
2025	A*	`conf`	How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. KR Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari
2025	J	`jnl`	Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version). CoRR Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk
2025	—	`conf`	Polytopal Stochastic Games. Principles of Formal Quantitative Analysis Pablo F. Castro, Pedro R. D'Argenio
2025	J	`jnl`	Polytopal Stochastic Games. CoRR Pablo F. Castro, Pedro R. D'Argenio
2024	B	`conf`	Coyan: Fault Tree Analysis - Exact and Scalable. SAFECOMP Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio
2024	—	`conf`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. AISoLA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	J	`jnl`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. CoRR Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	—	`conf`	Modest Models and Tools for Real Stochastic Timed Systems. Principles of Verification (2) Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang
2024	—	`conf`	Tolerange: Quantifying Fault Masking in Stochastic Systems. SPIN Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio
2023	C	`conf`	Optimal Route Synthesis in Space DTN Using Markov Decision Processes. ICTAC Pedro R. D'Argenio
2023	J	`jnl`	Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
2023	—	`conf`	Quantifying Masking Fault-Tolerance via Fair Stochastic Games. EXPRESS/SOS Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2022	J	`jnl`	A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. CoRR Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
2022	J	`jnl`	Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga
2022	—	`conf`	Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. QEST Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
2022	—	`conf`	MaskD: A Tool for Measuring Masking Fault-Tolerance. TACAS (1) Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio
2022	—	`conf`	Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CAV (2) Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2021	J	`jnl`	Doping Tests for Cyber-physical Systems. ACM Trans. Model. Comput. Simul. Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2021	J	`jnl`	Playing Against Fair Adversaries in Stochastic Games with Total Rewards. CoRR Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
2021	J	`jnl`	Routing in Delay-Tolerant Networks under Uncertain Contact Plans. CoRR Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery, Ramiro A. Demasi, Jorge M. Finochietto, Pedro R. D'Argenio
2021	J	`jnl`	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, Pedro R. D'Argenio
2020	B	`conf`	A compositional semantics for Repairable Fault Trees with general distributions. LPAR Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
2020	J	`jnl`	An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2020	J	`jnl`	On the probabilistic bisimulation spectrum with silent moves. Acta Informatica Christel Baier, Pedro R. D'Argenio, Holger Hermanns
2020	—	`conf`	Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2020	—	`conf`	Sampling Distributed Schedulers for Resilient Space Communication. NFM Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns
2019	J	`jnl`	A compositional semantics for Repairable Fault Trees with general distributions. CoRR Raúl E. Monti, Pedro R. D'Argenio, Carlos E. Budde
2019	J	`jnl`	Automated compositional importance splitting. Sci. Comput. Program. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2019	—	`conf`	Doping Tests for Cyber-Physical Systems. QEST Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2019	J	`jnl`	Doping Tests for Cyber-Physical Systems. CoRR Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2019	—	`conf`	Measuring Masking Fault-Tolerance. TACAS (2) Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2019	J	`jnl`	Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2018	B	`conf`	A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans. WiSEE Fernando D. Raverta, Ramiro Demasi, Pablo G. Madoery, Juan A. Fraire, Jorge M. Finochietto, Pedro R. D'Argenio
2018	—	`conf`	A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	Cyber-Physical Doping Tests. MT@CPSWeek Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
2018	J	`jnl`	Facets of Software Doping. CoRR Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2018	C	`conf`	Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. ICTAC Pedro R. D'Argenio, Raúl E. Monti
2018	J	`jnl`	Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. CoRR Pedro R. D'Argenio, Raúl E. Monti
2018	—	`conf`	Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018	J	`jnl`	Measuring Masking Fault-Tolerance. CoRR Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2018	B	`conf`	Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. LPAR Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
2017	J	`jnl`	A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2017	Misc	`conf`	Better Automated Importance Splitting for Transient Rare Events. SETTA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2017	Misc	`conf`	Efficient simulation-based verification of probabilistic timed automata. WSC Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
2017	A	`conf`	Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017	J	`jnl`	Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
2017	—	`conf`	The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
2016	J	`jnl`	A general SOS theory for the specification of probabilistic transition systems. Inf. Comput. Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2016	—	`conf`	Compositional Construction of Importance Functions in Fully Automated Importance Splitting. VALUETOOLS Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti
2016	—	`conf`	Facets of Software Doping. ISoLA (2) Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
2016	—	`conf`	Input/Output Stochastic Automata - Compositionality and Determinism. FORMATS Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti
2016	B	`conf`	Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
2015	—	`conf`	Rare Event Simulation with Fully Automated Importance Splitting. EPEW Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns
2015	—	`conf`	SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
2015	J	`jnl`	Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	B	`conf`	Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. FoSSaCS Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2014	J	`jnl`	Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Theor. Comput. Sci. Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
2014	J	`jnl`	Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2013	B	`ed.`	CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings CONCUR Pedro R. D'Argenio, Hernán C. Melgratti
2013	—	`ed.`	Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings QEST Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
2012	—	`conf`	A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. ROCKS Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2012	J	`jnl`	Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2012	B	`conf`	Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS Pedro R. D'Argenio, Matias David Lee
2012	J	`jnl`	Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
2012	—	`conf`	Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. TGC Silvia S. Pelozo, Pedro R. D'Argenio
2012	—	`conf`	Tree rules in probabilistic transition system specifications with negative and quantitative premises EXPRESS/SOS Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
2011	J	`jnl`	Secure information flow by self-composition. Math. Struct. Comput. Sci. Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
2011	J	`jnl`	Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. Matias David Lee, Pedro R. D'Argenio
2010	—	`conf`	A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC Matias David Lee, Pedro R. D'Argenio
2010	J	`jnl`	Bisimulations for Nondeterministic Labeled Markov Processes CoRR Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2010	—	`conf`	Describing Secure Interfaces with Interface Automata. FESCA@ETAPS Matias David Lee, Pedro R. D'Argenio
2010	—	`conf`	Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang
2009	—	`conf`	Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes
2009	—	`conf`	On the Expressive Power of Schedulers in Distributed Probabilistic Systems. QAPL Sergio Giro, Pedro R. D'Argenio
2009	Misc	`conf`	On the verification of probabilistic I/O automata with unspecified rates. SAC Sergio Giro, Pedro R. D'Argenio
2009	A	`conf`	Optimizing Probabilities of Real-Time Test Case Execution. ICST Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu
2009	B	`conf`	Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti
2009	—	`ed.`	Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. QFM Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez
2008	J	`jnl`	Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
2008	—	`conf`	Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
2007	—	`conf`	Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS Sergio Giro, Pedro R. D'Argenio
2006	J	`jnl`	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
2005	J	`jnl`	A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. Pedro R. D'Argenio, Joost-Pieter Katoen
2005	J	`jnl`	A theory of stochastic systems part I: Stochastic automata. Inf. Comput. Pedro R. D'Argenio, Joost-Pieter Katoen
2005	J	`jnl`	Axiomatising divergence. Inf. Comput. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
2005	—	`conf`	Partial Order Reduction for Probabilistic Branching Time. QAPL Christel Baier, Pedro R. D'Argenio, Marcus Größer
2005	B	`conf`	The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR Pedro R. D'Argenio, Biniam Gebremichael
2004	—	`conf`	Partial Order Reduction on Concurrent Probabilistic Programs. QEST Pedro R. D'Argenio, Peter Niebert
2004	—	`conf`	Secure Information Flow by Self-Composition. CSFW Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
2004	—	`conf`	Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems Mario Bravetti, Pedro R. D'Argenio
2003	J	`jnl`	Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. J. Log. Algebraic Methods Program. Pedro R. D'Argenio, Jos C. M. Baeten
2002	A*	`conf`	Axiomatising Divergence. ICALP Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
2002	—	`conf`	Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
2001	—	`conf`	MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2001	—	`conf`	Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
2001	J	`jnl`	Testing timed automata. Theor. Comput. Sci. Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
2000	B	`conf`	From Semantics to Spatial Distribution. LATIN Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe
2000	—	`conf`	General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis Joost-Pieter Katoen, Pedro R. D'Argenio
2000	—	`conf`	UPPAAL - Now, Next, and Future. MOVEP 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
1999	A	`conf`	Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	—	`conf`	An algebraic approach to the specification of stochastic systems. PROCOMET Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	—	`conf`	On Generative Parallel Composition. PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
1997	J	`jnl`	A General Conservative Extension Theorem in Process Algebras with Inequalities. Theor. Comput. Sci. Pedro R. D'Argenio, Chris Verhoef
1997	—	`conf`	Regular Processes and Timed Automata. ARTS Pedro R. D'Argenio
1997	A	`conf`	The Bounded Retransmission Protocol Must Be on Time! TACAS Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
1996	—	`conf`	A Calculus for Timed Automata. FTRTFT Pedro R. D'Argenio, Ed Brinksma
1995	B	`conf`	Delayed choice for process algebra with abstraction. CONCUR Pedro R. D'Argenio, Sjouke Mauw