Ulrich Stern
Ulrich Stern
No affiliation
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
Automated analysis of cryptographic protocols using mur/spl phi
JC Mitchell, M Mitchell, U Stern
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997
7451997
Parallelizing the Murϕ verifier
U Stern, DL Dill
International Conference on Computer Aided Verification, 256-267, 1997
366*1997
Parallelizing the Murϕ verifier
U Stern, DL Dill
International Conference on Computer Aided Verification, 256-267, 1997
3051997
Finite-State Analysis of SSL 3.0.
JC Mitchell, V Shmatikov, U Stern
USENIX Security Symposium, 201-216, 1998
2581998
Improved probabilistic verification by hash compaction
U Stern, DL Dill
Advanced Research Working Conference on Correct Hardware Design and …, 1995
1381995
Using magnetic disk instead of main memory in the Mur ϕ verifier
U Stern, DL Dill
International Conference on Computer Aided Verification, 172-183, 1998
1121998
Automatic verification of the SCI cache coherence protocol
U Stern, DL Dill
Advanced Research Working Conference on Correct Hardware Design and …, 1995
1041995
Use of primary and secondary indexes to facilitate aggregation of records of an OLAP data cube
U Stern
US Patent 7,761,407, 2010
1032010
Efficient finite-state analysis for large security protocols
V Shmatikov, U Stern
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998
1021998
Java model checking
DYW Park, U Stern, JU Skakkebaek, DL Dill
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
1002000
A new scheme for memory-efficient probabilistic verification
U Stern, DL Dill
Formal description techniques IX, 333-348, 1996
781996
Analyzing animal behavior via classifying each video frame using convolutional neural networks
U Stern, R He, CH Yang
Scientific reports 5 (1), 1-13, 2015
452015
Mechanosensitive neurons on the internal reproductive tract contribute to egg-laying-induced acetic acid attraction in Drosophila
B Gou, Y Liu, AR Guntur, U Stern, CH Yang
Cell reports 9 (2), 522-530, 2014
442014
Combining state space caching and hash compaction
U Stern, DL Dill
Methoden des Entwurfs und der Verifikation digitaler Systeme 4, 81-90, 1996
441996
Egg-laying demand induces aversion of UV light in Drosophila females
EY Zhu, AR Guntur, R He, U Stern, CH Yang
Current Biology 24 (23), 2797-2804, 2014
382014
Murphi annotated reference manual
R Melton, DL Dill, CN Ip, U Stern
Release 3.0. Technical report, Stanford University, Palo Alto, California, USA, 1996
321996
Finite-state analysis of SSL 3.0 and related protocols
JC Mitchell, V Shmatikov, U Stern
Proceedings of the DIMACS Workshop on Design and Formal Verification of …, 1997
281997
Behavioral and circuit basis of sucrose rejection by Drosophila females in a simple decision-making task
CH Yang, R He, U Stern
Journal of Neuroscience 35 (4), 1396-1410, 2015
262015
H2O2-Sensitive Isoforms of Drosophila melanogaster TRPA1 Act in Bitter-Sensing Gustatory Neurons to Promote Avoidance of UV During Egg-Laying
AR Guntur, B Gou, P Gu, R He, U Stern, Y Xiang, CH Yang
Genetics 205 (2), 749-759, 2017
202017
Algorithmic techniques in verification by explicit state enumeration
U Stern
Technische Universität München, 1997
201997
The system can't perform the operation now. Try again later.
Articles 1–20