Precise Steps for Choreography Modeling for SOA Validation and Verification. - Sebastian Wieczorek; Andreas Roth 001; Alin Stefanescu; Anis Charfi (SOSE, 2008)

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2009)

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. - Sebastian Wieczorek; Vitaly Kozyura; Andreas Roth 001; Michael Leuschel; Jens Bendisposto; Daniel Plagge; Ina Schieferdecker (TestCom/FATES, 2009)

Viewpoints for modeling choreographies in service-oriented architectures. - Sebastian Wieczorek; Andreas Roth 001; Alin Stefanescu; Vitaly Kozyura; Anis Charfi; Frank Michael Kraft; Ina Schieferdecker (WICSA/ECSA, 2009)

Patterns for Modelling Time and Consistency in Business Information Systems. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2010)

Model-Driven Service Integration Testing - A Case Study. - Sebastian Wieczorek; Alin Stefanescu; Andreas Roth 001 (QUATIC, 2010)

Checking Consistency Between Message Choreographies And Their Implementation Models. - Vitaly Kozyura; Andreas Roth 001; Sebastian Wieczorek; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems. - Sebastian Frischbier; Michael Gesmann; Dirk Mayer; Andreas Roth 001; Christian Webel (ICEIS (3), 2012)

Business Information Sector. - Sebastian Wieczorek; Vitaly Kozyura; Wei Wei 015; Andreas Roth 001; Alin Stefanescu (Industrial Deployment of System Engineering Methods, 2013)

Mining behavior models from enterprise web applications. - Matthias Schur; Andreas Roth 001; Andreas Zeller (ESEC/SIGSOFT FSE, 2013)

CloudWave: Where adaptive cloud management meets DevOps. - Dario Bruneo; Thomas Fritz 001; Sharon Keidar-Barner; Philipp Leitner 001; Francesco Longo 001; Clarissa Cassales Marquezan; Andreas Metzger; Klaus Pohl; Antonio Puliafito; Danny Raz; Andreas Roth 001; Eliot E. Salant; et al. (ISCC, 2014)

ProCrawl: mining test models from multi-user web applications. - Matthias Schur; Andreas Roth 001; Andreas Zeller (ISSTA, 2014)

Towards Cloud-Based Software Process Modelling and Enactment. - Sami Alajrami; Alexander B. Romanovsky; Paul Watson 001; Andreas Roth 001 (CloudMDE@MoDELS, 2014)

Runtime metric meets developer - Building better cloud applications using feedback. - Jürgen Cito; Philipp Leitner 001; Harald C. Gall; Aryan Dadashi; Anne Keller; Andreas Roth 001 (PeerJ Prepr., 2015)

Mining Workflow Models from Web Applications. - Matthias Schur; Andreas Roth 001; Andreas Zeller (IEEE Trans. Software Eng., 2015)