Skip Ribbon Commands

Skip to main content

Start

Wolfgang Ahrendt

Staff

Wolfgang Ahrendt

Professor, Formal Methods division, Department of Computer Science and Engineering.
Director of studies for the graduate school in Computer Science and Engineering.

ahrendt@chalmers.se +46317721011 Find me http://orcid.org/0000-0002-5671-2555

Link to personal page.

Publications

Latest publications

2020
Formal Analysis of Smart Contracts: Applying the KeY System

Author: Jonas Schiffl; Wolfgang Ahrendt; B. Beckert; Richard Bubel

Published: 2020

Published in: Deductive Software Verification: Future Perspectives

Publication type: Book chapter
Functional Verification of Smart Contracts via Strong Data Integrity

Author: Wolfgang Ahrendt; Richard Bubel

Published: 2020

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Preface

Author: Wolfgang Ahrendt; Heike Wehrheim

Published: 2020

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Other text in scientific journal
2019
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier

Author: Wolfgang Ahrendt; Richard Bubel; Joshua Ellul; Gordon Pace; Raul Pardo Jimenez; Vincent Rebiscoul; Gerardo Schneider

Published: 2019

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Who is to blame? – Runtime verification of distributed objects with active monitors

Author: Wolfgang Ahrendt; Ludovic Henrio; Wytse Oortwijn

Published: 2019

Published in: Electronic Proceedings in Theoretical Computer Science, EPTCS

Publication type: Paper in proceeding
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Author: Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian

Published: 2019

Published in: Lecture Notes in Computer Science

Publication type: Paper in proceeding
2018
Testing Meets Static and Runtime Verification

Author: Mauricio Chimento; Wolfgang Ahrendt; Gerardo Schneider

Published: 2018

Published in: Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018

Publication type: Paper in proceeding
A broader view on verification: From static to runtime and back (track summary)

Author: Wolfgang Ahrendt; Marieke Huisman; G. Reger; Kristin Yvonne Rozier

Published: 2018

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2017
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Author: Wolfgang Ahrendt; Mauricio Chimento; Gordon J. Pace; Gerardo Schneider

Published: 2017

Published in: Formal Methods in System Design

Publication type: Journal article
2016
Deductive Software Verification - The KeY Book

Author: Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich

Published: 2016

Published in:

Publication type: Book
StaRVOOrS - Episode II: Strengthen and distribute the force

Author: Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider

Published: 2016

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Formal Specification with the Java Modeling Language

Author: Marieke Huisman; Wolfgang Ahrendt; Daniel Grahl; Martin Hentschel

Published: 2016

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Book chapter
Using the KeY Prover

Author: Wolfgang Ahrendt; Sarah Grebing

Published: 2016

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Book chapter
Proof-based Test Case Generation

Author: Wolfgang Ahrendt; Christoph Gladisch; Mihai Herda

Published: 2016

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Book chapter
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

Author: S. De Gouw; F. De Boer; Wolfgang Ahrendt; Richard Bubel

Published: 2016

Published in: Software and Systems Modeling

Publication type: Journal article
2015
Reasoning About Loops Using Vampire in KeY

Author: Wolfgang Ahrendt; Laura Kovacs; Simon Robillard

Published: 2015

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
STARVOORS: A Tool for Combined Static and Runtime Verification of Java

Author: Mauricio Chimento; Wolfgang Ahrendt; Gordon Pace; Gerardo Schneider

Published: 2015

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Specification language for static and runtime verification of data and control properties

Author: Wolfgang Ahrendt; Mauricio Chimento; Gordon J. Pace; Gerardo Schneider

Published: 2015

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2014
The KeY platform for verification and analysis of java programs

Author: Wolfgang Ahrendt; B. Beckert; D. Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel; Mihai Herda; V. Klebanov; Wojciech Mostowski; C. Scheben; P.H. Schmitt; M. Ulbrich

Published: 2014

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers

Author: Gabriele Paganelli; Wolfgang Ahrendt

Published: 2014

Published in: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013; Timisoara; Romania; 23 September 2013 through 26 September 2013

Publication type: Paper in proceeding
2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

Author: S. De Gouw; F. De Boer; Wolfgang Ahrendt; Richard Bubel

Published: 2013

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2012
A System for Compositional Verification of Asynchronous Objects

Author: Wolfgang Ahrendt; Maximilian Dylla

Published: 2012

Published in: Science of Computer Programming

Publication type: Journal article
Real-time java API specifications for high coverage test generation

Author: Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli

Published: 2012

Published in: 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012

Publication type: Paper in proceeding
A Unified Approach for Static and Runtime Verification: Framework and Applications

Author: Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider

Published: 2012

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2010
Practical Aspects of Automated Deduction for Program Verification

Author: Wolfgang Ahrendt; Bernhard Beckert; Martin Giese; Philipp Rümmer

Published: 2010

Published in: KI - K√ºnstliche Intelligenz

Publication type: Journal article

Go to Chalmers publication library

Page manager Published: Mon 02 Jul 2018.