Hermann Lehner

Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups

Peter Müller, Hermann Lehner, 2010, FASE.

Formal Translation of Bytecode into BoogiePL

Peter Müller, Hermann Lehner, 2007, Electron. Notes Theor. Comput. Sci..

A formal definition of JML in Coq and its application to runtime assertion checking

Hermann Lehner, Hermann Lehner, Hermann Lehner, 2011 .

A Formalization of JML in the Coq Proof System

Peter Müller, Hermann Lehner, Andreas Kägi, 2009 .

Resource-Rich versus Resource-Poor Assessment in Introductory Computer Science and its Implications on Models of Cognition: An in-Class Experimental Study

Tobias Halbherr, Manu Kapur, Hermann Lehner, 2019, CogSci.