Wolfgang Ahrendt
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
E-mail confirmado em chalmers.se
Título
Citado por
Citado por
Ano
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
3672005
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
193*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
1672016
Reasoning about abstract state machines: The WAM case study
G Schellhorn, W Ahrendt
Journal of Universal Computer Science 3 (4), 377-413, 1997
921997
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
82*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
702014
A system for compositional verification of asynchronous objects
W Ahrendt, M Dylla
Science of Computer Programming 77 (12), 1289-1309, 2012
552012
Integrating automated and interactive theorem proving
W Ahrendt, B Beckert, R Hähnle, W Menzel, W Reif, G Schellhorn, ...
521998
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
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
372002
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
322005
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification, 297-305, 2015
292015
Hilbert’s∈-Terms in Automated Theorem Proving
M Giese, W Ahrendt
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
291999
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
262006
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
26*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
252015
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
232017
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
222012
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
192007
Deductive search for errors in free data type specifications using model generation
W Ahrendt
International Conference on Automated Deduction, 211-225, 2002
192002
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20