• Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation 

      Dyrkolbotn, Sjur Kristoffer; Pedersen, Truls Andre (Peer reviewed; Journal article, 2019)
      Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of ...
    • From SOS to asynchronously communicating actors 

      de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Peer reviewed; Journal article, 2020)
      Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...
    • Multilevel Typed Graph Transformations 

      Wolter, Uwe Egbert; Macías, Fernando; Rutle, Adrian (Peer reviewed; Journal article, 2020)
      Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and ...
    • Refactoring and Active Object Languages 

      Stolz, Volker; Pun, Ka I; Gheyi, Rohit (Peer reviewed; Journal article, 2020)
      Refactorings are important for object-oriented (OO) programs. Actor- and active object programs place an emphasis on concurrency. In this article, we show how well-known OO refactorings such as Hide Delegate, Move Method, ...
    • SymPaths: Symbolic Execution Meets Partial Order Reduction 

      de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Peer reviewed; Journal article, 2020)
      Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...
    • Towards multiple model synchronization with comprehensive systems 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ...