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 Download my CV http://orcid.org/0000-0002-5671-2555

Link to personal page.

Publications

Latest publications

2022
Selective Presumed Benevolence in Multi-party System Verification

Author: Wolfgang Ahrendt; Gordon Pace

Published: 2022

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

Publication type: Paper in proceeding
SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Author: Wolfgang Ahrendt; Paula Herber; Marieke Huisman; M. Ulbrich

Published: 2022

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

Publication type: Paper in proceeding
TriCo—Triple Co-piloting of Implementation, Specification and Tests

Author: Wolfgang Ahrendt; Dilian Gurov; Moa Johansson; Philipp Rümmer

Published: 2022

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

Publication type: Paper in proceeding
Modeling and Security Verification of State-Based Smart Contracts

Author: Sahar Mohajerani; Wolfgang Ahrendt; Martin Fabian

Published: 2022

Published in: IFAC-PapersOnLine

Publication type: Paper in proceeding
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic

Author: Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian

Published: 2022

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 Development of Safe Automated Driving Using Differential Dynamic Logic

Author: Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian

Published: 2022

Published in: IEEE Transactions on Intelligent Vehicles

Publication type: Journal article
Automatically Learning Formal Models from Autonomous Driving Software

Author: Yuvaraj Selvaraj; Ashfaq Hussain Farooqui; Ghazaleh Panahandeh; Wolfgang Ahrendt; Martin Fabian

Published: 2022

Published in: Electronics (Switzerland)

Publication type: Journal article
2021
Deductive Verification of Floating-Point Java Programs in KeY

Author: Rosa Abbasi; Jonas Schiffl; Eva Darulova; M. Ulbrich; Wolfgang Ahrendt

Published: 2021

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

Publication type: Paper in proceeding
Editorial

Author: Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa; Heike Wehrheim

Published: 2021

Published in: Formal Aspects of Computing

Publication type: Other text in scientific journal
Message from the Chairs

Author: Wolfgang Ahrendt; Davide Ancona; Adrian Francalanza

Published: 2021

Published in: VORTEX 2021 - Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, co-located with ECOOP/ISSTA 2021

Publication type: Other conference contribution
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
Preface

Author: Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa

Published: 2019

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
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
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

Go to Chalmers publication library

Page manager Published: Mon 02 Jul 2018.