Wolfgang Ahrendt
.
Visar 56 publikationer
Automatic Conversion of Smart Contracts for Non-Blocking Verification
AI Assisted Programming: (AISoLA 2023 Track Introduction)
On proving that an unsafe controller is not proven safe
Capturing Smart Contract Design with DCR Graphs
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
Modeling and Security Verification of State-Based Smart Contracts
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Selective Presumed Benevolence in Multi-party System Verification
SpecifyThis – Bridging Gaps Between Program Specification Paradigms
Automatically Learning Formal Models from Autonomous Driving Software
TriCo—Triple Co-piloting of Implementation, Specification and Tests
Deductive Verification of Floating-Point Java Programs in KeY
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 Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
A survey of challenges for runtime verification from advanced application domains (beyond software)
A broader view on verification: From static to runtime and back (track summary)
Smart Contracts: A Killer Application for Deductive Source Code Verification
Testing Meets Static and Runtime Verification
Proof-based Test Case Generation
Formal Specification with the Java Modeling Language
StaRVOOrS - Episode II: Strengthen and distribute the force
Deductive Software Verification - The KeY Book
STARVOORS: A Tool for Combined Static and Runtime Verification of Java
Reasoning About Loops Using Vampire in KeY
Specification language for static and runtime verification of data and control properties
The KeY platform for verification and analysis of java programs
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers
Real-time java API specifications for high coverage test generation
A System for Compositional Verification of Asynchronous Objects
A Unified Approach for Static and Runtime Verification: Framework and Applications
Practical Aspects of Automated Deduction for Program Verification
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created
A Verification System for Distributed Objects with Asynchronous Method Calls
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
The KeY System: Integrating Object-Oriented Design and Formal Methods
Deductive Search for Errors in Free Data Type Specifications using Model Generation
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 4 forskningsprojekt
SolidiKey Asset Flow Verification at scale
Ramverk för finkornig resurshantering i heterogena parallella arkitekturer
Ett enhetligt ramverk för statisk och körtids-verifiering av objekt-orienterad mjukvara