Violet Ka I Pun

According to our database, Violet Ka I Pun authored at least 52 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., September, 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., March, 2024

Automated Clone Elimination in Python Tests.

Sebastian Kingston, Violet Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling.

Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun

Proceedings of the Coordination Models and Languages, 2024

Enforced Dependencies for Active Objects.

Violet Ka I Pun, Volker Stolz

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Cost analysis for a resource sensitive workflow modelling language.

Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun

Sci. Comput. Program., 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

A Static Analyser for Resource Sensitive Workflow Models.

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Theoretical Aspects of Software Engineering, 2023

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 the Theoretical Aspects of Computing - ICTAC 2023, 2023

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

Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data.

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

IEEE Access, 2022

A Notion of Equivalence for Refactorings with Abstract Execution.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.

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

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Cost Analysis for an Actor-Based Workflow Modelling Language.

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

Privacy preserving distributed extremely randomized trees.

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

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

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

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

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

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Diversity-Aware Anonymization for Structured Health Data.

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

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Hardware-Assisted Online Data Race Detection.

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

Proceedings of the Formal Methods in Outer Space, 2021

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

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Refactoring and Active Object Languages.

Volker Stolz, Violet Ka I Pun, Rohit Gheyi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Active Objects with Deterministic Behaviour.

Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

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

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

Proceedings of the 33rd IEEE International Symposium on Computer-Based Medical Systems, 2020

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

Time analysis of actor programs.

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

J. Log. Algebraic Methods Program., 2019

From SOS to Asynchronously Communicating Actors.

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

Proceedings of the Software Engineering and Formal Methods, 2019

An architectural design for self-reporting e-health systems.

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

Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2019

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.

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

Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

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

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

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Stream-based dynamic data race detection.

Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Deployment by Construction for Multicore Architectures.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

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

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

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

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 25th International Conference on Software, 2017

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

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

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Effect-polymorphic behaviour inference for deadlock checking.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2016

Modeling Deployment Decisions for Elastic Services with ABS.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Maude Framework for Cache Coherent Multicore Architectures.

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

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

An operational semantics of cache coherent multicore architectures.

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Information Flow Analysis for Go.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Meeting Deadlines, Elastically.

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

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Time complexity of concurrent programs.

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

CoRR, 2015

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, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the Formal Methods for Multicore Programming, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.

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

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Deadlock checking by data race detection.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2014

Behaviour Inference for Deadlock Checking.

Ka I Pun, Martin Steffen, Volker Stolz

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2012

Deadlock checking by a behavioral effect system for lock handling.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 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

Delta-Oriented Monitor Specification.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2009

Audit Trail Analysis for Traffic Intensive Web Application.

Ka I Pun, Yain-Whar Si

Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

2008

Modeling Support for Simulating Traffic Intensive Web Applications.

Ka I Pun, Kin-Chan Pau, Yain-Whar Si

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008