Andreas Roth
Andreas Roth
SAP SE
Dirección de correo verificada de sap.com
Título
Citado por
Citado por
Año
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
3582005
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
562013
Visualizing reporting data using system models
T Holmes, A Roth, A Charfi, H Witteborg
US Patent App. 13/605,376, 2014
482014
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
422009
RACË Å
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, PR Ļummer, ...
Ciencias 98 (1), 17-53, 2004
352004
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
312005
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
232008
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
172009
Specification and verification of object-oriented software components
A Roth
15*2016
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
Emergence as competitive advantage-engineering tomorrow's enterprise software systems
S Frischbier, M Gesmann, D Mayer, A Roth, C Webel
ICEIS 2012, 2012
132012
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
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
112008
Mining workflow models from web applications
M Schur, A Roth, A Zeller
IEEE Transactions on Software Engineering 41 (12), 1184-1201, 2015
102015
Software application extensibility
MA Aly, A Charfi, A Roth, T Schneider
US Patent 9,021,425, 2015
102015
Procrawl: Mining test models from multi-user web applications
M Schur, A Roth, A Zeller
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
102014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20