| 2003 |
|---|
| 9 | EE | Edmund M. Clarke,
Somesh Jha,
Wilfredo R. Marrero:
Efficient verification of security protocols using partial-order reductions.
STTT 4(2): 173-188 (2003) |
| 2000 |
|---|
| 8 | EE | Edmund M. Clarke,
Somesh Jha,
Wilfredo R. Marrero:
Partial Order Reductions for Security Protocol Verification.
TACAS 2000: 503-518 |
| 7 | EE | Edmund M. Clarke,
Somesh Jha,
Wilfredo R. Marrero:
Verifying security protocols with Brutus.
ACM Trans. Softw. Eng. Methodol. 9(4): 443-487 (2000) |
| 1998 |
|---|
| 6 | | Edmund M. Clarke,
Somesh Jha,
Wilfredo R. Marrero:
Using state space exploration and a natural deduction style message derivation engine to verify security protocols.
PROCOMET 1998: 87-106 |
| 1997 |
|---|
| 5 | EE | Anca Browne,
Edmund M. Clarke,
Somesh Jha,
David E. Long,
Wilfredo R. Marrero:
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
Theor. Comput. Sci. 178(1-2): 237-255 (1997) |
| 1995 |
|---|
| 4 | EE | Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Wilfredo R. Marrero,
Marius Minea:
Verifying the performance of the PCI local bus using symbolic techniques.
ICCD 1995: 72-78 |
| 3 | | Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Wilfredo R. Marrero,
Marius Minea:
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.
Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 70-78 |
| 1994 |
|---|
| 2 | | David E. Long,
Anca Browne,
Edmund M. Clarke,
Somesh Jha,
Wilfredo R. Marrero:
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
CAV 1994: 338-350 |
| 1 | | Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Wilfredo R. Marrero,
Marius Minea,
Hiromi Hiraishi:
Computing Quantitative Characteristics of Finite-State Real-Time Systems.
IEEE Real-Time Systems Symposium 1994: 266-270 |
