The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ulrich Stern: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ulrich Stern, David L. Dill
    Parallelizing the Murphi Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:256-278 [Conf]
  2. 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]
  3. Ulrich Stern, David L. Dill
    Automatic verification of the SCI cache coherence protocol. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:21-34 [Conf]
  4. Ulrich Stern, David L. Dill
    Improved probabilistic verification by hash compaction. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:206-224 [Conf]
  5. Vitaly Shmatikov, Ulrich Stern
    Efficient Finite-State Analysis for Large Security Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:106-115 [Conf]
  6. Ulrich Stern, David L. Dill
    A New Scheme for Memory-Efficient Probabilistic Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:333-348 [Conf]
  7. 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]
  8. 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]
  9. 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.013secs, Finished in 0.013secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002