Wolfgang Ahrendt

Available identifiers

Publication	Date of Publication	Type
On proving that an unsafe controller is not proven safe	2024-02-12	Paper
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic	2022-07-12	Paper
Editorial	2022-01-11	Paper
Deductive verification of floating-point Java programs in KeY	2021-10-18	Paper
Benchmark Repository for Floating-Point Support in KeY	2020-10-13	Dataset
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools	2017-09-08	Paper
Reasoning About Loops Using Vampire in KeY	2016-01-12	Paper
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks	2014-11-04	Paper
A system for compositional verification of asynchronous objects	2013-06-06	Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics	2008-05-27	Paper
KeY: A Formal Method for Object-Oriented Systems	2007-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4809057	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738337	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4536314	2002-11-25	Paper
The WAM case study: Verifying compiler correctness for Prolog with KIV	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4520769	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4520493	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4524769	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4263014	2000-02-28	Paper

This page was built for person: Wolfgang Ahrendt