Pedro R. D'Argenio

Cited by

	All	Since 2016
Citations	3404	893
h-index	28	15
i10-index	54	24

220

110

165

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202119 39 52 75 69 99 103 117 156 129 112 177 184 199 172 201 189 177 164 140 180 192 172 182 27

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

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
Matias David LeeFaMAF, UNC.Verified email at famaf.unc.edu.ar
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Sean SedwardsUniversity of WaterlooVerified email at uwaterloo.ca
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Carlos E. BuddePostdoc @ FMT group in the 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
Raúl E. MontiUniversity of TwenteVerified email at utwente.nl
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Tamara RezkINRIAVerified email at inria.fr
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 Mathematical Structures in Computer Science 21 (6), 1207-1252, 2011	479	2011
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1-2), 225-257, 2001	363	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	188	2006
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	188	2001
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	171	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	148	2001
Algebras and automata for timed and stochastic systems PR D'Argenio Universiteit Twente, 1999	118	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	99	1998
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	90	2002
A theory of stochastic systems part I: Stochastic automata PR D’Argenio, JP Katoen Information and computation 203 (1), 1-38, 2005	85	2005
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
On Generative Parallel Composition1 PR D'argenio, H Hermanns, JP Katoen Electronic Notes in Theoretical Computer Science 22, 30-54, 1999	84	1999
Rapture: A tool for verifying Markov decision processes B Jeannet, P d’Argenio, K Larsen Tools day 2, 149, 2002	76	2002
Partial Order Reduction on Concurrent Probabilistic Programs. PR D'Argenio, P Niebert QEST 4, 240-249, 2004	73	2004
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	69	2006
Significant diagnostic counterexamples in probabilistic model checking ME Andrés, P D’Argenio, P van Rossum Haifa Verification Conference, 129-148, 2008	68	2008
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	59	2004
General distributions in process algebra JP Katoen, PR D’Argenio School organized by the European Educational Forum, 375-429, 2000	49	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	47	2007
A theory of stochastic systems. Part II: Process algebra PR D’Argenio, JP Katoen Information and Computation 203 (1), 39-74, 2005	45	2005

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