Verified Java Bytecode Verification (Verified Java Bytecode Verification)Klein, Gerwin · it - Information Technology · 2005

Integrated Java Bytecode VerificationAndreas Gal; Christian W. Probst; Michael Franz · 2005

Bytecode verification on Java smart cardsXavier Leroy · 2002

Java Bytecode Verification: Algorithms and FormalizationsXavier Leroy · 2003

Checking secure information flow in Java bytecode by code transformation and standard bytecode verificationC. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini · 2004

Improving the official specification of Java bytecode verificationAlessandro Coglio · 2003

Simple verification technique for complex Java bytecode subroutinesAlessandro Coglio · 2004

Verified lightweight bytecode verificationGerwin Klein; Tobias Nipkow · 2001

Equational reasoning in IsabelleTobias Nipkow · 1989

PrefaceStephan Merz; Tobias Nipkow · 2007

Verified bytecode verifiersGerwin Klein; Tobias Nipkow · 2003

Combining matching algorithms: The regular caseTobias Nipkow · 1991

Boolean unification — The story so farUrusula Martin; Tobias Nipkow · 1989

Unification in Boolean ringsUrsula Martin; Tobias Nipkow · 1988

Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010