Pedro R. D'Argenio - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3183	895
h-index	28	15
i10-index	50	25

200

100

150

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202019 40 54 74 64 99 105 118 159 120 112 170 173 198 168 191 195 168 159 142 178 189 187 36

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Matias David LeeFaMAF, UNC.Verified email at famaf.unc.edu.ar
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Sean SedwardsUniversity of WaterlooVerified email at uwaterloo.ca
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Tamara RezkINRIAVerified email at inria.fr
Carlos E. BuddePostdoc researcher in the FMT group of the EEMCS faculty, University of Twente, the NetherlandsVerified email at utwente.nl
Nicolás WolovickFull Professor of Computer Science, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Raúl E. MontiFaMAF - Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
A FehnkerUniversity of TwenteVerified email at utwente.nl
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Daniel GeblerVU University AmsterdamVerified email at vu.nl
Pedro Sánchez TerrafCIEM-FaMAF. Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it

Pedro R. D'Argenio

FaMAF, Universidad Nacional de Córdoba - CONICET

Verified email at famaf.unc.edu.ar - Homepage

Formal Methods Dependable Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Secure information flow by self-composition G Barthe, PR D'Argenio, T Rezk Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 100-114, 2004	358	2004
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1-2), 225-257, 2001	351	2001
Reachability analysis of probabilistic systems by successive refinements PR D’argenio, B Jeannet, HE Jensen, KG Larsen Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001	180	2001
MODEST: A compositional modeling formalism for hard and softly timed systems H Bohnenkamp, PR d'Argenio, H Hermanns, JP Katoen Software Engineering, IEEE Transactions on 32 (10), 812-830, 2006	174	2006
The bounded retransmission protocol must be on time! PR D'Argenio, JP Katoen, TC Ruys, J Tretmans International Workshop on Tools and Algorithms for the Construction and …, 1997	166	1997
Uppaal-now, next, and future T Amnell, G Behrmann, J Bengtsson, P D’argenio, A David, A Fehnker, ... Modeling and verification of parallel processes, 99-124, 2001	145	2001
Algebras and automata for timed and stochastic systems PR D'Argenio Universiteit Twente, 1999	115	1999
An algebraic approach to the specification of stochastic systems PR D'Argenio, JP Katoen, E Brinksma Proceedings of the IFIP TC2/WG2 2 (2.3), 126-147, 1998	105*	1998
Secure information flow by self-composition G Barthe, PR D'argenio, T Rezk Mathematical Structures in Computer Science 21 (6), 1207-1252, 2011	87	2011
On Generative Parallel Composition1 PR D'argenio, H Hermanns, JP Katoen Electronic Notes in Theoretical Computer Science 22, 30-54, 1999	87	1999
Reduction and refinement strategies for probabilistic analysis PR D’Argenio, B Jeannet, HE Jensen, KG Larsen Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002	86	2002
MoDeST — A Modelling and Description Language for Stochastic Timed Systems PR D’argenio, H Hermanns, JP Katoen, R Klaren Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001	85	2001
A theory of stochastic systems part I: Stochastic automata PR D’Argenio, JP Katoen Information and computation 203 (1), 1-38, 2005	79	2005
Rapture: A tool for verifying Markov decision processes B Jeannet, P d’Argenio, K Larsen Tools day 2, 149, 2002	71	2002
Partial Order Reduction on Concurrent Probabilistic Programs. PR D'Argenio, P Niebert QEST 4, 240-249, 2004	67	2004
Significant diagnostic counterexamples in probabilistic model checking ME Andrés, P D’Argenio, P van Rossum Haifa Verification Conference, 129-148, 2008	65	2008
Partial order reduction for probabilistic branching time C Baier, P D'Argenio, M Groesser Electronic Notes in Theoretical Computer Science 153 (2), 97-116, 2006	65	2006
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions M Bravetti, P D’Argenio Validation of Stochastic Systems, 44-88, 2004	54	2004
General distributions in process algebra JP Katoen, PR D’Argenio School organized by the European Educational Forum, 375-429, 2000	46*	2000
Quantitative model checking revisited: neither decidable nor approximable S Giro, PR D’argenio International Conference on Formal Modeling and Analysis of Timed Systems …, 2007	45	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors