A domain-specific language for manipulation of binary data in Dylan. - Hannes Mehnert; Andreas Bogk (ILC, 2007)

Extending Dylan's type system for better type inference and error detection. - Hannes Mehnert (ILC, 2010)

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code. - Hannes Mehnert (NASA Formal Methods, 2011)

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. - Julian Mackay; Hannes Mehnert; Alex Potanin; Lindsay Groves; Nicholas Cameron 001 (FTfJP@ECOOP, 2012)

Verification of Snapshotable Trees Using Access Permissions and Typestate. - Hannes Mehnert; Jonathan Aldrich (TOOLS (50), 2012)

Formalized Verification of Snapshotable Trees: Separation and Sharing. - Hannes Mehnert; Filip Sieczkowski; Lars Birkedal; Peter Sestoft (VSTTE, 2012)

Object Propositions. - Ligia Nistor; Jonathan Aldrich; Stephanie Balzer; Hannes Mehnert (FM, 2014)

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation. - David Kaloper-Mersinjak; Hannes Mehnert; Anil Madhavapeddy; Peter Sewell (USENIX Security Symposium, 2015)

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)

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 008; Keith Wansbrough (J. ACM, 2019)