Wolfgang Ahrendt

MaRDI QIDQ1951608zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Smart contract denial-of-service analysis using non-blocking verification Discrete Event Dynamic Systems	2026-02-09	Paper
On proving that an unsafe controller is not proven safe Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic	2022-07-12	Paper
Editorial Formal Aspects of Computing	2022-01-11	Paper
Deductive verification of floating-point Java programs in KeY (available as arXiv preprint)	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) Formal Methods in System Design	2019-11-25	Paper
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools Formal Methods in System Design	2017-09-08	Paper
Reasoning about loops using Vampire in KeY Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Weak arithmetic completeness of object-oriented first-order assertion networks Lecture Notes in Computer Science	2014-11-04	Paper
A system for compositional verification of asynchronous objects Science of Computer Programming	2013-06-06	Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
KeY: A Formal Method for Object-Oriented Systems Lecture Notes in Computer Science	2007-11-28	Paper
scientific article; zbMATH DE number 2090301 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087530 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1759367 (Why is no real title available?)	2002-11-25	Paper
The WAM case study: Verifying compiler correctness for Prolog with KIV	2002-01-21	Paper
scientific article; zbMATH DE number 1543302 (Why is no real title available?)	2001-02-27	Paper
scientific article; zbMATH DE number 1543041 (Why is no real title available?)	2001-02-26	Paper
scientific article; zbMATH DE number 1552511 (Why is no real title available?)	2001-01-15	Paper
scientific article; zbMATH DE number 1341475 (Why is no real title available?)	2000-02-28	Paper

Research outcomes over time

This page was built for person: Wolfgang Ahrendt