Wilfredo R. Marrero

According to our database, Wilfredo R. Marrero authored at least 10 papers between 1994 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Efficient verification of security protocols using partial-order reductions.

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

Int. J. Softw. Tools Technol. Transf., 2003

2000

Verifying security protocols with Brutus.

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

ACM Trans. Softw. Eng. Methodol., 2000

Partial Order Reductions for Security Protocol Verification.

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1998

Using state space exploration and a natural deduction style message derivation engine to verify security protocols.

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

Proceedings of the Programming Concepts and Methods, 1998

1997

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

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

Timing analysis of industrial real-time systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 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

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

Verifying the performance of the PCI local bus using symbolic techniques.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Computing Quantitative Characteristics of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994