Pedro R. D'Argenio

2009
30	EE	Sergio Giro, Pedro R. D'Argenio: On the verification of probabilistic I/O automata with unspecified rates. SAC 2009: 582-586
2008
29	EE	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	EE	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	EE	Sergio Giro, Pedro R. D'Argenio: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194
2006
26	EE	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	EE	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	EE	Pedro R. D'Argenio, Biniam Gebremichael: The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR 2005: 125-140
23	EE	Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
22	EE	Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
21	EE	Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
2004
20	EE	Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure Information Flow by Self-Composition. CSFW 2004: 100-114
19	EE	Pedro R. D'Argenio, Peter Niebert: Partial Order Reduction on Concurrent Probabilistic Programs. QEST 2004: 240-249
18	EE	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	EE	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	EE	Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising Divergence. ICALP 2002: 585-596
15	EE	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	EE	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	EE	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	EE	Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
2000
11	EE	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	EE	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	EE	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	EE	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	EE	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	Biniam Gebremichael	[24]
16	Sergio Giro	[27] [30]
17	Marcus Größer	[26]
18	Holger Hermanns	[7] [13] [16] [21] [25]
19	Thomas Hune	[9]
20	Bertrand Jeannet	[9] [14] [15]
21	Henrik Ejersbo Jensen	[14] [15]
22	Joost-Pieter Katoen	[4] [6] [7] [8] [11] [13] [22] [23] [25]
23	Ric Klaren	[13]
24	Kim Guldstrand Larsen	[9] [14] [15]
25	Markus Lohrey	[16] [21]
26	Sjouke Mauw	[1]
27	M. Oliver Möller	[9]
28	Peter Niebert	[19]
29	Paul Pettersson	[9]
30	Tamara Rezk	[20]
31	Peter van Rossum	[28] [29]
32	Theo C. Ruys	[4]
33	Jan Springintveld	[12]
34	Jan Tretmans	[4]
35	Frits W. Vaandrager	[12]
36	Chris Verhoef	[3]
37	Carsten Weise	[9]
38	Wang Yi	[9]

Colors in the list of coauthors