Automatic verification of the SCI cache coherence protocol. - Ulrich Stern; David L. Dill (CHARME, 1995)

Improved probabilistic verification by hash compaction. - Ulrich Stern; David L. Dill (CHARME, 1995)

A New Scheme for Memory-Efficient Probabilistic Verification. - Ulrich Stern; David L. Dill (FORTE, 1996)

Parallelizing the Murphi Verifier. - Ulrich Stern; David L. Dill (CAV, 1997)

Automated analysis of cryptographic protocols using Mur-phi. - John C. Mitchell; Mark Mitchell; Ulrich Stern (S&P, 1997)

Algorithmic techniques in verification by explicit state enumeration. - Ulrich Stern (1997)

Using Magnatic Disk Instead of Main Memory in the Murphi Verifier. - Ulrich Stern; David L. Dill (CAV, 1998)

Efficient Finite-State Analysis for Large Security Protocols. - Vitaly Shmatikov; Ulrich Stern (CSFW, 1998)

Finite-State Analysis of SSL 3.0. - John C. Mitchell; Vitaly Shmatikov; Ulrich Stern (USENIX Security Symposium, 1998)

Java Model Checking. - David Y. W. Park; Ulrich Stern; Jens U. Skakkebæk; David L. Dill (ASE, 2000)

Parallelizing the Murj Verifier. - Ulrich Stern; David L. Dill (Formal Methods Syst. Des., 2001)

Ctrax extensions for tracking in difficult lighting conditions. - Ulrich Stern; Chung-Hui Yang (CoRR, 2014)