Wolfgang Ahrendt

Biträdande professor vid Formella metoder

.

Källa: chalmers.se
Image of Wolfgang Ahrendt

Visar 56 publikationer

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 of Computing. Vol. 36 (1)
Övrig text i vetenskaplig tidskrift
2024

Automatic Conversion of Smart Contracts for Non-Blocking Verification

Nishant Parekh, Wolfgang Ahrendt, Martin Fabian
IFAC-PapersOnLine. Vol. 58 (1), p. 282-287
Paper i proceeding
2024

AI Assisted Programming: (AISoLA 2023 Track Introduction)

Wolfgang Ahrendt, Klaus Havelund
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 14380 LNCS, p. 351-354
Paper i proceeding
2024

On proving that an unsafe controller is not proven safe

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Journal of Logical and Algebraic Methods in Programming. Vol. 137
Artikel i vetenskaplig tidskrift
2023

Capturing Smart Contract Design with DCR Graphs

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 14323 LNCS, p. 106-125
Paper i proceeding
2023

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

Rosa Abbasi, Jonas Schiffl, Eva Darulova et al
International Journal on Software Tools for Technology Transfer. Vol. 25 (2), p. 185-204
Artikel i vetenskaplig tidskrift
2023

Formal Development of Safe Automated Driving Using Differential Dynamic Logic

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
IEEE Transactions on Intelligent Vehicles. Vol. 8 (1), p. 988-1000
Artikel i vetenskaplig tidskrift
2022

Modeling and Security Verification of State-Based Smart Contracts

Sahar Mohajerani, Wolfgang Ahrendt, Martin Fabian
IFAC-PapersOnLine. Vol. 55 (28), p. 356-362
Paper i proceeding
2022

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

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13478 LNCS, p. 281-297
Paper i proceeding
2022

Selective Presumed Benevolence in Multi-party System Verification

Wolfgang Ahrendt, Gordon Pace
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13701 LNCS, p. 106-123
Paper i proceeding
2022

SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Wolfgang Ahrendt, Paula Herber, Marieke Huisman et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13701 LNCS, p. 3-6
Paper i proceeding
2022

Automatically Learning Formal Models from Autonomous Driving Software

Yuvaraj Selvaraj, Ashfaq Hussain Farooqui, Ghazaleh Panahandeh et al
Electronics (Switzerland). Vol. 11 (4)
Artikel i vetenskaplig tidskrift
2022

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

Wolfgang Ahrendt, Dilian Gurov, Moa Johansson et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13701 LNCS, p. 174-187
Paper i proceeding
2021

Message from the Chairs

Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza
VORTEX 2021 - Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, co-located with ECOOP/ISSTA 2021, p. III-
Övrigt konferensbidrag
2021

Editorial

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
Formal Aspects of Computing. Vol. 33 (6), p. 827-827
Övrig text i vetenskaplig tidskrift
2021

Deductive Verification of Floating-Point Java Programs in KeY

Rosa Abbasi, Jonas Schiffl, Eva Darulova et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12652 LNCS, p. 242-261
Paper i proceeding
2020

Functional Verification of Smart Contracts via Strong Data Integrity

Wolfgang Ahrendt, Richard Bubel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12478 LNCS, p. 9-24
Paper i proceeding
2020

Formal Analysis of Smart Contracts: Applying the KeY System

Jonas Schiffl, Wolfgang Ahrendt, B. Beckert et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12345 LNCS, p. 204-218
Kapitel i bok
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
Övrig text i vetenskaplig tidskrift
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 i proceeding
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11687 LNCS, p. 143-159
Paper i proceeding
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 i proceeding
2019

Preface

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11918 LNCS, p. v-vi
Övrig text i vetenskaplig tidskrift
2019

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

Cesar Sanchez Perez, Gerardo Schneider, Wolfgang Ahrendt et al
Formal Methods in System Design. Vol. 54 (3), p. 279-335
Artikel i vetenskaplig tidskrift
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 i proceeding
2018

Smart Contracts: A Killer Application for Deductive Source Code Verification

Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, p. 1-18
Kapitel i bok
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 i proceeding
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
Artikel i vetenskaplig tidskrift
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). Vol. 10001 LNCS, p. 415-451
Kapitel i bok
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). Vol. 10001 LNCS, p. 193-241
Kapitel i bok
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 i proceeding
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). Vol. 10001 LNCS, p. 495-539
Kapitel i bok
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
Artikel i vetenskaplig tidskrift
2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Bok
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 i proceeding
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 i proceeding
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 i proceeding
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). Vol. 8471 (8471), p. 55-71
Paper i proceeding
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). Vol. 7741 LNCS (7741), p. 207-219
Paper i proceeding
2013

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 i proceeding
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 i proceeding
2012

A System for Compositional Verification of Asynchronous Objects

Wolfgang Ahrendt, Maximilian Dylla
Science of Computer Programming. Vol. 77 (12), p. 1289-1309
Artikel i vetenskaplig tidskrift
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). Vol. 7609 LNCS (PART 1), p. 312-326
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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
Kapitel i bok
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 i proceeding
2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Artikel i vetenskaplig tidskrift
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
Samlingsverk (redaktörskap)
2003

The KeY Tool

Wolfgang Ahrendt
Rapport
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 i proceeding
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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 4 forskningsprojekt

2022–2023

SolidiKey Asset Flow Verification at scale

Wolfgang Ahrendt Formella metoder
Ethereum Foundation

2020–2023

Verifikation av smarta kontrakt

Wolfgang Ahrendt Formella metoder
Vetenskapsrådet (VR)

2013–2016

Ramverk för finkornig resurshantering i heterogena parallella arkitekturer

Per Stenström Datorteknik
Wolfgang Ahrendt Programvaruteknik
Vetenskapsrådet (VR)

2013–2015

Ett enhetligt ramverk för statisk och körtids-verifiering av objekt-orienterad mjukvara

Wolfgang Ahrendt Programvaruteknik
Vetenskapsrådet (VR)

1 publikation finns
Det kan finnas fler projekt där Wolfgang Ahrendt medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.