Wolfgang Ahrendt
Docent at
Chalmers, Computer Science and Engineering (Chalmers), [Formella metoder]
Link to personal page.
Source: chalmers.se
Projects
2013–2015
StaRVOOrS: Unified Static and Runtime Verification of Object-Oriented Software
Wolfgang Ahrendt
Software Technology (Chalmers)
Swedish Research Council (VR)
There might be more projects where Wolfgang Ahrendt participates, but you have to be logged in as a Chalmers employee to see them.
Publications
2017
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace et al
Formal Methods in System Design. Vol. 51 (1), p. 200-265
Scientific journal article - peer reviewed
2016
Using the KeY Prover
Wolfgang Ahrendt, Sarah Grebing,
Deductive Software Verification - The KeY Book, p. 495-539
Chapter in monograph, book
2016
Proof-based Test Case Generation
Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda et al
Deductive Software Verification - The KeY Book, p. 415-451
Chapter in monograph, book
2016
Formal Specification with the Java Modeling Language
Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl et al
Deductive Software Verification - The KeY Book, p. 193-241
Chapter in monograph, book
2016
Deductive Software Verification - The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Monograph, book
2016
StaRVOOrS - Episode II: Strengthen and distribute the force
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Greece, 10-14 October 2016. Vol. 9952, p. 402-415
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
2015
Reasoning About Loops Using Vampire in KeY
Wolfgang Ahrendt, Laura Kovacs, Simon Robillard et al
Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015. Vol. 9450, p. 434-443
Conference paper - peer reviewed
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 - 6th International Conference on Runtime Verification (RV). Vol. 9333, p. 297-305
Conference paper - peer reviewed
2015
Specification language for static and runtime verification of data and control properties
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace et al
Lecture Notes in Computer Science. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015. Vol. 9109, p. 108-125
Conference paper - peer reviewed
2014
The KeY platform for verification and analysis of java programs
Wolfgang Ahrendt, B. Beckert, D. Bruns et al
Lecture notes in Computer Science: 6th International Conference on Verified Software: Theories, Tool and Experiments, VSTTE 2014; Vienna; Austria; 17 July 2014 through 18 July 2014 (8471), p. 55-71
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt et al
39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013) (7741), p. 207-219
Conference paper - peer reviewed
2012
A Unified Approach for Static and Runtime Verification: Framework and Applications
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider et al
Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I, p. 312-326
Conference paper - peer reviewed
2012
Real-time java API specifications for high coverage test generation
Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli et al
10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012, p. 145-154
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
2010
A System for Compositional Verification of Asynchronous Objects
Wolfgang Ahrendt, Maximilian Dylla,
Science of Computer Programming
Scientific journal article - peer reviewed
2009
A Verification System for Distributed Objects with Asynchronous Method Calls
Wolfgang Ahrendt, Maximilian Dylla,
Formal Methods and Software Engineering, International Conference on Formal Engineering Methods, ICFEM'09. Vol. 5885, p. 387-406
Conference paper - peer reviewed
2009
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe et al
A. Cavalcanti and D. Dams, FM 2009: Formal Methods, Second World Congress, Eindhoven. Vol. 5850, p. 612 - 627
Conference paper - peer reviewed
2009
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle et al
Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. Vol. 5846, p. 125-143
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Chapter in monograph, book
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
Conference paper - peer reviewed
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
Monograph, book - edited
2005
Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics
Wolfgang Ahrendt, Andreas Roth, Ralf Sasse et al
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2005), LNCS 3835. Vol. LNCS 3835, p. 412 - 426
Conference paper - peer reviewed
2005
The KeY Tool
Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Scientific journal article - peer reviewed
2002
The KeY System: Integrating Object-Oriented Design and Formal Methods
Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science. 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8â12, 2002. Vol. 2306, p. 327-330
Conference paper - peer reviewed
2002
Deductive Search for Errors in Free Data Type Specifications using Model Generation
Wolfgang Ahrendt,
Lecture Notes in Computer Science. 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27â30, 2002. Vol. 2392, p. 211-225
Conference paper - peer reviewed