Wolfgang Ahrendt

Docent vid Chalmers, Data- och informationsteknik, Formella metoder

Länk till hemsida.

Källa: chalmers.se

Visar 29 publikationer

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

Formal Specification with the Java Modeling Language

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl et al
Lecture Notes in Computer Science, p. 193-241
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

StaRVOOrS - Episode II: Strengthen and distribute the force

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 9952, p. 402-415
Paper i proceeding
2016

Proof-based Test Case Generation

Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda
Lecture Notes in Computer Science, p. 415-451
Kapitel i bok
2016

Using the KeY Prover

Wolfgang Ahrendt, Sarah Grebing
Lecture Notes in Computer Science, p. 495-539
Kapitel i bok
2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Bok
2015

Reasoning About Loops Using Vampire in KeY

Wolfgang Ahrendt, Laura Kovacs, Simon Robillard
Lecture Notes in Computer Science. 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. Vol. 9109, p. 108-125
Paper i proceeding
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. Vol. 9333, p. 297-305
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 (8471), p. 55-71
Paper i proceeding
2014

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
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 (7741), p. 207-219
Paper i proceeding
2012

A Unified Approach for Static and Runtime Verification: Framework and Applications

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science (PART 1), p. 312-326
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
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
2010

A System for Compositional Verification of Asynchronous Objects

Wolfgang Ahrendt, Maximilian Dylla
Science of Computer Programming (12), p. 1289-1309
Artikel i vetenskaplig tidskrift
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. 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. Vol. 5885, p. 387-406
Paper i proceeding
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
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
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
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

Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
Lecture Notes in Computer Science. Vol. LNCS 3835, p. 412 - 426
Paper i proceeding
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
Electronic Notes in Theoretical Computer Science
Samlingsverk (redaktörskap)
2003

The KeY Tool

Wolfgang Ahrendt
Rapport
2002

Deductive Search for Errors in Free Data Type Specifications using Model Generation

Wolfgang Ahrendt
Lecture Notes in Computer Science. Vol. 2392, p. 211-225
Paper i proceeding
2002

The KeY System: Integrating Object-Oriented Design and Formal Methods

Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science. Vol. 2306, p. 327-330
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2013–2015

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

Wolfgang Ahrendt Programvaruteknik
Vetenskapsrådet (VR)

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.