- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Sebastian Frischbier, Michael Gesmann, Dirk Mayer, Andreas Roth, Christian Webel: Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems. ICEIS (3) 2012: 181-186 |
| 2010 | ||
| j4 |  | Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei: Checking Consistency Between Message Choreographies And Their Implementation Models. ECEASST 35 (2010) |
| j3 | | Ying Pan, Andreas Roth, Zhenrong Yu, Reiner Doluschitz: The impact of variation in scale on the behavior of a cellular automata used for land use change modeling. Computers, Environment and Urban Systems 34(5): 400-408 (2010) |
| c11 | | Jan Schaefer, Markus Schmid, Andreas Textor, Marcus Thoss, Reinhold Kröger, Andreas Roth: Performance-aware design and optimization of enterprise applications. CNSM 2010: 306-309 |
| c10 | | Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114 |
| c9 | | Sebastian Wieczorek, Alin Stefanescu, Andreas Roth: Model-Driven Service Integration Testing - A Case Study. QUATIC 2010: 292-297 |
| 2009 | ||
| c8 | | Jeremy Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77 |
| c7 | | 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 |
| c6 | | 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 | ||
| j2 | | 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) |
| c5 | | Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi: Precise Steps for Choreography Modeling for SOA Validation and Verification. SOSE 2008: 148-153 |
| 2006 | ||
| b1 | | Andreas Roth: Specification and verification of object oriented software components. Karlsruhe Institute of Technology 2006, isbn 3-86644-042-1, pp. 1-248 |
| c4 | | Andreas Roth, Stefan Scheidl: End-User Development for Enterprise Resource Planning Systems. GI Jahrestagung (1) 2006: 596-599 |
| 2005 | ||
| j1 | | 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) |
| c3 | | Andreas Roth: Specification and Verification of Encapsulation in Java Programs. FMOODS 2005: 195-210 |
| c2 | | Wolfgang Ahrendt, Andreas Roth, Ralf Sasse: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR 2005: 412-426 |
| 2001 | ||
| c1 | | Martin Wawro, Andreas Roth: In vivo quantification and densitometry of the MCP joint tissue on patients with rheumatoid arthritis. CARS 2001: 1168-1169 |
Colors in the list of coauthors
Last update Tue May 21 17:18:17 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page