Andreas Roth
Andreas Roth
SAP SE
Bestätigte E-Mail-Adresse bei sap.com
Titel
Zitiert von
Zitiert von
Jahr
The key tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4 (1), 32-54, 2005
3612005
Mining behavior models from enterprise web applications
M Schur, A Roth, A Zeller
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
582013
Visualizing reporting data using system models
T Holmes, A Roth, A Charfi, H Witteborg
US Patent App. 13/605,376, 2014
502014
CloudWave: Where adaptive cloud management meets DevOps
D Bruneo, T Fritz, S Keidar-Barner, P Leitner, F Longo, C Marquezan, ...
2014 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2014
422014
Applying model checking to generate model-based integration tests from choreography models
S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ...
Testing of Software and Communication Systems, 179-194, 2009
412009
RACË Å
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, PR Ļummer, ...
Ciencias 98 (1), 17-53, 2004
362004
Automatic validation of transformation rules for Java verification against a rewriting semantics
W Ahrendt, A Roth, R Sasse
International Conference on Logic for Programming Artificial Intelligence …, 2005
322005
Runtime metric meets developer: building better cloud applications using feedback
J Cito, P Leitner, HC Gall, A Dadashi, A Keller, A Roth
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
252015
Precise steps for choreography modeling for SOA validation and verification
S Wieczorek, A Roth, A Stefanescu, A Charfi
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
242008
Patterns for modelling time and consistency in business information systems
JW Bryans, JS Fitzgerald, A Romanovsky, A Roth
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
182010
Viewpoints for modeling choreographies in service-oriented architectures
S Wieczorek, A Roth, A Stefanescu, V Kozyura, A Charfi, FM Kraft, ...
2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009
182009
Specification and Verification of Object-oriented Software Components
A Roth
15*2016
Emergence as competitive advantage-engineering tomorrow's enterprise software systems
S Frischbier, M Gesmann, D Mayer, A Roth, C Webel
ICEIS 2012, 2012
142012
Formal modelling and analysis of business information applications with fault tolerant middleware
J Bryans, J Fitzgerald, A Romanovsky, A Roth
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
142009
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
R Bubel, A Roth, P Rümmer
Electronic Notes in Theoretical Computer Science 199, 107-128, 2008
132008
Mining workflow models from web applications
M Schur, A Roth, A Zeller
IEEE Transactions on Software Engineering 41 (12), 1184-1201, 2015
122015
Model-driven service integration testing-a case study
S Wieczorek, A Stefanescu, A Roth
2010 Seventh International Conference on the Quality of Information and …, 2010
122010
Single to double mill small noise transition via semi-lagrangian finite volume methods
JA Carrillo, A Klar, A Roth
arXiv preprint arXiv:1407.5051, 2014
112014
Software application extensibility
MA Aly, A Charfi, A Roth, T Schneider
US Patent 9,021,425, 2015
102015
Automated validation of generated test cases following changes to the underlying test model
S Wieczorek, A Roth
US Patent 8,910,123, 2014
102014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20