Publications

Filter by type:

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

DOI

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

DOI

Time Analysis of Actor Programs

DOI Project

Parallel Cost Analysis

DOI Project

Deployment by Construction for Multicore Architectures

DOI Project Project

Stream-based Dynamic Data Race Detection

DOI Project

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

Project

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

DOI

Information Flow Analysis for Go

DOI Project

Modeling Deployment Decisions for Elastic Services with ABS

DOI Project

An Operational Semantics of Cache Coherent Multicore Architectures

DOI Project

A Maude Framework for Cache Coherent Multicore Architectures

DOI Project

Meeting Deadlines, Elastically

DOI Project

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

DOI Project

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 Project

Pak Pak Serves You: Application on Interactive Dialogue Question Answering

PDF

Research in Interactive Dialogues Question Answering System

PDF