Pedro R. D'Argenio

	2009
32		Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti: Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR 2009: 338-353
31		Sergio Giro, Pedro R. D'Argenio: On the verification of probabilistic I/O automata with unspecified rates. SAC 2009: 582-586
30		Sergio Giro, Pedro R. D'Argenio: On the Expressive Power of Schedulers in Distributed Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 253(3): 45-71 (2009)
	2008
29		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
28		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR abs/0806.1139: (2008)
	2007
27		Sergio Giro, Pedro R. D'Argenio: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194
	2006
26		Christel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
25		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): 812-830 (2006)
	2005
24		Pedro R. D'Argenio, Biniam Gebremichael: The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR 2005: 125-140
23		Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
22		Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
21		Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
	2004
20		Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure Information Flow by Self-Composition. CSFW 2004: 100-114
19		Pedro R. D'Argenio, Peter Niebert: Partial Order Reduction on Concurrent Probabilistic Programs. QEST 2004: 240-249
18		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: 44-88
	2003
17		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. Algebr. Program. 56(1-2): 1-2 (2003)
	2002
16		Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising Divergence. ICALP 2002: 585-596
15		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
	2001
14		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
13		Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
12		Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
	2000
11		Joost-Pieter Katoen, Pedro R. D'Argenio: General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430
10		Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe: From Semantics to Spatial Distribution. LATIN 2000: 427-436
9		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: 99-124
	1999
8		Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. IEEE Real-Time Systems Symposium 1999: 104-114
7		Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: (1999)
	1998
6		Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
	1997
5		Pedro R. D'Argenio: Regular Processes and Timed Automata. ARTS 1997: 141-155
4		Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
3		Pedro R. D'Argenio, Chris Verhoef: A General Conservative Extension Theorem in Process Algebras with Inequalities. Theor. Comput. Sci. 177(2): 351-380 (1997)
	1996
2		Pedro R. D'Argenio, Ed Brinksma: A Calculus for Timed Automata. FTRTFT 1996: 110-129
	1995
1		Pedro R. D'Argenio, Sjouke Mauw: Delayed choice for process algebra with abstraction. CONCUR 1995: 501-515

Coauthor Index

1	Luis R. Sierra Abbate	[10]
2	Tobias Amnell	[9]
3	Miguel E. Andrés	[28] [29]
4	Jos C. M. Baeten	[17]
5	Christel Baier	[26]
6	Gilles Barthe	[20]
7	Gerd Behrmann	[9]
8	Johan Bengtsson	[9]
9	Henrik C. Bohnenkamp	[25]
10	Mario Bravetti	[18]
11	Ed Brinksma	[2] [6] [8]
12	Alexandre David	[9]
13	Juan V. Echagüe	[10]
14	Ansgar Fehnker	[9]
15	Luis María Ferrer Fioriti	[32]
16	Biniam Gebremichael	[24]
17	Sergio Giro	[27] [30] [31] [32]
18	Marcus Größer	[26]
19	Holger Hermanns	[7] [13] [16] [21] [25]
20	Thomas Hune	[9]
21	Bertrand Jeannet	[9] [14] [15]
22	Henrik Ejersbo Jensen	[14] [15]
23	Joost-Pieter Katoen	[4] [6] [7] [8] [11] [13] [22] [23] [25]
24	Ric Klaren	[13]
25	Kim Guldstrand Larsen	[9] [14] [15]
26	Markus Lohrey	[16] [21]
27	Sjouke Mauw	[1]
28	M. Oliver Möller	[9]
29	Peter Niebert	[19]
30	Paul Pettersson	[9]
31	Tamara Rezk	[20]
32	Peter van Rossum	[28] [29]
33	Theo C. Ruys	[4]
34	Jan Springintveld	[12]
35	Jan Tretmans	[4]
36	Frits W. Vaandrager	[12]
37	Chris Verhoef	[3]
38	Carsten Weise	[9]
39	Wang Yi	[9]

Colors in the list of coauthors