Skip to content

Violet Ka I Pun

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

10

Active years

2019–2026

Best venue rank

C

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026CPPLayers of Confluence for Actors.Ludovic Henrio, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Violet Ka I Pun, Yannick Zakowski
2026FASEEASYRPL - A web-based tool for modelling and analysis of cross-organisational workflows.Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Romn-Dez
2025APLASFair Termination for Resource-Aware Active Objects.Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2024CoordinationSimulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling.Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
2024ISoLAAutomated Clone Elimination in Python Tests.Sebastian Kingston, Violet Ka I Pun, Volker Stolz
2023ICTACModular Soundness Checking of Feature Model Evolution Plans.Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2023TASEA Static Analyser for Resource Sensitive Workflow Models.Muhammad Rizwan Ali, Violet Ka I Pun
2022ISoLAA Notion of Equivalence for Refactorings with Abstract Execution.Ole Jrgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
2021MEDITowards a Resource-Aware Formal Modelling Language for Workflow Planning.Muhammad Rizwan Ali, Violet Ka I Pun
2020IFMActive Objects with Deterministic Behaviour.Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
2020ISoLARefactoring and Active Object Languages.Volker Stolz, Violet Ka I Pun, Rohit Gheyi
2019EUSPNA GraphQL approach to Healthcare Information Exchange with HL7 FHIR.Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo