Richard Bubel
Visar 20 publikationer
Functional Verification of Smart Contracts via Strong Data Integrity
Formal Analysis of Smart Contracts: Applying the KeY System
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Deductive Software Verification - The KeY Book
The KeY platform for verification and analysis of java programs
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
Verified resource guarantees for heap manipulating programs
Program specialization via a software verification tool
Verified Resource Guarantees using COSTA and KeY
Specifying Imperative ML-like Programs Using Dynamic Logic
A formalisation of Java Strings for program specification and verification
Interleaving Symbolic Execution and Partial Evaluation
Visual Interactive Debugger Based on Symbolic Execution
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Specification Predicates with Explicit Dependency Information
A Hoare-Style Calculus with Explicit State Updates
Pattern-Driven Formal Specification
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.