Publications

Filter by type:

SymPaths: Symbolic Execution Meets Partial Order Reduction

DOI SIRIUS

Active Objects with Deterministic Behaviour

DOI SLAS SIRIUS

Refactoring and Active Object Languages

DOI Modern Refactoring

Adaptation of IDPT System Based on Patient-Authored Text Data using NLP.

DOI INTROMAT SIRIUS

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR

DOI INTROMAT SIRIUS

From SOS to Asynchronously Communicating Actors

DOI SIRIUS

An architectural design for self-reporting e-health systems

DOI INTROMAT SIRIUS

A Formal Model of Data Access for Multicore Architectures with Multilevel Caches

DOI SIRIUS

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System

DOI

Time Analysis of Actor Programs

DOI SIRIUS

Parallel Cost Analysis

DOI SIRIUS

Deployment by Construction for Multicore Architectures

DOI UpScale SIRIUS

Stream-based Dynamic Data Race Detection

DOI COEMS

Analysis of SLA Compliance in the Cloud – An Automated, Model-based Approach

SIRIUS

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

DOI

Information Flow Analysis for Go

DOI GoRETech

Modeling Deployment Decisions for Elastic Services with ABS

DOI Envisage

An Operational Semantics of Cache Coherent Multicore Architectures

DOI UpScale

A Maude Framework for Cache Coherent Multicore Architectures

DOI UpScale

Meeting Deadlines, Elastically

DOI Envisage

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

DOI UpScale

Behaviour Inference for Deadlock Checking

DOI

Deadlock Checking by Data Race Detection

DOI

Deadlock Checking by Data Race Detection

DOI

Delta-Oriented Monitor Specification

DOI RvABS

Pak Pak Serves You: Application on Interactive Dialogue Question Answering

PDF

Research in Interactive Dialogues Question Answering System

PDF