- On proving that an unsafe controller is not proven safe
- Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
Journal of Logical and Algebraic Methods in Programming
Elsevier 2024
doi: 10.1016/j.jlamp.2023.100939
Abstract
- Bibtex
- Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Software Tools for Technology Transfer
Springer 2023
doi: 10.1007/s10009-022-00691-x
Abstract
- Bibtex
- Formal Development of Safe Automated Driving Using Differential Dynamic Logic
- Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
IEEE Transactions on Intelligent Vehicles
IEEE, 2023
doi: 10.1109/TIV.2022.3204574
Abstract
- Bibtex
- TriCo - Triple Co-piloting of Implementation, Specification and Tests
- Wolfgang Ahrendt, Dilian Gurov, Moa Johansson,
and Philipp Rümmer
International Symposium on Leveraging Applications of Formal Methods
ISoLA, 2022
Springer, LNCS 13701
doi: 10.1007/978-3-031-19849-6_11
Abstract
- Bibtex
- Selective Presumed Benevolence in Multi-party System Verification
- Wolfgang Ahrendt, Gordon J. Pace
International Symposium on Leveraging Applications of Formal Methods
ISoLA, 2022
Springer, LNCS 13701
doi: 10.1007/978-3-031-19849-6_7
Abstract
- Bibtex
- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
- Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
Formal Methods and Software Engineering
ICFEM, 2022
Springer, LNCS 13478
doi: 10.1007/978-3-031-17244-1_17
Abstract
- Bibtex
- Modeling and Security Verification of State-Based Smart Contracts
- Sahar Mohajerani, Wolfgang Ahrendt, Martin Fabian
16th IFAC Workshop on Discrete Event Systems WODES 2022
doi: 10.1016/j.ifacol.2022.10.366
Abstract
- Bibtex
- Automatically Learning Formal Models from Autonomous Driving Software
- Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, Martin Fabian
Electronics
Special Issue Feasible, Robust and Reliable Automation and Control for Autonomous Systems
MDPI 2022
doi: 10.3390/electronics11040643
Abstract
- Bibtex
- Deductive Verification of Floating-Point Java Programs in KeY
- Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2021
Springer, LNCS 12652
doi: 10.1007/978-3-030-72013-1_13
Bibtex
- Functional Verification of Smart Contracts via Strong Data Integrity
- Wolfgang Ahrendt, Richard Bubel
International Symposium on Leveraging Applications of Formal Methods
ISoLA, 2020
Springer, LNCS 12478
doi: 10.1007/978-3-030-61467-6_2
Bibtex
- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
- Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
Formal Methods for Industrial Critical Systems
24th international Conference, FMICS 2019, Amsterdam, The Netherlands
Springer, LNCS 11687
doi: 10.1007/978-3-030-27008-7_9
Abstract
- Bibtex
- Verification of Smart Contract Business Logic Exploiting a Java Source Code Verifier
- Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Fundamentals of Software Engineering
FSEN, Tehran, Iran, May 2019
Springer, LNCS 11761
doi: 10.1007/978-3-030-31517-7_16
Abstract
- Bibtex
- A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond software)
- César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Formal Methods in System Design
Springer 2019
doi: 10.1007/s10703-019-00337-w
Abstract
- Bibtex
- A Broader View on Verification: From Static to Runtime and Back (Track Summary)
- Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
Leveraging Applications of Formal Methods, Verification and Validation
8th International Symposium, ISoLA 2018, Limsol, Cyprus
Springer, LNCS 11245
doi: 10.1007/978-3-030-03421-4_1
Abstract
- Bibtex
- Testing Meets Static and Runtime Verification
- Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
FormaliSE: 6th International Conference on Formal Methods in Software Engineering
Gothenburg, Sweden, June 2018
ACM.
Abstract
- Pre-print
- Bibtex
- Verifying Data- and Control-oriented Properties Combining Static and Runtime Verification: Theory and Tools
- Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
Formal Methods in System Design
Springer 2017
doi: 10.1007/s10703-017-0274-y
Abstract
- Bibtex
- StaRVOOrS - Episode II
- Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2016, Corfu, Greece
Proceedings, Part I,
Springer, LNCS 9952.
doi: 10.1007/978-3-319-47166-2_28
Abstract
- Bibtex
- Integrating Deductive Verification and Symbolic Execution for Abstract Object Creation in Dynamic Logic
- Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
Software and Systems Modeling, Springer, 2016, DOI: 10.1007/s10270-014-0446-9
Abstract
- Bibtex
- Reasoning About Loops Using Vampire in KeY
- Wolfgang Ahrendt, Laura Kovács, Simon Robillard
20th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning, LPAR
Suva, Fiji, Nov. 2015
Springer, LNCS 9450.
Abstract
- Pre-print
- Bibtex
- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
- Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
RV'15, 15th International Conference on Runtime Verification
Vienna, Austria, September 2015
Springer, LNCS 9333.
Abstract
- Pre-print
- Bibtex
- A Specification Language for Static and Runtime
Verification of Data and Control Properties
- Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
FM 2015, 20th International Symposium on Formal Methods
Oslo, Norway, June 2015
Springer, LNCS 9109.
Abstract
- Pre-print
- Bibtex
- The KeY Platform for Verification and Analysis of Java Programs
- Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns , Richard Bubel,
Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel,
Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben,
Peter H. Schmitt, Mattias Ulbrich
Verified Software: Theories, Tools and Experiments 2014, 6th International
Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected
Papers, Springer, LNCS 8471.
doi: 10.1007/978-3-319-12154-3
Abstract
- Bibtex
- Verifying
(in-)stability in floating-point programs by increasing precision using SMT
solvers
- Gabriele Paganelli, Wolfgang Ahrendt
Proceedings of the 15th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing (SYNASC 2013)
Abstract
- Bibtex
- Weak Arithmetic
Completeness of Object-Oriented First-Order Assertion Networks
- Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
39th International Conference on Current
Trends in Theory and Practice of Computer Science (SOFSEM 2013), Špindlerův Mlýn,
Czech Republic, January 26-31, 2013. Proceedings, Springer, LNCS 7741.
doi: 10.1007/978-3-642-35843-2_19
Abstract
- Bibtex
- A Unified Approach for Static and Runtime Verification:
Framework and Applications
- Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece
Proceedings, Part I,
Springer, LNCS 7609.
doi: 10.1007/978-3-642-34026-0_24
Abstract
- Bibtex
- 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 '12
ACM, 2012
doi: 10.1145/2388936.2388960
Abstract
- Bibtex
- A System for Compositional Verification of Asynchronous Objects
- Wolfgang Ahrendt, Maximilian Dylla
Science of Computer Programming
Elsevier, 2012
doi: 10.1016/j.scico.2010.08.003
Abstract
- Bibtex
- Practical Aspects of Automated Deduction for Program Verification
- Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
KI - Künstliche Intelligenz
Volume 24, Number 1 / April, 2010, Pages 43-49
Springer Berlin / Heidelberg
Abstract
- Bibtex
- 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
Rio de Janeiro, Brazil, December 2009
Springer, LNCS 5885.
Abstract
- PDF
- Bibtex
- Abstract Object Creation in Dynamic Logic
- To Be or Not To Be Created
- Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
FM 2009: Formal Methods, Second World Congress
Eindhoven, The Netherlands, November 2009
Springer, LNCS 5850.
Abstract
- Bibtex
- 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, The Netherlands, November 2009
Springer, LNCS 5846.
Abstract
- Bibtex
- Verifying Object-Oriented Programs with KeY:
A Tutorial
- Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle,
Philipp Rümmer, Peter H. Schmitt
5th International Symposium on
Formal Methods for Components and Objects, Amsterdam,
The Netherlands, November 2006
Revised Lectures
Springer, LNCS 4709.
Abstract
- PDF
- Bibtex
- KeY: A Formal
Method for Object-Oriented Systems (invited paper)
- Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle,
Peter H. Schmitt
9th IFIP International Conference on Formal Methods for
Open Object-based Distributed Systems (FMOODS),
Paphos, Cyprus, June 2007
Springer, LNCS 4468.
Abstract
- PDF
- Bibtex
- Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics
- Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
12th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning, LPAR,
Montego Bay, Jamaica, December 2005
Springer, LNCS 3835.
Abstract
- PDF
- Bibtex
- The KeY Tool
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle,
Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
Software and Systems Modeling, volume 4, number 1, Springer, 2005
Abstract
- Bibtex
- Deductive Search for Errors in Free Data Type
Specifications using Model Generation
- Wolfgang Ahrendt
Automated Deduction -- CADE-18, 18th International
Conference on Automated Deduction
Copenhagen, Denmark, July 2002
Springer, LNCS 2392.
Abstract
- PDF
- Bibtex
- The KeY System:
Integrating Object-Oriented Design and Formal Methods
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese,
Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
Fundamental Approaches to Software Engineering. 5th
International Conference, FASE 2002.
Held as Part of
ETAPS 2002, Grenoble, France, April 2002,
Proceedings.
Springer, LNCS 2306.
Abstract
- PDF
- Appendix
- BibTeX
- The KeY Approach:
Integrating Object Oriented Design and Formal Verification
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese,
Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
Proceedings, 8th European Workshop on Logics in AI (JELIA),
Malaga, Spain, September 2000
Springer, LNCS 1919.
Abstract
- PDF
- BibTeX
- Hilbert's Epsilon terms in
Automated Theorem Proving
- Martin Giese, Wolfgang Ahrendt
Proceedings, International Conference on Theorem Proving with
Analytic Tableaux and Related Methods
Saratoga Springs, NY, USA, June 1999
Springer, LNCS 1617.
Abstract
- PDF
- Bibtex
- Proof Transformations from
Search-oriented into Interaction-oriented Tableau Calculi
- Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
Journal of Universal Computer Science
(J.UCS), vol. 5,
issue 3: 113-134, Springer, 1999.
Abstract
- PDF
- Bibtex
- Reasoning about Abstract State
Machines: The WAM Case Study
- Gerhard Schellhorn, Wolfgang Ahrendt
Journal of Universal Computer Science
(J.UCS), vol. 3,
issue 4: 377-413, Springer 1997.
Abstract
- PDF
- Bibtex
|
![[Formal Methods]](navofold.gif){kind=small}
Formal Methods Group![[Teaching]](navdown.gif){kind=small}
Community Work
![[Picture of Wolfgang Ahrendt]](resized_Wolfgang.jpg)
![[Top of Page]](navup.gif){kind=small}