Get started
Author

Wolfgang Ahrendt

Observed names: Ahrendt, Wolfgang, W. Ahrendt
ORCID: 0000-0002-5671-2555
Observed ORCID: 0000-0002-5671-2555
OpenAlex ID: A5088569630
Deductive Software Verification – The KeY Book
2016 · Ulbrich, Mattias, Schmitt, Peter H, et al. · Lecture notes in computer science · 350
The KeY tool: Integrating object oriented design and formal verification
2004 · Wolfgang Ahrendt, Thomas Baar, et al. · Software & Systems Modeling · 271
A survey of challenges for runtime verification from advanced application domains (beyond software)
2019 · César Sánchez, Gerardo Schneider, et al. · Formal Methods in System Design · 127
PDF
The KeY Platform for Verification and Analysis of Java Programs
2014 · Wolfgang Ahrendt, Bernhard Beckert, et al. · Lecture notes in computer science · 69
Reasoning about Abstract State Machines: The WAM Case Study
1997 · Gerhard Schellhorn, Wolfgang Ahrendt · 67
The Approach: Integrating Object Oriented Design and Formal Verification
2000 · Wolfgang Ahrendt, Thomas Baar, et al. · Lecture notes in computer science · 62
A system for compositional verification of asynchronous objects
2010 · Wolfgang Ahrendt, Maximilian Dylla · Science of Computer Programming · 41
PDF
Functional Verification of Smart Contracts via Strong Data Integrity
2020 · Wolfgang Ahrendt, Richard Bubel · Lecture notes in computer science · 37
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
2017 · Wolfgang Ahrendt, Jesús Mauricio Chimento, et al. · Formal Methods in System Design · 35
PDF
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
1998 · Gerhard Schellhorn, Wolfgang Ahrendt · Applied logic series · 35
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
2019 · Wolfgang Ahrendt, Richard Bubel, et al. · Lecture notes in computer science · 33
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
2015 · Jesús Mauricio Chimento, Wolfgang Ahrendt, et al. · Lecture notes in computer science · 33
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
2005 · Wolfgang Ahrendt, Andreas Roth, et al. · Lecture notes in computer science · 29
The Key System: Integrating Object-Oriented Design and Formal Methods
2002 · Wolfgang Ahrendt, Thomas Baar, et al. · Lecture notes in computer science · 29
PDF
A Specification Language for Static and Runtime Verification of Data and Control Properties
2015 · Wolfgang Ahrendt, Jesús Mauricio Chimento, et al. · Lecture notes in computer science · 24
A Unified Approach for Static and Runtime Verification: Framework and Applications
2012 · Wolfgang Ahrendt, Gordon J. Pace, et al. · Lecture notes in computer science · 20
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
2019 · Yuvaraj Selvaraj, Wolfgang Ahrendt, et al. · Lecture notes in computer science · 19
Hilbert’s ∈-Terms in Automated Theorem Proving
1999 · Martin Giese, Wolfgang Ahrendt · Lecture notes in computer science · 19
Smart Contracts: A Killer Application for Deductive Source Code Verification
2018 · Wolfgang Ahrendt, Gordon J. Pace, et al. · Springer eBooks · 18
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
2024 · Mojtaba Eshghie, Cyrille Artho, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 17
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
2022 · Yuvaraj Selvaraj, Wolfgang Ahrendt, et al. · IEEE Transactions on Intelligent Vehicles · 16
PDF
Capturing Smart Contract Design with DCR Graphs
2023 · Mojtaba Eshghie, Wolfgang Ahrendt, et al. · Lecture notes in computer science · 15
PDF
TriCo—Triple Co-piloting of Implementation, Specification and Tests
2022 · Wolfgang Ahrendt, Dilian Gurov, et al. · Lecture notes in computer science · 15
Proof-based Test Case Generation
2016 · Wolfgang Ahrendt, Christoph Gladisch, et al. · Lecture notes in computer science · 15
Verifying Object-Oriented Programs with KeY: A Tutorial
2007 · Wolfgang Ahrendt, Bernhard Beckert, et al. · Lecture notes in computer science · 15
Works count: 131
Citation count: 1,681
H-index: 18
I10-index: 35
Year
Topic
Type