Pedro R. D'Argenio

	2012
42		Pedro R. D'Argenio, Matias David Lee: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS 2012: 452-466
	2011
41		Matias David Lee, Pedro R. D'Argenio: Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. 14(3): (2011)
40		Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure information flow by self-composition. Mathematical Structures in Computer Science 21(6): 1207-1252 (2011)
	2010
39		Matias David Lee, Pedro R. D'Argenio: A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC 2010: 280-289
38		Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
37		Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick: Bisimulations for Nondeterministic Labeled Markov Processes CoRR abs/1011.3362: (2010)
36		Matias David Lee, Pedro R. D'Argenio: Describing Secure Interfaces with Interface Automata. Electr. Notes Theor. Comput. Sci. 264(1): 107-123 (2010)
	2009
35		Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications QFM 2009
34		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
33		Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu: Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
32		Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes: Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST 2009: 11-20
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: 30-54 (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	Suzana Andova	[35]
4	Miguel E. Andrés	[28] [29]
5	Jos C. M. Baeten	[17]
6	Christel Baier	[26]
7	Gilles Barthe	[20] [40]
8	Gerd Behrmann	[9]
9	Johan Bengtsson	[9]
10	Henrik C. Bohnenkamp	[25]
11	Mario Bravetti	[18]
12	Ed Brinksma	[2] [6] [8]
13	Georgel Calin	[38]
14	Pablo Celayes	[32]
15	Pepijn Crouzen	[38]
16	Pieter J. L. Cuijpers	[35]
17	Alexandre David	[9]
18	Juan V. Echagüe	[10]
19	Ansgar Fehnker	[9]
20	Luis María Ferrer Fioriti	[34]
21	Biniam Gebremichael	[24]
22	Sergio Giro	[27] [30] [31] [34]
23	Marcus Größer	[26]
24	Ernst Moritz Hahn	[38]
25	Holger Hermanns	[7] [13] [16] [21] [25]
26	Thomas Hune	[9]
27	Bertrand Jeannet	[9] [14] [15]
28	Henrik Ejersbo Jensen	[14] [15]
29	Joost-Pieter Katoen	[4] [6] [7] [8] [11] [13] [22] [23] [25]
30	Ric Klaren	[13]
31	Kim Guldstrand Larsen (Kim G. Larsen)	[9] [14] [15]
32	Matias David Lee	[36] [39] [41] [42]
33	Markus Lohrey	[16] [21]
34	Jasen Markovski	[35]
35	Sjouke Mauw	[1]
36	Annabelle McIver (A. K. McIver)	[35]
37	M. Oliver Möller	[9]
38	Carroll Morgan (Carroll C. Morgan)	[35]
39	Peter Niebert	[19]
40	Manuel Núñez	[35]
41	Paul Pettersson	[9]
42	Hongyang Qu	[33]
43	Tamara Rezk	[20] [40]
44	Peter van Rossum	[28] [29]
45	Theo C. Ruys	[4]
46	Jan Springintveld	[12]
47	Pedro Sánchez Terraf	[32] [37]
48	Jan Tretmans	[4]
49	Frits W. Vaandrager	[12]
50	Chris Verhoef	[3]
51	Carsten Weise	[9]
52	Nicolás Wolovick	[32] [33] [37]
53	Wang Yi	[9]
54	Lijun Zhang	[38]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page