Ulrich Stern

According to our database, Ulrich Stern authored at least 12 papers between 1995 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Ctrax extensions for tracking in difficult lighting conditions.

Ulrich Stern, Chung-Hui Yang

CoRR, 2014

2001

Parallelizing the Murj Verifier.

Ulrich Stern, David L. Dill

Formal Methods Syst. Des., 2001

2000

Java Model Checking.

David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1998

Finite-State Analysis of SSL 3.0.

John C. Mitchell, Vitaly Shmatikov, Ulrich Stern

Proceedings of the 7th USENIX Security Symposium, 1998

Efficient Finite-State Analysis for Large Security Protocols.

Vitaly Shmatikov, Ulrich Stern

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

Using Magnatic Disk Instead of Main Memory in the Mur<i>phi</i> Verifier.

Ulrich Stern, David L. Dill

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Algorithmic techniques in verification by explicit state enumeration.

Ulrich Stern

PhD thesis, 1997

Automated analysis of cryptographic protocols using Mur-phi.

John C. Mitchell, Mark Mitchell, Ulrich Stern

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Parallelizing the Mur<i>phi</i> Verifier.

Ulrich Stern, David L. Dill

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

A New Scheme for Memory-Efficient Probabilistic Verification.

Ulrich Stern, David L. Dill

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Improved probabilistic verification by hash compaction.

Ulrich Stern, David L. Dill

Proceedings of the Correct Hardware Design and Verification Methods, 1995

Automatic verification of the SCI cache coherence protocol.

Ulrich Stern, David L. Dill

Proceedings of the Correct Hardware Design and Verification Methods, 1995