Wolfgang Ahrendt
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Dirección de correo verificada de chalmers.se
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
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
163*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
1422016
Reasoning about abstract state machines: The WAM case study
G Schellhorn, W Ahrendt
Journal of Universal Computer Science 3 (4), 377-413, 1997
901997
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
83*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, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
672014
A system for compositional verification of asynchronous objects
W Ahrendt, M Dylla
Science of Computer Programming 77 (12), 1289-1309, 2012
522012
The WAM case study: Verifying compiler correctness for Prolog with KIV
G Schellhorn, W Ahrendt
Automated Deduction—A Basis for Applications, 165-194, 1998
501998
Integrating automated and interactive theorem proving
W Ahrendt, B Beckert, R Hähnle, W Menzel, W Reif, G Schellhorn, ...
501998
The KeY system: Integrating object-oriented design and formal methods
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
International Conference on Fundamental Approaches to Software Engineering …, 2002
362002
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
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification, 297-305, 2015
282015
Hilbert’s∈-Terms in Automated Theorem Proving
M Giese, W Ahrendt
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
281999
Verifying object-oriented programs with KeY: A tutorial
W Ahrendt, B Beckert, R Hähnle, P Rümmer, PH Schmitt
International Symposium on Formal Methods for Components and Objects, 70-101, 2006
252006
Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial
W Ahrendt, B Beckert, R Hahnle, P Rummer, PH Schmitt
Lecture Notes in Computer Science 4709, 70, 2006
25*2006
A specification language for static and runtime verification of data and control properties
W Ahrendt, JM Chimento, GJ Pace, G Schneider
International Symposium on Formal Methods, 108-125, 2015
242015
A unified approach for static and runtime verification: framework and applications
W Ahrendt, GJ Pace, G Schneider
International Symposium On Leveraging Applications of Formal Methods …, 2012
202012
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 (1), 200-265, 2017
192017
Deductive search for errors in free data type specifications using model generation
W Ahrendt
International Conference on Automated Deduction, 211-225, 2002
192002
KeY: a formal method for object-oriented systems
W Ahrendt, B Beckert, R Hähnle, PH Schmitt
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
182007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20