Browsing Institutt for informatikk by Author "de Boer, Frank"

Now showing items 1-5 of 5

  • Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv 
    de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2019)
    Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance ...
  • From SOS to asynchronously communicating actors 
    de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 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 ...
  • 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 / Tidsskriftartikkel / PublishedVersion; 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 ...
  • Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages 
    de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2020)
    This paper presents a method for testing whether objects in actor languages and active object languages exhibit locally deterministic behavior. We investigate such a method for a class of guarded command programs, abstracting ...
  • SymPaths: Symbolic Execution Meets Partial Order Reduction 
    de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 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 ...