Publications

Filter by type:

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches

Details DOI Project

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Details DOI

Information Flow Analysis for Go

Details DOI Project

Effect-polymorphic behaviour inference for deadlock checking

Details DOI

Modeling Deployment Decisions for Elastic Services with ABS

Details DOI Project

An Operational Semantics of Cache Coherent Multicore Architectures

Details DOI Project

A Maude Framework for Cache Coherent Multicore Architectures

Details DOI Project

Meeting Deadlines, Elastically

Details DOI Project

Time Complexity of Concurrent Programs – A Technique Based on Behavioural Types –

Details DOI Project

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

Details DOI Project

Effect-Polymorphic Behaviour Inference for Deadlock Checking

Details DOI

Behaviour Inference for Deadlock Checking

Details DOI

Deadlock Checking by Data Race Detection

Details DOI

Deadlock Checking by Data Race Detection

Details DOI

Delta-Oriented Monitor Specification

Details DOI Project

Key performance indicators for traffic intensive web‐enabled business processes

Details DOI

Deadlock Checking by a Behavioral Effect System for Lock Handling

Details DOI

Audit Trail Analysis for Traffic Intensive Web Application

Details DOI

Modeling Support for Simulating Traffic Intensive Web Applications

Details DOI

Pak Pak Serves You: Application on Interactive Dialogue Question Answering

Details PDF

Research in Interactive Dialogues Question Answering System

Details PDF