Computing Quantitative Characteristics of Finite-State Real-Time Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea; Hiromi Hiraishi (RTSS, 1994)

Verifying the performance of the PCI local bus using symbolic techniques. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea (ICCD, 1995)

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea (Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995)

Timing analysis of industrial real-time systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea (WIFT, 1995)

Temporal Verification of Real-Time Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea; Hiromi Hiraishi (IEICE Trans. Inf. Syst., 1995)

An Improved Algorithm for the Evaluation of Fixpoint Expressions. - Anca Browne; Edmund M. Clarke; Somesh Jha; David E. Long; Wilfredo R. Marrero (Theor. Comput. Sci., 1997)

Using state space exploration and a natural deduction style message derivation engine to verify security protocols. - Edmund M. Clarke; Somesh Jha; Wilfredo R. Marrero (PROCOMET, 1998)

Partial Order Reductions for Security Protocol Verification. - Edmund M. Clarke; Somesh Jha; Wilfredo R. Marrero (TACAS, 2000)

Verifying security protocols with Brutus. - Edmund M. Clarke; Somesh Jha; Wilfredo R. Marrero (ACM Trans. Softw. Eng. Methodol., 2000)

Efficient verification of security protocols using partial-order reductions. - Edmund M. Clarke; Somesh Jha; Wilfredo R. Marrero (Int. J. Softw. Tools Technol. Transf., 2003)