Travelled to:1 × Germany
2 × USA
Collaborated with:E.M.Clarke S.Jha S.V.A.Campos M.Minea D.E.Long A.Browne
Talks about:algorithm (1) protocol (1) fixpoint (1) quantit (1) partial (1) express (1) analysi (1) system (1) reduct (1) improv (1)
Person: Wilfredo R. Marrero
DBLP: Marrero:Wilfredo_R=
Contributed to:
2000
1995
1994Wrote 3 papers:
- TACAS-2000-ClarkeJM #partial order #protocol #reduction #security #verification
- Partial Order Reductions for Security Protocol Verification (EMC, SJ, WRM), pp. 503–518.
- LCT-RTS-1995-CamposCMM #analysis #finite #named #realtime
- Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (SVAC, EMC, WRM, MM), pp. 70–78.
- CAV-1994-LongBCJM #algorithm #evaluation #fixpoint
- An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.