• An MDE Approach for Modelling and Reasoning about Multi-agent Systems 

      Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael (Journal article; Peer reviewed, 2017)
      Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge ...
    • Implementing SOS with Active Objects: A Case Study of a Multicore Memory System 

      Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Journal article; Peer reviewed, 2019)
      This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification ...
    • MC/DC Test Cases Generation Based on BDDs 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Chapter; Peer reviewed, 2021)
      We present a greedy approach to test-cases selection for single decisions to achieve MC/DC-coverage of their Boolean conditions. Our heuristics take into account “don’t care” inputs through three-valued truth values that ...
    • Using coloured Petri nets for resource analysis of active objects 

      Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh (Journal article; Peer reviewed, 2018)
      Pay-on-demand resource provisioning is an important driver for cloud computing. Virtualized resources in cloud computing open for resource awareness, such that applications may contain resource management strategies to ...