Werner Dietl

Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst: Inference and Checking of Object Ownership. ECOOP 2012: 181-206

Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst: Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA 2012: 879-896

Werner Dietl, Sophia Drossopoulou, Peter Müller: Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20 (2011)

Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller: Building and using pluggable type-checkers. ICSE 2011: 681-690

Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman: EnerJ: approximate data types for safe and general low-power computation. PLDI 2011: 164-174

Werner Michael Dietl: Universe Types - Topology, Encapsulation, Genericity, and Tools. Universität Zürich 2009, pp. I-XII, 1-196

Werner Dietl: Universe Types - Topologie, Kapselung, Generizität und Tools. Ausgezeichnete Informatikdissertationen 2009: 51-60

Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53

Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112

Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)

Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150

Werner Dietl, Andreas Uhl: Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures. ICME 2004: 2043-2046

Michael Brachtl, Andreas Uhl, Werner Dietl: Key-dependency for a wavelet-based blind watermarking algorithm. MM&Sec 2004: 175-179

Werner Dietl, Peter Meerwald, Andreas Uhl: Protection of wavelet-based watermarking systems using filter parametrization. Signal Processing 83(10): 2095-2116 (2003)

Werner Dietl, Andreas Uhl: Watermark Security via Secret Wavelet Packet Subband Structures. Communications and Multimedia Security 2003: 214-225