3 citations · 4 across the 5 of their papers we have counts for
5 papers
A Hoare Logic for Domain Specification (Full Version)
Eduard Kamburjan, Dilian Gurov
Programs must be correct with respect to their application domain. Yet, the program specification and verification approaches so far only consider correctness in terms of computati…
Context-aware Trace Contracts
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified…
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)
Eduard Kamburjan, Michael Lienhardt
We present a post-region-based verification system for distributed hybrid systems modeled with Hybrid Active Objects. The post-region of a class method is the region of the state s…
Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version)
Eduard Kamburjan
We introduce a new approach to analyze distributed hybrid systems by a generalization of rely-guarantee reasoning. First, we give a system for deductive verification of class invar…
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Eduard Kamburjan, Nathan Wasser
We present a novel and well automatable approach to formal verification of C programs with underspecified semantics, i.e., a language semantics that leaves open the order of certai…