Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data von Aminifar, Amin, Shokri, Matin, Rabbi, Fazle, Pun, Violet Ka I., Lamo, Yngve

Volltext

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR von Mukhiya, Suresh Kumar, Rabbi, Fazle, I Pun, Violet Ka, Rutle, Adrian, Lamo, Yngve

Volltext

Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review von Mukhiya, Suresh Kumar, Wake, Jo Dugstad, Inal, Yavuz, Pun, Ka, Lamo, Yngve

Volltext

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach von de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi

Volltext

Theoretical Aspects of Computing - ICTAC 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings von Pun, Violet Ka I, Stolz, Volker, Simao, Adenilso

Volltext

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System von Bezirgiannis, Nikolaos, de Boer, Frank, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Volltext

SymPaths: Symbolic Execution Meets Partial Order Reduction von de Boer, Frank S., Bonsangue, Marcello, Johnsen, Einar Broch, Pun, Violet Ka I, Tapia Tarifa, S. Lizeth, Tveito, Lars

Volltext

Modeling Deployment Decisions for Elastic Services with ABS von Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Volltext

A formal model of data access for multicore architectures with multilevel caches von Bijo, Shiji, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Volltext

Enforced Dependencies for Active Objects von Pun, Violet Ka I, Stolz, Volker

Volltext

A Notion of Equivalence for Refactorings with Abstract Execution von Abusdal, Ole Jørgen, Kamburjan, Eduard, Ka I. Pun, Violet, Stolz, Volker

Volltext

Time analysis of actor programs von Laneve, Cosimo, Lienhardt, Michael, Pun, Ka I, Román-Díez, Guillermo

Volltext

From SOS to Asynchronously Communicating Actors von de Boer, Frank, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Volltext

Effect-polymorphic behaviour inference for deadlock checking von Pun, Ka I, Steffen, Martin, Stolz, Volker

Volltext

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages von Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia

Volltext

Modular Soundness Checking of Feature Model Evolution Plans von Motzfeldt, Ida Sandberg, Yu, Ingrid Chieh, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker

Volltext

Deadlock checking by data race detection von Pun, Ka I, Steffen, Martin, Stolz, Volker

Volltext

Hardware-Assisted Online Data Race Detection von Ahishakiye, Faustin, Jarabo, José Ignacio Requeno, Pun, Violet Ka I, Stolz, Volker

Volltext

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages von Din, Crystal Chang, Hähnle, Reiner, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Volltext

A Static Analyser for Resource Sensitive Workflow Models von Ali, Muhammad Rizwan, Pun, Violet Ka I

Volltext