Ulrich Stern

12 papers A* 4C 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
Ctrax extensions for tracking in difficult lighting conditions.
CoRR
Ulrich Stern, Chung-Hui Yang
2001 J jnl
Parallelizing the Murj Verifier.
Formal Methods Syst. Des.
Ulrich Stern, David L. Dill
2000 A* conf
Java Model Checking.
ASE
David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill
1998 — conf
Efficient Finite-State Analysis for Large Security Protocols.
CSFW
Vitaly Shmatikov, Ulrich Stern
1998 A* conf
Finite-State Analysis of SSL 3.0.
USENIX Security Symposium
John C. Mitchell, Vitaly Shmatikov, Ulrich Stern
1998 A* conf
Using Magnatic Disk Instead of Main Memory in the Mur
CAV
Ulrich Stern, David L. Dill
1997 — —
Algorithmic techniques in verification by explicit state enumeration.
Ulrich Stern
1997 — conf
Automated analysis of cryptographic protocols using Mur-phi.
S&P
John C. Mitchell, Mark Mitchell, Ulrich Stern
1997 A* conf
Parallelizing the Mur
CAV
Ulrich Stern, David L. Dill
1996 C conf
A New Scheme for Memory-Efficient Probabilistic Verification.
FORTE
Ulrich Stern, David L. Dill
1995 — conf
Automatic verification of the SCI cache coherence protocol.
CHARME
Ulrich Stern, David L. Dill
1995 — conf
Improved probabilistic verification by hash compaction.
CHARME
Ulrich Stern, David L. Dill