Publications

Filter by type:

Proving Correctness of Parallel Implementations of Transition System Models

Frank de Boer, Einar Broch Johnsen, Violet Ka I Pun, S. Lizeth Tapia Tarifa

Cost Analysis for A Resource Sensitive Workflow Modelling Language

Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Violet Ka I Pun, S. Lizeth Tapia Tarifa

Enforced Dependencies for Active Objects

Violet Ka I Pun, Volker Stolz

Preface for the special issue on the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020)

Violet Ka I Pun, Volker Stolz, Adenilso Simão

DOI Special Issue

Modular Soundness Checking of Feature Model Evolution Plans

Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

Proceedings of 3rd International Health Data Workshop

Wendy MacCaull, Violet Ka I Pun

A Static Analyser for Resource Sensitive Workflow Models

Muhammad Rizwan Ali, Violet Ka I Pun

Cost Analysis for A Resource Sensitive Workflow Modelling Language

Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun

A Notion of Equivalence for Refactorings with Abstract Execution

Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz

DOI CroFlow Modern Refactoring SIRIUS

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

DOI CroFlow Modern Refactoring

Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data

Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

Cost Analysis for an Actor-Based Workflow Modelling Language.

Muhammad Rizwan Ali, Violet Ka I Pun

Diversity-Aware Anonymization for Structured Health Data.

Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

Monitoring Motor Activity Data for Detecting Patients’ Depression Using Data Augmentation and Privacy-Preserving Distributed Learning.

Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

Hardware-Assisted Online Data Race Detection

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz

Towards a Resource-Aware Formal Modelling Language for Workflow Planning.

Muhammad Rizwan Ali, Violet Ka I Pun

Privacy Preserving Distributed Extremely Randomized Trees.

Amin Aminifar, Fazle Rabbi, Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

Proceedings of 17th International Colloquium on Theoretical Aspects of Computing

Violet Ka I Pun, Volker Stolz, Adenilso Simão

SymPaths: Symbolic Execution Meets Partial Order Reduction

Frank de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, S. Lizeth Tapia Tarifa, Lars Tveito

Active Objects with Deterministic Behaviour

Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun

DOI SLAS SIRIUS

Refactoring and Active Object Languages

Volker Stolz, Violet Ka I Pun, Rohit Gheyi

DOI Modern Refactoring

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

Suresh Kumar Mukhiya, Usman Ahmed, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review

Suresh Kumar Mukhiya, Jo Dugstad Wake, Yavuz Inal, Violet Ka I Pun, Yngve Lamo

A GraphQL Approach to Healthcare Information Exchange with HL7 FHIR

Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo

DOI INTROMAT SIRIUS

From SOS to Asynchronously Communicating Actors

Frank de Boer, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

An architectural design for self-reporting e-health systems

Suresh Kumar Mukhiya, Fazle Rabbi, Ka I Pun, Yngve Lamo

DOI INTROMAT SIRIUS

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

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

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

Nikolaos Bezirgiannis, Frank de Boer, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

Time Analysis of Actor Programs

Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez

Parallel Cost Analysis

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Ka I Pun, Guillermo Román-Díez

Deployment by Construction for Multicore Architectures

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, S. Lizeth Tapia Tarifa

DOI UpScale SIRIUS

Stream-based Dynamic Data Race Detection

Svetlana Jakšić, Dan Li, Ka I Pun, Volker Stolz

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

Frank de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

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

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

DOI UpScale SIRIUS

A formal model of cloud-deployed software and its application to workflow processing

Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

Information Flow Analysis for Go

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert

Effect-polymorphic behaviour inference for deadlock checking

Ka I Pun, Martin Steffen, Volker Stolz

Modeling Deployment Decisions for Elastic Services with ABS

Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

An Operational Semantics of Cache Coherent Multicore Architectures

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

A Maude Framework for Cache Coherent Multicore Architectures

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

Meeting Deadlines, Elastically

Einar Broch Johnsen, Ka I Pun, Martin Steffen, S. Lizeth Tapia Tarifa, Ingrid Chieh Yu

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

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun

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

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Effect-Polymorphic Behaviour Inference for Deadlock Checking

Ka I Pun, Martin Steffen, Volker Stolz

Behaviour Inference for Deadlock Checking

Ka I Pun, Martin Steffen, Volker Stolz

Deadlock Checking by Data Race Detection

Ka I Pun, Martin Steffen, Volker Stolz

Deadlock Checking by Data Race Detection

Ka I Pun, Martin Steffen, Volker Stolz

Delta-Oriented Monitor Specification

Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz

Key performance indicators for traffic intensive web‐enabled business processes

Ka I Pun, Yain Whar Si, Kin Chan Pau

Deadlock Checking by a Behavioral Effect System for Lock Handling

Ka I Pun, Martin Steffen, Volker Stolz

Audit Trail Analysis for Traffic Intensive Web Application

Ka I Pun, Yain Whar Si

Modeling Support for Simulating Traffic Intensive Web Applications

Ka I Pun, Kin Chan Pau, Yain Whar Si

Pak Pak Serves You: Application on Interactive Dialogue Question Answering

Ka I Pun, Pok Man Leong, Hoi Fong Mak, Fai Wong, Yi Ping Li

Research in Interactive Dialogues Question Answering System

Ka I Pun, Pok Man Leong, Hoi Fong Mak, Fai Wong, Yi Ping Li