Violet Ka I Pun

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Workflow Models

Modelling Language

Randomized Trees

Top Venues

Formal Methods in Outer Space

Publications

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. COORDINATION (2024)
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
Cost analysis for a resource sensitive workflow modelling language. Sci. Comput. Program. 225 (2023)
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR (2023)
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
Modular Soundness Checking of Feature Model Evolution Plans. ICTAC (2023)
Muhammad Rizwan Ali, Violet Ka I Pun
A Static Analyser for Resource Sensitive Workflow Models. TASE (2023)
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Amin Aminifar, Matin Shokri, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. IEEE Access 10 (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) (2022)
Muhammad Rizwan Ali, Violet Ka I Pun
Towards a Resource-Aware Formal Modelling Language for Workflow Planning. MEDI Workshops (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space (2021)
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. EMBC (2021)
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Diversity-Aware Anonymization for Structured Health Data. EMBC (2021)
Muhammad Rizwan Ali, Violet Ka I Pun
Cost Analysis for an Actor-Based Workflow Modelling Language. SBMF (2021)
Volker Stolz, Violet Ka I Pun, Rohit Gheyi
Refactoring and Active Object Languages. ISoLA (2) (2020)
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
Active Objects with Deterministic Behaviour. IFM (2020)
Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. EUSPN/ICTH (2019)
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
Parallel Cost Analysis. ACM Trans. Comput. Log. 19 (4) (2018)