Follow
Wolfgang Ahrendt
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Verified email at chalmers.se
Title
Cited by
Cited by
Year
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
3942005
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
327*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
3022016
Reasoning about Abstract State Machines: The WAM Case Study.
G Schellhorn, W Ahrendt
J. Univers. Comput. Sci. 3 (4), 377-413, 1997
911997
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
832014
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
642019
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
642019
A system for compositional verification of asynchronous objects
W Ahrendt, M Dylla
Science of Computer Programming 77 (12), 1289-1309, 2012
602012
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
541998
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
531998
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
402002
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
392015
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
372017
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
342005
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
332015
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
302012
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
292019
Hilbert’s ϵ-terms in automated theorem proving
M Giese, W Ahrendt
Automated Reasoning with Analytic Tableaux and Related Methods, Intl. Conf …, 1999
281999
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
262007
The system can't perform the operation now. Try again later.
Articles 1–20