Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. - Richard Bubel; Andreas Roth 002; Philipp Rümmer (LFM@IJCAR, 2004)

Specification and Verification of Encapsulation in Java Programs. - Andreas Roth 002 (FMOODS, 2005)

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. - Wolfgang Ahrendt; Andreas Roth 002; Ralf Sasse (LPAR, 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

Specification and verification of object oriented software components. - Andreas Roth 002 (2006)

Proof Obligations. - Andreas Roth 002 (The KeY Approach, 2007)

Formal Specification. - Andreas Roth 002; Peter H. Schmitt (The KeY Approach, 2007)

Innovation mit System. - Andreas Roth 002 (Wirtschaftsinformatik Manag., 2009)