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 +46 31 772 10 11 Find me http://orcid.org/0000-0002-5671-2555

Link to personal page.

Publications

Latest publications

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

Publication type: Paper in proceedings
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

Publication type: Book chapter
Using the KeY Prover

Author: Wolfgang Ahrendt; Sarah Grebing

Published: 2016

Published in: Lecture Notes in Computer Science

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

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

Publication type: Paper in proceedings
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

Publication type: Paper in proceedings
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

Publication type: Paper in proceedings
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

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

Author: Gabriele Paganelli; Wolfgang Ahrendt

Published: 2014

Published in:

Publication type: Paper in proceedings
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

Publication type: Paper in proceedings
2012
Real-time java API specifications for high coverage test generation

Author: Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli

Published: 2012

Published in:

Publication type: Paper in proceedings
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

Publication type: Paper in proceedings
2010
A System for Compositional Verification of Asynchronous Objects

Author: Wolfgang Ahrendt; Maximilian Dylla

Published: 2010

Published in: Science of Computer Programming

Publication type: Journal article
Practical Aspects of Automated Deduction for Program Verification

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

Published: 2010

Published in:

Publication type: Journal article
2009
A Verification System for Distributed Objects with Asynchronous Method Calls

Author: Wolfgang Ahrendt; Maximilian Dylla

Published: 2009

Published in: Lecture Notes in Computer Science

Publication type: Paper in proceedings
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created

Author: Wolfgang Ahrendt; F. De Boer; Immo Grabe

Published: 2009

Published in: Lecture Notes in Computer Science

Publication type: Paper in proceedings
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

Author: Wolfgang Ahrendt; Richard Bubel; Reiner Hähnle

Published: 2009

Published in:

Publication type: Paper in proceedings
2007
Using KeY

Author: Wolfgang Ahrendt

Published: 2007

Published in:

Publication type: Book chapter
KeY: A Formal Method for Object-Oriented Systems

Author: Wolfgang Ahrendt; Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt

Published: 2007

Published in:

Publication type: Paper in proceedings
Verifying Object-Oriented Programs with KeY: A Tutorial

Author: Wolfgang Ahrendt; Bernhard Beckert; Reiner Hähnle; Philipp Rümmer; Peter H. Schmitt

Published: 2007

Published in:

Publication type: Paper in proceedings
2005
Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics

Author: Wolfgang Ahrendt; Andreas Roth; Ralf Sasse

Published: 2005

Published in: Lecture Notes in Computer Science

Publication type: Paper in proceedings
The KeY Tool

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

Published: 2005

Published in: Software and Systems Modeling

Publication type: Journal article

Go to Chalmers publication library

Published: Thu 12 Sep 2013. Modified: Mon 02 Jul 2018