Wolfgang Ahrendt
Link to personal page.

Showing 37 publications
Functional Verification of Smart Contracts via Strong Data Integrity
Formal Analysis of Smart Contracts: Applying the KeY System
Who is to blame? â Runtime verification of distributed objects with active monitors
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
A broader view on verification: From static to runtime and back (track summary)
Testing Meets Static and Runtime Verification
Formal Specification with the Java Modeling Language
StaRVOOrS - Episode II: Strengthen and distribute the force
Proof-based Test Case Generation
Deductive Software Verification - The KeY Book
Reasoning About Loops Using Vampire in KeY
Specification language for static and runtime verification of data and control properties
STARVOORS: A Tool for Combined Static and Runtime Verification of Java
The KeY platform for verification and analysis of java programs
Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
A Unified Approach for Static and Runtime Verification: Framework and Applications
A System for Compositional Verification of Asynchronous Objects
Real-time java API specifications for high coverage test generation
Practical Aspects of Automated Deduction for Program Verification
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created
A Verification System for Distributed Objects with Asynchronous Method Calls
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
KeY: A Formal Method for Object-Oriented Systems
Verifying Object-Oriented Programs with KeY: A Tutorial
Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics
Deductive Search for Errors in Free Data Type Specifications using Model Generation
The KeY System: Integrating Object-Oriented Design and Formal Methods
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Showing 2 research projects
A Framework for Fine-Grain Resource Management in Heterogeneous Parallel Architectures
StaRVOOrS: Unified Static and Runtime Verification of Object-Oriented Software