 | 2009 |
|---|
| 10 |       | Jeremy Bryans,
John Fitzgerald,
Alexander Romanovsky,
Andreas Roth:
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.
ICECCS 2009: 68-77 |
| 9 | | Sebastian Wieczorek,
Vitaly Kozyura,
Andreas Roth,
Michael Leuschel,
Jens Bendisposto,
Daniel Plagge,
Ina Schieferdecker:
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
TestCom/FATES 2009: 179-194 |
| 8 | | Sebastian Wieczorek,
Andreas Roth,
Alin Stefanescu,
Vitaly Kozyura,
Anis Charfi,
Frank Michael Kraft,
Ina Schieferdecker:
Viewpoints for modeling choreographies in service-oriented architectures.
WICSA/ECSA 2009: 11-20 |
| 2008 |
|---|
| 7 | | Sebastian Wieczorek,
Andreas Roth,
Alin Stefanescu,
Anis Charfi:
Precise Steps for Choreography Modeling for SOA Validation and Verification.
SOSE 2008: 148-153 |
| 6 | | 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 | | Andreas Roth:
Specification and Verification of Encapsulation in Java Programs.
FMOODS 2005: 195-210 |
| 3 | | Wolfgang Ahrendt,
Andreas Roth,
Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
LPAR 2005: 412-426 |
| 2 | | 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 |
