Concepedia

W. Marrero

WM

7

Publications

484

Citations

7

H-Index

1995

Active since

Affiliations

Carnegie Mellon University(Current)

DePaul University

W. Marrero is an author at Carnegie Mellon University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationSoftware AnalysisFormal VerificationProgram AnalysisSystems EngineeringReal-time SystemsComputer Engineering

Publications per year

1995–2008

7

Publications

7

Verifying security protocols with Brutus

E. M. Clarke, Somesh Jha, W. Marrero · ACM Transactions on Software Engineering and Methodology · 2000 · 141 citations · Full text

Engineering, Information Security, Verification +18

Modeling and Verification of IPSec and VPN Security Policies

H. Hamed, Ehab Al‐Shaer, W. Marrero · 2006 · 129 citations

Engineering, Information Security, Verification +16

An improved algorithm for the evaluation of fixpoint expressions

Anca Browne, E. M. Clarke, Sumit Kumar Jha et al. · Theoretical Computer Science · 1997 · 80 citations

Mathematical Programming, Engineering, Fixpoint Expressions +7

Verus

Sérgio Campos, E. M. Clarke, W. Marrero et al. · ACM SIGPLAN Notices · 1995 · 44 citations · Full text

Engineering, Verification, Symbolic Model Checking +17

Verifying the performance of the PCI local bus using symbolic techniques

Sérgio Campos, E. M. Clarke, W. Marrero et al. · 2002 · 41 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +23

Rows per page

1–5 of 7