Violet Ka I Pun

34 papers B 4C 3Misc 1Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2026 B conf
EASYRPL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsc {Easy}}\mathcal {R}{\textsc {pl}}$$\end{document} - A web-based tool for modelling and analysis of cross-organisational workflows.
FASE
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
2026 B conf
Layers of Confluence for Actors.
CPP
Ludovic Henrio, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Violet Ka I Pun, Yannick Zakowski
2025 J jnl
EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows.
CoRR
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
2025 B conf
Fair Termination for Resource-Aware Active Objects.
APLAS
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025 J jnl
Fair Termination for Resource-Aware Active Objects.
CoRR
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025 J jnl
Modular soundness checking of feature model evolution plans.
Theor. Comput. Sci.
Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu
2025 — ed.
Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2025 — conf
Resource Contracts for Active Objects.
SBMF
Charaf Eddine Dridi, Violet Ka I Pun, Volker Stolz
2024 — conf
Automated Clone Elimination in Python Tests.
ISoLA (4)
Sebastian Kingston, Violet Ka I Pun, Volker Stolz
2024 — ch.
Enforced Dependencies for Active Objects.
Active Object Languages: Current Research Trends
Violet Ka I Pun, Volker Stolz
2024 J jnl
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
ACM Trans. Program. Lang. Syst.
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024 — ed.
Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2024 J jnl
Proving Correctness of Parallel Implementations of Transition System Models.
ACM Trans. Program. Lang. Syst.
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024 C conf
Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling.
COORDINATION
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
2023 Misc conf
A Static Analyser for Resource Sensitive Workflow Models.
TASE
Muhammad Rizwan Ali, Violet Ka I Pun
2023 J jnl
Cost analysis for a resource sensitive workflow modelling language.
Sci. Comput. Program.
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
2023 C conf
Modular Soundness Checking of Feature Model Evolution Plans.
ICTAC
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2023 — ed.
Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), Leicester, United Kingdom, July 21, 2023.
HEDA@STAF
Wendy MacCaull, Violet Ka I Pun
2023 J jnl
Proving Correctness of Parallel Implementations of Transition System Specifications.
CoRR
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2022 — conf
A Notion of Equivalence for Refactorings with Abstract Execution.
ISoLA (2)
Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
2022 J jnl
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data.
IEEE Access
Amin Aminifar, Matin Shokri, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
2022 — conf
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.
The Logic of Software. A Tasting Menu of Formal Methods
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2022 J jnl
LAGC Semantics of Concurrent Programming Languages.
CoRR
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2021 — conf
Cost Analysis for an Actor-Based Workflow Modelling Language.
SBMF
Muhammad Rizwan Ali, Violet Ka I Pun
2021 — conf
Diversity-Aware Anonymization for Structured Health Data.
EMBC
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
2021 — conf
Hardware-Assisted Online Data Race Detection.
Formal Methods in Outer Space
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
2021 — conf
Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning.
EMBC
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
2021 — conf
Towards a Resource-Aware Formal Modelling Language for Workflow Planning.
MEDI Workshops
Muhammad Rizwan Ali, Violet Ka I Pun
2020 B conf
Active Objects with Deterministic Behaviour.
IFM
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
2020 — conf
Refactoring and Active Object Languages.
ISoLA (2)
Volker Stolz, Violet Ka I Pun, Rohit Gheyi
2020 — ch.
SymPaths: Symbolic Execution Meets Partial Order Reduction.
20 Years of KeY
Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020 C ed.
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
ICTAC
Violet Ka I Pun, Volker Stolz, Adenilso Simão
2019 — conf
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.
EUSPN/ICTH
Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo
2018 J jnl
Parallel Cost Analysis.
ACM Trans. Comput. Log.
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez