• 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 ...
    • Formalization and Analysis of BPMN Using Graph Transformation Systems 

      Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...
    • 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 ...
    • Hardware-Assisted Online Data Race Detection 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker (Chapter; Peer reviewed, 2021)
      Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This ...
    • I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking 

      Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Peer reviewed; Journal article, 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 ...
    • A ML-Based Stock Trading Model for Profit Predication 

      Wu, Jimmy Ming-Tai; Sun, Lingyun; Srivastava, Gautam; Lin, Jerry Chun-Wei (Chapter, 2021)
      This paper uses a new convolutional neural network framework to collect data on leading indicators including historical prices and their futures and options, and use arrays as the input map of the CNN framework for stock ...
    • 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 ...
    • Priors Inspired by Speed-Accuracy Trade-Offs for Incremental Learning of Probabilistic Movement Primitives 

      Schäle, Daniel; Stølen, Martin Fodstad; Kyrkjebø, Erik (Chapter; Peer reviewed, 2021)
      Probabilistic Movement Primitives (ProMPs) model robot motor skills by capturing the mean and variance of a set of demonstrations provided by a human teacher. Such a probabilistic representation of motor skills is beneficial ...
    • 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 ...