Wolfgang Ahrendt

Professor at Formal methods

Link to personal page.

Source: chalmers.se

Contact Details ORCID

Publications (35)
Projects (2)

Showing 35 publications

2020

Preface

Wolfgang Ahrendt, Heike Wehrheim

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12165 LNCS, p. v-vi

Introductory text in journal

2019

Who is to blame? – Runtime verification of distributed objects with active monitors

Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 302, p. 32-46

Paper in proceedings

2019

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

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11761 LNCS, p. 228-243

Paper in proceedings

2019

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

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

Lecture Notes in Computer Science. Vol. 11687, p. 143-159

Paper in proceedings

Show project

2018

A broader view on verification: From static to runtime and back (track summary)

Wolfgang Ahrendt, Marieke Huisman, G. Reger et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11245 LNCS, p. 3-7

Paper in proceedings

2018

Testing Meets Static and Runtime Verification

Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider

Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, p. 30-39

Paper in proceedings

2017

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

Wolfgang Ahrendt, Mauricio Chimento, Gordon J. Pace et al

Formal Methods in System Design. Vol. 51 (1), p. 200-265

Journal article

2016

Formal Specification with the Java Modeling Language

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 193-241

Book chapter

2016

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

S. De Gouw, F. De Boer, Wolfgang Ahrendt et al

Software and Systems Modeling. Vol. 15 (4), p. 1117-1140

Journal article

2016

StaRVOOrS - Episode II: Strengthen and distribute the force

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9952, p. 402-415

Paper in proceedings

2016

Proof-based Test Case Generation

Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 415-451

Book chapter

2016

Using the KeY Prover

Wolfgang Ahrendt, Sarah Grebing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 495-539

Book chapter

2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al

Book

2015

Reasoning About Loops Using Vampire in KeY

Wolfgang Ahrendt, Laura Kovacs, Simon Robillard

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 434-443

Paper in proceedings

2015

Specification language for static and runtime verification of data and control properties

Wolfgang Ahrendt, Mauricio Chimento, Gordon J. Pace et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9109, p. 108-125

Paper in proceedings

2015

STARVOORS: A Tool for Combined Static and Runtime Verification of Java

Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9333, p. 297-305

Paper in proceedings

2014

The KeY platform for verification and analysis of java programs

Wolfgang Ahrendt, B. Beckert, D. Bruns et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (8471), p. 55-71

Paper in proceedings

2014

Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers

Gabriele Paganelli, Wolfgang Ahrendt

15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013; Timisoara; Romania; 23 September 2013 through 26 September 2013, p. 209-216

Paper in proceedings

2013

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

S. De Gouw, F. De Boer, Wolfgang Ahrendt et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (7741), p. 207-219

Paper in proceedings

2012

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

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (PART 1), p. 312-326

Paper in proceedings

2012

A System for Compositional Verification of Asynchronous Objects

Wolfgang Ahrendt, Maximilian Dylla

Science of Computer Programming (12), p. 1289-1309

Journal article

2012

Real-time java API specifications for high coverage test generation

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli

10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012, p. 145-154

Paper in proceedings

2010

Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese et al

KI - K√ºnstliche Intelligenz. Vol. 24 (1), p. 43-49

Journal article

2009

Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created

Wolfgang Ahrendt, F. De Boer, Immo Grabe

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5850, p. 612 - 627

Paper in proceedings

2009

A Verification System for Distributed Objects with Asynchronous Method Calls

Wolfgang Ahrendt, Maximilian Dylla

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5885, p. 387-406

Paper in proceedings

2009

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

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle

Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. Vol. 5846, p. 125-143

Paper in proceedings

2007

Using KeY

Wolfgang Ahrendt

Verification of Object-Oriented Software. The KeY Approach., eds. B. Beckert, R. Hähnle, P.-H. Schmitt, LNCS 4334, p. 410-451

Book chapter

2007

KeY: A Formal Method for Object-Oriented Systems

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle et al

Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen. Vol. 4468, p. 32-43

Paper in proceedings

2007

Verifying Object-Oriented Programs with KeY: A Tutorial

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle et al

Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever. Vol. LNCS 4709

Paper in proceedings

2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al

Software and Systems Modeling. Vol. 4 (1), p. 32-54

Journal article

2005

Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. LNCS 3835, p. 412 - 426

Paper in proceedings

2005

Selected Papers from the Workshop on Disproving and the Second International Workshop on Pragmatics of Decision Procedures 2004

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle et al

Electronic Notes in Theoretical Computer Science

Edited book

2003

The KeY Tool

Wolfgang Ahrendt

Report

2002

Deductive Search for Errors in Free Data Type Specifications using Model Generation

Wolfgang Ahrendt

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2392, p. 211-225

Paper in proceedings

2002

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

Wolfgang Ahrendt, T. Baar, B. Beckert et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 327-330

Paper in proceedings

Download publicaton list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

Showing 2 research projects

2013–2016

A Framework for Fine-Grain Resource Management in Heterogeneous Parallel Architectures

Per Stenström Computer Engineering (Chalmers)

Wolfgang Ahrendt Software Technology (Chalmers)