Ulrich Stern

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Eye Detection And Tracking

Appearance Variations

Lighting Conditions

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Ulrich Stern, Chung-Hui Yang
Ctrax extensions for tracking in difficult lighting conditions. CoRR (2014)
Ulrich Stern, David L. Dill
Parallelizing the Murj Verifier. Formal Methods Syst. Des. 18 (2) (2001)
David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill
Java Model Checking. ASE (2000)
John C. Mitchell, Vitaly Shmatikov, Ulrich Stern
Finite-State Analysis of SSL 3.0. USENIX Security Symposium (1998)
Vitaly Shmatikov, Ulrich Stern
Efficient Finite-State Analysis for Large Security Protocols. CSFW (1998)
Ulrich Stern, David L. Dill
Verifier. CAV (1998)
John C. Mitchell, Mark Mitchell, Ulrich Stern
Automated analysis of cryptographic protocols using Mur-phi. IEEE Symposium on Security and Privacy (1997)
Ulrich Stern, David L. Dill
Verifier. CAV (1997)
Ulrich Stern, David L. Dill
A New Scheme for Memory-Efficient Probabilistic Verification. FORTE (1996)
Ulrich Stern, David L. Dill
Automatic verification of the SCI cache coherence protocol. CHARME (1995)
Ulrich Stern, David L. Dill
Improved probabilistic verification by hash compaction. CHARME (1995)