Blar i Department of Informatics på forfatter "Kamburjan, Eduard"
-
Runtime Enforcement Using Knowledge Bases
Kamburjan, Eduard; Din, Crystal Chang (Journal article; Peer reviewed, 2023)Knowledge bases have been extensively used to represent and reason about static domain knowledge. In this work, we show how to enforce domain knowledge about dynamic processes to guide executions at runtime. To do so, we ... -
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch (Journal article; Peer reviewed, 2022)Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means ...