|
|
Note: the publications available on this page are
covered by various copyrights.
Journal papers
-
P. Wolper, U. Stern, D. Leroy, and D. L. Dill.
Reliable Probabilistic Verification Using Hash Compaction.
Submitted for publication.
-
U. Stern and D. L. Dill.
Parallelizing the Murphi Verifier.
Formal Methods in System Design,
18(2): 117-129, 2001.
Invited Paper.
Conference papers
-
D. Park, U. Stern, J. U. Skakkebaek, and D. L. Dill.
Java Model Checking.
First International Workshop on Automated
Program Analysis, Testing, and Verification,
2000.
Shorter conference version presented (under
the same title) at the
Fifteenth IEEE International Conference on
Automated Software Engineering,
2000.
-
V. Shmatikov and U. Stern.
Efficient Finite-State Analysis for Large Security Protocols.
11th IEEE Computer Security Foundations Workshop,
pages 106-15, 1998.
-
U. Stern and D. L. Dill.
Using Magnetic Disk instead of Main Memory in the Murphi Verifier.
Computer Aided Verification. 10th International Conference,
pages 172-83, 1998.
-
J. C. Mitchell, V. Shmatikov, and U. Stern.
Finite-State Analysis of SSL 3.0.
7th USENIX Security Symposium,
pages 201-15, 1998.
[html version].
Preliminary version presented under the
title ``Finite-State Analysis of SSL 3.0 and Related Protocols''
at the
DIMACS Workshop on Design and Formal Verification of Security
Protocols, 1997.
[on-line proceedings]
-
U. Stern and D. L. Dill.
Parallelizing the Murphi Verifier.
Computer Aided Verification. 9th International Conference,
pages 256-67, 1997.
-
J. C. Mitchell, M. Mitchell, and U. Stern.
Automated Analysis of Cryptographic Protocols Using Murphi.
1997 IEEE Symposium on Security and Privacy,
pages 141-51.
-
U. Stern and D. L. Dill.
A New Scheme for Memory-Efficient Probabilistic Verification.
Joint International Conference on Formal Description
Techniques for Distributed Systems and Communication Protocols, and
Protocol Specification, Testing, and Verification,
pages 333-48, 1996.
-
U. Stern and D. L. Dill.
Combining State Space Caching and Hash Compaction.
Methoden des Entwurfs und der Verifikation
digitaler Systeme, 4. GI/ITG/GME Workshop,
pages 81-90, 1996.
-
U. Stern, H. A. Sholl, R. A. Ammar, and C.-H. Tung.
Analytical Performance Model for Futurebus+ Systems.
8th International Conference on Parallel and Distributed
Computing Systems,
pages 152-8, 1995.
-
U. Stern and D. L. Dill.
Improved Probabilistic Verification by Hash Compaction.
Advanced Research Working Conference on
Correct Hardware Design and Verification Methods,
pages 206-24, 1995.
-
U. Stern and D. L. Dill.
Automatic Verification of the SCI Cache Coherence Protocol.
Advanced Research Working Conference on
Correct Hardware Design and Verification Methods,
pages 21-34, 1995.
Preliminary version presented under the
title ``Verifying the SCI Cache Coherence Protocol'' at the
2nd International Workshop on SCI-based
High-Performance Low-Cost Computing,
pages 75-82, 1995.
Theses
-
Algorithmic Techniques in Verification by Explicit State
Enumeration.
Ph.D. thesis, Technical University of Munich, 1997.
[abstract]
-
Analytical Performance Model for Futurebus+ Systems.
Diplomarbeit, Technical University of Munich, 1993.
|