Werner Dietl

According to our database, Werner Dietl authored at least 31 papers between 2003 and 2023.

Collaborative distances:

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

2023

Least-Privilege Calls to Amazon Web Services.

Puneet Gill, Werner Dietl, Mahesh Tripunitara

IEEE Trans. Dependable Secur. Comput., 2023

Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl

Proceedings of the iFM 2023 - 18th International Conference, 2023

2021

Scalability and precision by combining expressive type systems and deductive verification.

Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl

Proc. ACM Program. Lang., 2021

Ensuring correct cryptographic algorithm and provider usage at compile time.

Weitian Xing, Yuanhui Cheng, Werner Dietl

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

A computational complexity analysis of tunable type inference for Generic Universe Types.

Nahid Juma, Werner Dietl, Mahesh Tripunitara

Theor. Comput. Sci., 2020

Precise inference of expressive units of measurement types.

Tongtong Xiang, Jeff Y. Luo, Werner Dietl

Proc. ACM Program. Lang., 2020

2018

Don't Miss the End: Preventing Unsafe End-of-File Comparisons.

Charles Zhuo Chen, Werner Dietl

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Granullar: gradual nullable types for Java.

Dan Brotherston, Werner Dietl, Ondrej Lhoták

Proceedings of the 26th International Conference on Compiler Construction, 2017

2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).

Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Collaborative Verification of Information Flow for a High-Assurance App Store.

Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Object Ownership in Program Verification.

Werner Dietl, Peter Müller

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Java UI : Effects for Controlling UI Object Access.

Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Reim & ReImInfer: checking and inference of reference immutability and method purity.

Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A type system for regular expressions.

Eric Spishak, Werner Dietl, Michael D. Ernst

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

Inference and Checking of Object Ownership.

Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Verification games: making verification fun.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Separating ownership topology and encapsulation with generic universe types.

Werner Dietl, Sophia Drossopoulou, Peter Müller

ACM Trans. Program. Lang. Syst., 2011

EnerJ: approximate data types for safe and general low-power computation.

Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Building and using pluggable type-checkers.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller

Proceedings of the 33rd International Conference on Software Engineering, 2011

Tunable Static Inference for Generic Universe Types.

Werner Dietl, Michael D. Ernst, Peter Müller

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2009

Universe Types - Topologie, Kapselung, Generizität und Tools.

Werner Dietl

Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009

Universe Types - Topology, Encapsulation, Genericity, and Tools.

Werner Michael Dietl

PhD thesis, 2009

2007

Universe Types for Topology and Encapsulation.

Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Generic Universe Types.

Werner Dietl, Sophia Drossopoulou, Peter Müller

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2005

Universes: Lightweight Ownership for JML.

Werner Dietl, Peter Müller

J. Object Technol., 2005

2004

Key-dependency for a wavelet-based blind watermarking algorithm.

Michael Brachtl, Andreas Uhl, Werner Dietl

Proceedings of the 6th workshop on Multimedia & Security, 2004

Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures.

Werner Dietl, Andreas Uhl

Proceedings of the 2004 IEEE International Conference on Multimedia and Expo, 2004

A Type System for Checking Applet Isolation in Java Card.

Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Construction and Analysis of Safe, 2004

2003

Protection of wavelet-based watermarking systems using filter parametrization.

Werner Dietl, Peter Meerwald, Andreas Uhl

Signal Process., 2003

Key-dependent pyramidal wavelet domains for secure watermark embedding.

Werner Dietl, Peter Meerwald, Andreas Uhl

Proceedings of the Security and Watermarking of Multimedia Contents V, 2003

Watermark Security via Secret Wavelet Packet Subband Structures.

Werner Dietl, Andreas Uhl

Proceedings of the Communications and Multimedia Security, 2003