Hoppa över menyflikskommandon

Hoppa till huvudinnehåll

Start

Wolfgang Ahrendt

Personal

Wolfgang Ahrendt

Biträdande professor, avdelningen för formella metoder, Institutionen för data- och informationsteknik.
Studierektor för forskarskolan i Computer Science and Engineering.

ahrendt@chalmers.se +46317721011 Hitta till mig http://orcid.org/0000-0002-5671-2555

Länk till hemsida.

Publikationer

Senaste publikationer

2020
Preface

Författare: Wolfgang Ahrendt; Heike Wehrheim

Publiceringsår: 2020

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

Publikationstyp: Inledande text i tidskrift
2019
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier

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

Publiceringsår: 2019

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

Publikationstyp: Paper i proceeding
Who is to blame? – Runtime verification of distributed objects with active monitors

Författare: Wolfgang Ahrendt; Ludovic Henrio; Wytse Oortwijn

Publiceringsår: 2019

Publicerat i: Electronic Proceedings in Theoretical Computer Science, EPTCS

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

Författare: Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian

Publiceringsår: 2019

Publicerat i: Lecture Notes in Computer Science

Publikationstyp: Paper i proceeding
2018
Testing Meets Static and Runtime Verification

Författare: Mauricio Chimento; Wolfgang Ahrendt; Gerardo Schneider

Publiceringsår: 2018

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

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

Författare: Wolfgang Ahrendt; Marieke Huisman; G. Reger; Kristin Yvonne Rozier

Publiceringsår: 2018

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

Publikationstyp: Paper i proceeding
2017
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Författare: Wolfgang Ahrendt; Mauricio Chimento; Gordon J. Pace; Gerardo Schneider

Publiceringsår: 2017

Publicerat i: Formal Methods in System Design

Publikationstyp: Artikel i vetenskaplig tidskrift
2016
Deductive Software Verification - The KeY Book

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

Publiceringsår: 2016

Publicerat i:

Publikationstyp: Bok
StaRVOOrS - Episode II: Strengthen and distribute the force

Författare: Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider

Publiceringsår: 2016

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

Publikationstyp: Paper i proceeding
Formal Specification with the Java Modeling Language

Författare: Marieke Huisman; Wolfgang Ahrendt; Daniel Grahl; Martin Hentschel

Publiceringsår: 2016

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

Publikationstyp: Kapitel i bok
Using the KeY Prover

Författare: Wolfgang Ahrendt; Sarah Grebing

Publiceringsår: 2016

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

Publikationstyp: Kapitel i bok
Proof-based Test Case Generation

Författare: Wolfgang Ahrendt; Christoph Gladisch; Mihai Herda

Publiceringsår: 2016

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

Publikationstyp: Kapitel i bok
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

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

Publiceringsår: 2016

Publicerat i: Software and Systems Modeling

Publikationstyp: Artikel i vetenskaplig tidskrift
2015
Reasoning About Loops Using Vampire in KeY

Författare: Wolfgang Ahrendt; Laura Kovacs; Simon Robillard

Publiceringsår: 2015

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

Publikationstyp: Paper i proceeding
STARVOORS: A Tool for Combined Static and Runtime Verification of Java

Författare: Mauricio Chimento; Wolfgang Ahrendt; Gordon Pace; Gerardo Schneider

Publiceringsår: 2015

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

Publikationstyp: Paper i proceeding
Specification language for static and runtime verification of data and control properties

Författare: Wolfgang Ahrendt; Mauricio Chimento; Gordon J. Pace; Gerardo Schneider

Publiceringsår: 2015

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

Publikationstyp: Paper i proceeding
2014
The KeY platform for verification and analysis of java programs

Författare: 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

Publiceringsår: 2014

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

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

Författare: Gabriele Paganelli; Wolfgang Ahrendt

Publiceringsår: 2014

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

Publikationstyp: Paper i proceeding
2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

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

Publiceringsår: 2013

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

Publikationstyp: Paper i proceeding
2012
A System for Compositional Verification of Asynchronous Objects

Författare: Wolfgang Ahrendt; Maximilian Dylla

Publiceringsår: 2012

Publicerat i: Science of Computer Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
Real-time java API specifications for high coverage test generation

Författare: Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli

Publiceringsår: 2012

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

Publikationstyp: Paper i proceeding
A Unified Approach for Static and Runtime Verification: Framework and Applications

Författare: Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider

Publiceringsår: 2012

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

Publikationstyp: Paper i proceeding
2010
Practical Aspects of Automated Deduction for Program Verification

Författare: Wolfgang Ahrendt; Bernhard Beckert; Martin Giese; Philipp Rümmer

Publiceringsår: 2010

Publicerat i: KI - K√ºnstliche Intelligenz

Publikationstyp: Artikel i vetenskaplig tidskrift
2009
A Verification System for Distributed Objects with Asynchronous Method Calls

Författare: Wolfgang Ahrendt; Maximilian Dylla

Publiceringsår: 2009

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

Publikationstyp: Paper i proceeding
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created

Författare: Wolfgang Ahrendt; F. De Boer; Immo Grabe

Publiceringsår: 2009

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

Publikationstyp: Paper i proceeding

Gå till Chalmers publikationsbibliotek

Publicerad: må 02 jul 2018.