Memory Requirements of Java Bytecode Verification on Limited Devices. - Karsten Klohs; Uwe Kastens (COCV@ETAPS, 2004)

Validation of data flow results for program modules. - Karsten Klohs (2009)