Browsing Bergen Open Research Archive by Author "Din, Crystal Chang"

Now showing items 1-5 of 5

    • I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking 

      Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Journal article; Peer reviewed, 2022)
      Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...

    • 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 ...

    • 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 ...

    • Semantics-Based Version Control for Feature Model Evolution Plans 

      Sæther, Eirik Halvard; Yu, Ingrid Chieh; Din, Crystal Chang (Journal article; Peer reviewed, 2023)
      A software product line (SPL) models closely related software systems by capitalizing on the high similarity of the products by organizing them into common and variable parts. To ensure successful long-term development, ...

    • 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 ...