| 2008 |
|---|
| 6 | EE | Richard Bubel,
Andreas Roth,
Philipp Rümmer:
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
Electr. Notes Theor. Comput. Sci. 199: 107-128 (2008) |
| 2006 |
|---|
| 5 | | Andreas Roth,
Stefan Scheidl:
End-User Development for Enterprise Resource Planning Systems.
GI Jahrestagung (1) 2006: 596-599 |
| 2005 |
|---|
| 4 | EE | Andreas Roth:
Specification and Verification of Encapsulation in Java Programs.
FMOODS 2005: 195-210 |
| 3 | EE | Wolfgang Ahrendt,
Andreas Roth,
Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
LPAR 2005: 412-426 |
| 2 | EE | 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.
Software and System Modeling 4(1): 32-54 (2005) |
| 2001 |
|---|
| 1 | | Martin Wawro,
Andreas Roth:
In vivo quantification and densitometry of the MCP joint tissue on patients with rheumatoid arthritis.
CARS 2001: 1168-1169 |
