Modeling Support for Simulating Traffic Intensive Web Applications. - Ka I Pun; Kin-Chan Pau; Yain-Whar Si (Web Intelligence/IAT Workshops, 2008)

Audit Trail Analysis for Traffic Intensive Web Application. - Ka I Pun; Yain-Whar Si (ICEBE, 2009)

Delta-Oriented Monitor Specification. - Eric Bodden; Kevin Falzon; Ka I Pun; Volker Stolz (ISoLA (1), 2012)

Key performance indicators for traffic intensive web-enabled business processes. - Ka I Pun; Yain-Whar Si; Kin-Chan Pau (Bus. Process. Manag. J., 2012)

Deadlock checking by a behavioral effect system for lock handling. - Ka I Pun; Martin Steffen; Volker Stolz (J. Log. Algebraic Methods Program., 2012)

Behaviour Inference for Deadlock Checking. - Ka I Pun; Martin Steffen; Volker Stolz (TASE, 2014)

Deadlock checking by data race detection. - Ka I Pun; Martin Steffen; Volker Stolz (J. Log. Algebraic Methods Program., 2014)

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (FACS, 2015)

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. - Stephan Brandauer; Elias Castegren; Dave Clarke 001; Kiko Fernandez-Reyes; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa; Tobias Wrigstad; Albert Mingkun Yang (SFM, 2015)

Time complexity of concurrent programs. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (CoRR, 2015)

Meeting Deadlines, Elastically. - Einar Broch Johnsen; Ka I Pun; Martin Steffen; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (From Action Systems to Distributed Systems, 2016)

Information Flow Analysis for Go. - Eric Bodden; Ka I Pun; Martin Steffen; Volker Stolz; Anna-Katharina Wickert (ISoLA (1), 2016)

An operational semantics of cache coherent multicore architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SAC, 2016)

A Maude Framework for Cache Coherent Multicore Architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (WRLA, 2016)

Modeling Deployment Decisions for Elastic Services with ABS. - Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (iFMCloud@IFM, 2016)

Effect-polymorphic behaviour inference for deadlock checking. - Ka I Pun; Martin Steffen; Volker Stolz (J. Log. Algebraic Methods Program., 2016)

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (FACS, 2017)

A formal model of cloud-deployed software and its application to workflow processing. - Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SoftCOM, 2017)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (TABLEAUX, 2017)

Deployment by Construction for Multicore Architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Christoph Seidl 001; Silvia Lizeth Tapia Tarifa (ISoLA (1), 2018)

Stream-based dynamic data race detection. - Svetlana Jaksic; Dan Li; Ka I Pun; Volker Stolz (NIK, 2018)

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. - Frank S. de Boer; Elena Giachino; Stijn de Gouw; Reiner Hähnle; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun; Gianluigi Zavattaro (VORTEX@ECOOP/ISSTA, 2018)

Parallel Cost Analysis. - Elvira Albert; Jesús Correas; Einar Broch Johnsen; Violet Ka I Pun; Guillermo Román-Díez (ACM Trans. Comput. Log., 2018)

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. - Suresh Kumar Mukhiya; Fazle Rabbi 001; Violet Ka I Pun; Adrian Rutle; Yngve Lamo (EUSPN/ICTH, 2019)

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. - Nikolaos Bezirgiannis; Frank S. de Boer; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (FASE, 2019)

An architectural design for self-reporting e-health systems. - Suresh Kumar Mukhiya; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (SEH@ICSE, 2019)

From SOS to Asynchronously Communicating Actors. - Frank S. de Boer; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SEFM Workshops, 2019)

Time analysis of actor programs. - Cosimo Laneve; Michael Lienhardt; Ka I Pun; Guillermo Román-Díez (J. Log. Algebraic Methods Program., 2019)

A formal model of data access for multicore architectures with multilevel caches. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2019)

Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. - Suresh Kumar Mukhiya; Usman Ahmed; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (CBMS, 2020)

Active Objects with Deterministic Behaviour. - Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun (IFM, 2020)

Refactoring and Active Object Languages. - Volker Stolz; Violet Ka I Pun; Rohit Gheyi (ISoLA (2), 2020)

SymPaths: Symbolic Execution Meets Partial Order Reduction. - Frank S. de Boer; Marcello M. Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa; Lars Tveito (20 Years of KeY, 2020)

Hardware-Assisted Online Data Race Detection. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Violet Ka I Pun; Volker Stolz (Formal Methods in Outer Space, 2021)

Diversity-Aware Anonymization for Structured Health Data. - Amin Aminifar; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (EMBC, 2021)

Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. - Amin Aminifar; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (EMBC, 2021)

Towards a Resource-Aware Formal Modelling Language for Workflow Planning. - Muhammad Rizwan Ali; Violet Ka I Pun (MEDI Workshops, 2021)

Privacy preserving distributed extremely randomized trees. - Amin Aminifar; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (SAC, 2021)

Cost Analysis for an Actor-Based Workflow Modelling Language. - Muhammad Rizwan Ali; Violet Ka I Pun (SBMF, 2021)

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. - Ole Jørgen Abusdal; Crystal Chang Din; Violet Ka I Pun; Volker Stolz (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

A Notion of Equivalence for Refactorings with Abstract Execution. - Ole Jørgen Abusdal; Eduard Kamburjan; Violet Ka I Pun; Volker Stolz (ISoLA (2), 2022)

Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. - Amin Aminifar; Matin Shokri; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (IEEE Access, 2022)

LAGC Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2022)

Modular Soundness Checking of Feature Model Evolution Plans. - Ida Sandberg Motzfeldt; Ingrid Chieh Yu; Crystal Chang Din; Violet Ka I Pun; Volker Stolz (ICTAC, 2023)

A Static Analyser for Resource Sensitive Workflow Models. - Muhammad Rizwan Ali; Violet Ka I Pun (TASE, 2023)

Proving Correctness of Parallel Implementations of Transition System Specifications. - Frank S. de Boer; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2023)

Cost analysis for a resource sensitive workflow modelling language. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (Sci. Comput. Program., 2023)

Enforced Dependencies for Active Objects. - Violet Ka I Pun; Volker Stolz (Active Object Languages: Current Research Trends, 2024)

Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (COORDINATION, 2024)

Automated Clone Elimination in Python Tests. - Sebastian Kingston; Violet Ka I Pun; Volker Stolz (ISoLA (4), 2024)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)

Proving Correctness of Parallel Implementations of Transition System Models. - Frank S. de Boer; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)

EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows. - Muhammad Rizwan Ali; Violet Ka I Pun; Guillermo Román-Díez (CoRR, 2025)