We stand with Ukraine  

Hermann Lehner

According to our database1, Hermann Lehner authored at least 4 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Resource-Rich versus Resource-Poor Assessment in Introductory Computer Science and its Implications on Models of Cognition: An in-Class Experimental Study.
[BibTeX]
[DOI]
Tobias Halbherr
,
Hermann Lehner
,
Manu Kapur
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2011
A formal definition of JML in Coq and its application to runtime assertion checking.
[BibTeX]
[DOI]
Hermann Lehner
PhD thesis, 2011

2010
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.
[BibTeX]
[DOI]
Hermann Lehner
,
Peter Müller
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2007
Formal Translation of Bytecode into BoogiePL.
[BibTeX]
[DOI]
Hermann Lehner
,
Peter Müller
Proceedings of the Second Workshop on Bytecode Semantics, 2007


  Loading...