Wolfgang Ahrendt

According to our database, Wolfgang Ahrendt authored at least 57 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021.

Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim

Formal Aspects Comput., March, 2024

On proving that an unsafe controller is not proven safe.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

J. Log. Algebraic Methods Program., February, 2024

2023

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Int. J. Softw. Tools Technol. Transf., April, 2023

Formal Development of Safe Automated Driving Using Differential Dynamic Logic.

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

IEEE Trans. Intell. Veh., January, 2023

CLawK: Monitoring Business Processes in Smart Contracts.

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

CoRR, 2023

AI Assisted Programming - (AISoLA 2023 Track Introduction).

Wolfgang Ahrendt, Klaus Havelund

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Capturing Smart Contract Design with DCR Graphs.

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

CoRR, 2022

Selective Presumed Benevolence in Multi-party System Verification.

Wolfgang Ahrendt, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

TriCo - Triple Co-piloting of Implementation, Specification and Tests.

Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Editorial.

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim

Formal Aspects Comput., 2021

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Formal Analysis of Smart Contracts: Applying the KeY System.

Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Functional Verification of Smart Contracts via Strong Data Integrity.

Wolfgang Ahrendt, Richard Bubel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Formal Methods Syst. Des., 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

CoRR, 2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary).

Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Testing meets static and runtime verification.

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Smart Contracts: A Killer Application for Deductive Source Code Verification.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Principled Software Development, 2018

2017

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider

Formal Methods Syst. Des., 2017

2016

Formal Specification with the Java Modeling Language.

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Proof-based Test Case Generation.

Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Using the KeY Prover.

Wolfgang Ahrendt, Sarah Grebing

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Softw. Syst. Model., 2016

StaRVOOrS - Episode II - Strengthen and Distribute the Force.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Runtime Verification - 6th International Conference, 2015

Reasoning About Loops Using Vampire in KeY.

Wolfgang Ahrendt, Laura Kovács, Simon Robillard

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

A Specification Language for Static and Runtime Verification of Data and Control Properties.

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider

Proceedings of the FM 2015: Formal Methods, 2015

2014

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving.

Gabriele Paganelli, Wolfgang Ahrendt

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012

A system for compositional verification of asynchronous objects.

Wolfgang Ahrendt, Maximilian Dylla

Sci. Comput. Program., 2012

Real-time Java API specifications for high coverage test generation.

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

A Unified Approach for Static and Runtime Verification: Framework and Applications.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

Practical Aspects of Automated Deduction for Program Verification.

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer

Künstliche Intell., 2010

2009

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

A Verification System for Distributed Objects with Asynchronous Method Calls.

Wolfgang Ahrendt, Maximilian Dylla

Proceedings of the Formal Methods and Software Engineering, 2009

Abstract Object Creation in Dynamic Logic.

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Proceedings of the FM 2009: Formal Methods, 2009

2007

Using KeY.

Wolfgang Ahrendt

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

KeY: A Formal Method for Object-Oriented Systems.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Verifying Object-Oriented Programs with KeY: A Tutorial.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

Proceedings of the Logic for Programming, 2005

2004

Preface.

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2002

The KeY System: Integrating Object-Oriented Design and Formal Methods.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Deductive Search for Errors in Free Data Type Specifications Using Model Generation.

Wolfgang Ahrendt

Proceedings of the Automated Deduction, 2002

2001

Deduktive Fehlersuche in abstrakten Datentypen.

Wolfgang Ahrendt

PhD thesis, 2001

2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.

Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert

J. Univers. Comput. Sci., 1999

Hilbert's epsilon-Terms in Automated Theorem Proving.

Martin Giese, Wolfgang Ahrendt

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1997

Reasoning about Abstract State Machines: The WAM Case Study.

Gerhard Schellhorn, Wolfgang Ahrendt

J. Univers. Comput. Sci., 1997