Wilfredo R. Marrero

11 papers A* 1A 2C 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2003 J jnl
Efficient verification of security protocols using partial-order reductions.
Int. J. Softw. Tools Technol. Transf.
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
2000 A conf
Partial Order Reductions for Security Protocol Verification.
TACAS
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
2000 J jnl
Verifying security protocols with Brutus.
ACM Trans. Softw. Eng. Methodol.
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1998 — conf
Using state space exploration and a natural deduction style message derivation engine to verify security protocols.
PROCOMET
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1997 J jnl
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
Theor. Comput. Sci.
Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
1995 J jnl
Temporal Verification of Real-Time Systems.
IEICE Trans. Inf. Syst.
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
1995 — conf
Timing analysis of industrial real-time systems.
WIFT
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
1995 C conf
Verifying the performance of the PCI local bus using symbolic techniques.
ICCD
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
1995 — conf
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.
Workshop on Languages, Compilers, & Tools for Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
1994 A* conf
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
CAV
David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1994 A conf
Computing Quantitative Characteristics of Finite-State Real-Time Systems.
RTSS
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi