Wilfredo R. Marrero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1994–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | TACAS | Partial Order Reductions for Security Protocol Verification. | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1995 | ICCD | Verifying the performance of the PCI local bus using symbolic techniques. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
| 1994 | CAV | An Improved Algorithm for the Evaluation of Fixpoint Expressions. | David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1994 | RTSS | Computing Quantitative Characteristics of Finite-State Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |