Wilfredo R. Marrero

	2003
10		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Efficient verification of security protocols using partial-order reductions. STTT 4(2): 173-188 (2003)
	2000
9		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Partial Order Reductions for Security Protocol Verification. TACAS 2000: 503-518
8		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Methodol. 9(4): 443-487 (2000)
	1998
7		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Using state space exploration and a natural deduction style message derivation engine to verify security protocols. PROCOMET 1998: 87-106
	1997
6		Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. 178(1-2): 237-255 (1997)
	1995
5		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verifying the performance of the PCI local bus using symbolic techniques. ICCD 1995: 72-78
4		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 70-78
3		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Temporal Verification of Real-Time Systems. IEICE Transactions 78-D(7): 796-801 (1995)
	1994
2		David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV 1994: 338-350
1		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Computing Quantitative Characteristics of Finite-State Real-Time Systems. IEEE Real-Time Systems Symposium 1994: 266-270

Coauthor Index

1	Anca Browne (I. A. Draghicescu)	[2] [6]
2	Sérgio Vale Aguiar Campos	[1] [3] [4] [5]
3	Edmund M. Clarke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4	Hiromi Hiraishi	[1] [3]
5	Somesh Jha	[2] [6] [7] [8] [9] [10]
6	David E. Long	[2] [6]
7	Marius Minea	[1] [3] [4] [5]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page