Ka I Pun

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 18

Top Topics

Business Processes

Randomized Trees

Topic Hierarchies

Concurrent Programs

Top Venues

J. Log. Algebraic Methods Program.

Publications

Amin Aminifar, Fazle Rabbi, Ka I Pun, Yngve Lamo
Privacy preserving distributed extremely randomized trees. SAC (2021)
Suresh Kumar Mukhiya, Usman Ahmed, Fazle Rabbi, Ka I Pun, Yngve Lamo
Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. CBMS (2020)
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
From SOS to Asynchronously Communicating Actors. SEFM Workshops (2019)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. 179 (2019)
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez
Time analysis of actor programs. J. Log. Algebraic Methods Program. 105 (2019)
Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE (2019)
Suresh Kumar Mukhiya, Fazle Rabbi, Ka I Pun, Yngve Lamo
An architectural design for self-reporting e-health systems. SEH@ICSE (2019)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
Deployment by Construction for Multicore Architectures. ISoLA (1) (2018)
Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz
Stream-based dynamic data race detection. NIK (2018)
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX (2017)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS (2017)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM (2017)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
An operational semantics of cache coherent multicore architectures. SAC (2016)
Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
Information Flow Analysis for Go. ISoLA (1) (2016)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85 (6) (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures. WRLA (2016)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS (2015)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time complexity of concurrent programs. CoRR (2015)
Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM (2015)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Behaviour Inference for Deadlock Checking. TASE (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock Checking by Data Race Detection. FSEN (2013)
Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz
Delta-Oriented Monitor Specification. ISoLA (1) (2012)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. 81 (3) (2012)
Ka I Pun, Yain-Whar Si, Kin-Chan Pau
Key performance indicators for traffic intensive web-enabled business processes. Bus. Process. Manag. J. 18 (2) (2012)
Ka I Pun, Yain-Whar Si
Audit Trail Analysis for Traffic Intensive Web Application. ICEBE (2009)
Ka I Pun, Kin-Chan Pau, Yain-Whar Si
Modeling Support for Simulating Traffic Intensive Web Applications. Web Intelligence/IAT Workshops (2008)