Search the dblp DataBase

Publications of Author

1. Martin Wawro, Andreas Roth
   In vivo quantification and densitometry of the MCP joint tissue on patients with rheumatoid arthritis. [Citation Graph (0, 0)][DBLP]
   CARS, 2001, pp:1168-1169 [Conf]
   
2. Andreas Roth
   Specification and Verification of Encapsulation in Java Programs. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2005, pp:195-210 [Conf]
   
3. Andreas Roth, Stefan Scheidl
   End-User Development for Enterprise Resource Planning Systems. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2006, pp:596-599 [Conf]
   
4. Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
   Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:412-426 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
   
6. 
   Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. [Citation Graph (, )][DBLP]
   
   
7. 
   Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]
   
   
8. 
   Viewpoints for modeling choreographies in service-oriented architectures. [Citation Graph (, )][DBLP]
   
   
9. 
   Precise Steps for Choreography Modeling for SOA Validation and Verification. [Citation Graph (, )][DBLP]
   
   
10. 
    Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP]