Blar i Department of Informatics på forfatter "Tapia Tarifa, Silvia Lizeth"
-
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal Chang; Hähnle, Reiner; Henrio, Ludovic; Johnsen, Einar Broch; Pun, Violet Ka I; Tapia Tarifa, Silvia Lizeth (Journal article; Peer reviewed, 2024)Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular ... -
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 ...