| 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 | 398 | 2005 |
| Deductive Software Verification–The KeY Book W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Lecture Notes in Computer Science 10001, 2016 | 341* | 2016 |
| Deductive Software Verification–The KeY Book W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Lecture Notes in Computer Science 10001, 2016 | 314 | 2016 |
| Reasoning about Abstract State Machines: The WAM Case Study. G Schellhorn, W Ahrendt J. Univers. Comput. Sci. 3 (4), 377-413, 1997 | 91 | 1997 |
| The KeY Approach: Integrating Object Oriented Design and Formal Verification W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Logics in Artificial Intelligence, 21-36, 2000 | 88* | 2000 |
| The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 87 | 2014 |
| A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019 | 70 | 2019 |
| A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019 | 70 | 2019 |
| A system for compositional verification of asynchronous objects W Ahrendt, M Dylla Science of Computer Programming 77 (12), 1289-1309, 2012 | 60 | 2012 |
| The WAM case study: Verifying compiler correctness for Prolog with KIV G Schellhorn, W Ahrendt Automated Deduction—A Basis for Applications: Volume III Applications, 165-194, 1998 | 55 | 1998 |
| Integrating automated and interactive theorem proving W Ahrendt, B Beckert, R Hähnle, W Menzel, W Reif, G Schellhorn, ... Automated Deduction-A Basis for Applications, 97-116, 1998 | 53 | 1998 |
| The KeY system: Integrating object-oriented design and formal methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Fundamental Approaches to Software Engineering: 5th International Conference …, 2002 | 40 | 2002 |
| StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java JM Chimento, W Ahrendt, GJ Pace, G Schneider Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 39 | 2015 |
| Verifying data-and control-oriented properties combining static and runtime verification: theory and tools W Ahrendt, JM Chimento, GJ Pace, G Schneider Formal Methods in System Design 51, 200-265, 2017 | 38 | 2017 |
| Verification of smart contract business logic: exploiting a Java source code verifier W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 35 | 2019 |
| A specification language for static and runtime verification of data and control properties W Ahrendt, JM Chimento, GJ Pace, G Schneider FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 35 | 2015 |
| Automatic validation of transformation rules for Java verification against a rewriting semantics W Ahrendt, A Roth, R Sasse Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 34 | 2005 |
| A unified approach for static and runtime verification: framework and applications W Ahrendt, GJ Pace, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 33 | 2012 |
| Hilbert’s ϵ-terms in automated theorem proving M Giese, W Ahrendt Automated Reasoning with Analytic Tableaux and Related Methods, Intl. Conf …, 1999 | 28 | 1999 |
| Verifying object-oriented programs with KeY: A tutorial W Ahrendt, B Beckert, R Hähnle, P Rümmer, PH Schmitt Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007 | 26 | 2007 |
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
