Wilfredo R. Marrero

Publication Activity (10 Years)

Years Active: 1994-2003
Publications (10 Years): 0

Publications

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
Efficient verification of security protocols using partial-order reductions. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Methodol. 9 (4) (2000)
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
Partial Order Reductions for Security Protocol Verification. TACAS (2000)
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)
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) (1997)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Timing analysis of industrial real-time systems. WIFT (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Temporal Verification of Real-Time Systems. IEICE Trans. Inf. Syst. (7) (1995)
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)
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)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Computing Quantitative Characteristics of Finite-State Real-Time Systems. RTSS (1994)
David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV (1994)