7 citations · 7 across the 5 of their papers we have counts for
7 papers
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
Ali Ataollahi, Fatemeh Ghassemi, Eduard Kamburjan +1
Tiny twins are compact behavioral models derived from timed actor models for selected observable messages. When a source model evolves, regenerating its tiny twin requires state-sp…
Towards a Proof System for Probabilistic Dynamic Logic
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…
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…
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach +1
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal sp…
Prototyping Formal System Models with Active Objects
Eduard Kamburjan, Reiner Hähnle
We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use e…