The KeY tool: integrating object oriented design and formal verification W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software & Systems Modeling 4, 32-54, 2005 | 416 | 2005 |
Visualizing reporting data using system models T Holmes, A Roth, A Charfi, H Witteborg US Patent App. 13/605,376, 2014 | 92 | 2014 |
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 | 69 | 2013 |
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 | 61 | 2014 |
Applying model checking to generate model-based integration tests from choreography models S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ... International Workshop on Formal Approaches to Software Testing, 179-194, 2009 | 52 | 2009 |
RACË Å B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ... Ciencias 98 (1), 17-53, 2004 | 41 | 2004 |
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 | 35 | 2005 |
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 | 30 | 2015 |
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 | 28 | 2008 |
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 | 25 | 2009 |
Mining workflow models from web applications M Schur, A Roth, A Zeller IEEE Transactions on Software Engineering 41 (12), 1184-1201, 2015 | 22 | 2015 |
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 | 22 | 2010 |
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 | 20 | 2008 |
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 | 17 | 2009 |
Specification and verification of object oriented software components A Roth Zugl.: Karlsruhe, Univ., Diss., 2006, 2006 | 15* | 2006 |
Emergence as competitive advantage-engineering tomorrow's enterprise software systems S Frischbier, M Gesmann, D Mayer, A Roth, C Webel ICEIS 2012, 2012 | 14 | 2012 |
Software application extensibility MA Aly, A Charfi, A Roth, T Schneider US Patent 9,021,425, 2015 | 13 | 2015 |
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 | 13 | 2014 |
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 | 13 | 2010 |
Automated validation of generated test cases following changes to the underlying test model S Wieczorek, A Roth US Patent 8,910,123, 2014 | 10 | 2014 |