Browsing HVL Open by Author "Pun, Ka I"

Now showing items 1-11 of 11

    • A GraphQL approach to Healthcare Information Exchange with HL7 FHIR 

      Mukhiya, Suresh Kumar; Rabbi, Fazle; Rutle, Adrian; Pun, Ka I; Lamo, Yngve (Journal article; Peer reviewed, 2019)
      Interoperability is accepted as a fundamental necessity for the successful realization of Healthcare Information Systems. It can be achieved by utilizing consistent standards defining syntactic and semantic meaning of the ...

    • Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review 

      Mukhiya, Suresh Kumar; Wake, Jo Dugstad; Inal, Yavuz; Pun, Ka I; Lamo, Yngve (Peer reviewed; Journal article, 2020)
      Background: Internet-delivered psychological treatments (IDPTs) are built on evidence-based psychological treatment models, such as cognitive behavioral therapy, and are adjusted for internet use. The use of internet ...

    • Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach 

      de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi (Peer reviewed; Journal article, 2019)
      Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance ...

    • From SOS to asynchronously communicating actors 

      de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Peer reviewed; Journal article, 2020)
      Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...

    • Hardware-Assisted Online Data Race Detection 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker (Chapter; Peer reviewed, 2021)
      Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This ...

    • Implementing SOS with Active Objects: A Case Study of a Multicore Memory System 

      Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Journal article; Peer reviewed, 2019)
      This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification ...

    • A Practical Methodology for Anonymization of Structured Health Data 

      Aminifar, Amin; Lamo, Yngve; Pun, Ka I; Rabbi, Fazle (Peer reviewed; Journal article, 2019)
      Hospitals, as data custodians, have the need to share a version of the data in hand with external research institutes for analysis purposes. For preserving the privacy of the patients, anonymization methods are employed ...

    • Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) 

      Pun, Ka I; Stolz, Volker; Fazeldehkordi, Elahe; Owe, Olaf; Ramezanifarkhani, Toktam; Damasceno, Carlos Diego Nascimento; Damasceno, Carlos Diego Nascimento; Ahishakiye, Faustin; Kristensen, Lars Michael; Tabar, Asmae Heydari; Bubel, Richard; Hähnle, Reiner; Sagemüller, Justus; Verdier, Olivier (HVL-rapport;14/2020, Report, 2020)
      Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19), which was held on 3 December, 2019 at Western Norway ...

    • Refactoring and Active Object Languages 

      Stolz, Volker; Pun, Ka I; Gheyi, Rohit (Peer reviewed; Journal article, 2020)
      Refactorings are important for object-oriented (OO) programs. Actor- and active object programs place an emphasis on concurrency. In this article, we show how well-known OO refactorings such as Hide Delegate, Move Method, ...

    • A software framework for adaptive and interoperable internet-delivered psychological treatments 

      Mukhiya, Suresh Kumar (Doctoral thesis, 2021)
      BACKGROUND Statistics unveil the predominance of mental and neurological disorders globally. Handling these mental and neurological disorders is economically, physically and emotionally challenging. Proper healthcare ...

    • SymPaths: Symbolic Execution Meets Partial Order Reduction 

      de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Peer reviewed; Journal article, 2020)
      Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...