Search the dblp DataBase
Ulrich Stern: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ulrich Stern, David L. Dill
Parallelizing the Murphi Verifier. [Citation Graph (0, 0)][DBLP]
CAV, 1997, pp:256-278 [Conf] - Ulrich Stern, David L. Dill
Using Magnatic Disk Instead of Main Memory in the Murphi Verifier. [Citation Graph (0, 0)][DBLP]
CAV, 1998, pp:172-183 [Conf] - Ulrich Stern, David L. Dill
Automatic verification of the SCI cache coherence protocol. [Citation Graph (0, 0)][DBLP]
CHARME, 1995, pp:21-34 [Conf] - Ulrich Stern, David L. Dill
Improved probabilistic verification by hash compaction. [Citation Graph (0, 0)][DBLP]
CHARME, 1995, pp:206-224 [Conf] - Vitaly Shmatikov, Ulrich Stern
Efficient Finite-State Analysis for Large Security Protocols. [Citation Graph (0, 0)][DBLP]
CSFW, 1998, pp:106-115 [Conf] - Ulrich Stern, David L. Dill
A New Scheme for Memory-Efficient Probabilistic Verification. [Citation Graph (0, 0)][DBLP]
FORTE, 1996, pp:333-348 [Conf] - David Y. W. Park, University Stern, Jens U. Skakkebæk, David L. Dill
Java Model Checking. [Citation Graph (0, 0)][DBLP]
ASE, 2000, pp:253-256 [Conf] - John C. Mitchell, Mark Mitchell, Ulrich Stern
Automated analysis of cryptographic protocols using Mur-phi. [Citation Graph (0, 0)][DBLP]
IEEE Symposium on Security and Privacy, 1997, pp:141-151 [Conf] - Ulrich Stern, David L. Dill
Parallelizing the Murj Verifier. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2001, v:18, n:2, pp:117-129 [Journal]
Search in 0.003secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002