Andreas Roth

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Andreas Roth
Innovation mit System. Wirtschaftsinformatik Manag. 1 (2) (2009)
Richard Bubel, Andreas Roth, Philipp Rümmer
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. Electron. Notes Theor. Comput. Sci. 199 (2008)
Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR (2005)
Andreas Roth
Specification and Verification of Encapsulation in Java Programs. FMOODS (2005)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
The KeY tool. Softw. Syst. Model. 4 (1) (2005)