Pedro R. D’Argenio

Author

Pedro R. D’Argenio

Also Known As

Budde, Carlos E., Carlos E. Budde, D'Argenio, P.R., D'Argenio, Pedro, D'Argenio, Pedro R., P. R. D'Argenio, P. R. D’Argenio, P.R. D'Argenio, P.R. D’Argenio, P.R. d' Argenio

131

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

Universidad Nacional de Córdoba University of Twente Consejo Nacional de Investigaciones Científicas y Técnicas Institut national de recherche en sciences et technologies du numérique Saarland University

About

Pedro R. D’Argenio is an author at Universidad Nacional de Córdoba specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	24	1.5K
2	Computer Science	17	20	1.3K
3	Data Science	2	2	39
4	Management	1	1	20
5	Computer Engineering	1	1	61

Pedro R. D’Argenio

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Testing timed automata Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningSoftware TestingVerification	2001	276
Secure information flow by self-composition Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk Program CheckingEngineeringInformation SecurityVerificationMutable Data Structures	2004	213
Secure information flow by self-composition Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk Program CheckingEngineeringInformation SecurityVerificationMutable Data Structures	2004	167
Secure information flow by self-composition Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk Mathematical Structures in Computer Science EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2011	159
A theory of stochastic systems part I: Stochastic automata Pedro R. D’Argenio, Joost-Pieter Katoen Information and Computation EngineeringStochastic SystemStochastic Dynamical SystemAutomaton NetworkProbability Theory	2005	75
On Generative Parallel Composition Pedro R. D’Argenio, Holger Hermanns, Joost-Pieter Katoen Electronic Notes in Theoretical Computer Science EngineeringProbabilistic ComputationFunctional AnalysisFormal VerificationGenerative System	1999	61
Smart sampling for lightweight verification of Markov decision processes Pedro R. D’Argenio, Axel Legay, Sean Sedwards, International Journal on Software Tools for Technology Transfer EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal Methods	2015	55
Partial Order Reduction for Probabilistic Branching Time Christel Baier, Pedro R. D’Argenio, Marcus Groesser Electronic Notes in Theoretical Computer Science Mathematical ProgrammingEngineeringVerificationComputer-aided VerificationComputational Complexity	2006	55
Partial order reduction on concurrent probabilistic programs Pedro R. D’Argenio, Peter Niebert Quantitative Evaluation of Systems EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2004	43
An algebraic approach to the specification of stochastic systems Pedro R. D’Argenio, Joost-Pieter Katoen, Ed Brinksma University of Twente Research Information Stochastic Hybrid SystemEngineeringStochastic SystemFormal MethodsStochastic Dynamical System	1998	42

Page 1