Hannes Mehnert

According to our database, Hannes Mehnert authored at least 10 papers between 2007 and 2019.

Collaborative distances:

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

2019

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.

Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough

J. ACM, 2019

Programming Unikernels in the Large via Functor Driven Development.

Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott

CoRR, 2019

2015

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.

David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell

Proceedings of the 24th USENIX Security Symposium, 2015

2014

Object Propositions.

Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert

Proceedings of the FM 2014: Formal Methods, 2014

2012

Formalized Verification of Snapshotable Trees: Separation and Sharing.

Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Verification of Snapshotable Trees Using Access Permissions and Typestate.

Hannes Mehnert, Jonathan Aldrich

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron

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

2011

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.

Hannes Mehnert

Proceedings of the NASA Formal Methods, 2011

2010

Extending Dylan's type system for better type inference and error detection.

Hannes Mehnert

Proceedings of the International Lisp Conference, 2010

2007

A domain-specific language for manipulation of binary data in Dylan.

Hannes Mehnert, Andreas Bogk

Proceedings of the International Lisp Conference, 2007