Search
Now showing items 1-7 of 7
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Loosely-coupled distributed systems organized as collections of so-called cloud-native microservices are able to adapt to traffic in very fine-grained and flexible ways. For this purpose, the cloud-native microservices ...
(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 ...
(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 ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object ...
(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 ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2020)
Dynamic resource provisioning is an important driver for pay-on-demand cloud computing. Virtualized resources open for resource awareness, such that applications may use resource management strategies to modify their ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2021)
This paper describes emergent challenges in extending and uniting research in service science and process mining. By combining formal representations of user journeys with process mining constructs, we aim to develop tools ...