| 2001 |
|---|
| 9 | | Ulrich Stern,
David L. Dill:
Parallelizing the Murj Verifier.
Formal Methods in System Design 18(2): 117-129 (2001) |
| 2000 |
|---|
| 8 | EE | David Y. W. Park,
Ulrich Stern,
Jens U. Skakkebæk,
David L. Dill:
Java Model Checking.
ASE 2000: 253-256 |
| 1998 |
|---|
| 7 | | Ulrich Stern,
David L. Dill:
Using Magnatic Disk Instead of Main Memory in the Murphi Verifier.
CAV 1998: 172-183 |
| 6 | EE | Vitaly Shmatikov,
Ulrich Stern:
Efficient Finite-State Analysis for Large Security Protocols.
CSFW 1998: 106-115 |
| 1997 |
|---|
| 5 | | Ulrich Stern,
David L. Dill:
Parallelizing the Murphi Verifier.
CAV 1997: 256-278 |
| 4 | EE | John C. Mitchell,
Mark Mitchell,
Ulrich Stern:
Automated analysis of cryptographic protocols using Mur-phi.
IEEE Symposium on Security and Privacy 1997: 141-151 |
| 1996 |
|---|
| 3 | | Ulrich Stern,
David L. Dill:
A New Scheme for Memory-Efficient Probabilistic Verification.
FORTE 1996: 333-348 |
| 1995 |
|---|
| 2 | | Ulrich Stern,
David L. Dill:
Improved probabilistic verification by hash compaction.
CHARME 1995: 206-224 |
| 1 | | Ulrich Stern,
David L. Dill:
Automatic verification of the SCI cache coherence protocol.
CHARME 1995: 21-34 |
