• Dynamic Conent Manager : en grafbasert læringsmodell utprøvd i matematikkundervisningen 

      Hinna, Kristin Ran Choi; Hole, Grete Oline; Kristensen, Terje; Lamo, Yngve; Eide, Sigvat AH (Chapter, 2009)
      Sammendrag En ny modell for e-læring, DCM-modellen, presenteres i denne artikkel-en. Det vises hvordan denne modellen kan anvendes i videreutdanning i matematikk. DCM-modellen er en e-læringsmodell som er en videreut-vikling ...
    • Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data 

      Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve (Peer reviewed; Journal article, 2022)
      Artificial intelligence and machine learning have recently attracted considerable attention in the healthcare domain. The data used by machine learning algorithms in healthcare applications is often distributed over multiple ...
    • A formal approach to modeling and model transformations in software engineering 

      Rutle, Adrian; Wolter, Uwe; Lamo, Yngve (Journal article, 2008-05)
      A software model is an abstract representa- tion of a softwaresystem which can be used to describe, at a higher abstraction level, different aspects of of the software system. Since the beginning of computer science, raising ...
    • Formalization and Analysis of BPMN Using Graph Transformation Systems 

      Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...
    • GraphQL Federation: A Model-Based Approach 

      Stünkel, Patrick; von Bargen, Ole; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2020)
      The Graph Query Language (GraphQL) is a framework for de- veloping Web Services, which works on the domain model level rather than the functions. While the declarative nature of this framework has already attracted the ...
    • Handling constraints in model versioning 

      Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (Journal article; Peer reviewed, 2018)
      In model-driven software engineering (MDSE), models are firstclass entities of software development and undergo a complex evolution during their life-cycles. As a consequence, there is a growing need for techniques and ...
    • An HL7 FHIR and GraphQL approach for interoperability between heterogeneous Electronic Health Record systems 

      Mukhiya, Suresh Kumar; Lamo, Yngve (Peer reviewed; Journal article, 2021)
      Heterogeneities in data representation and care processes create interoperability complexity among Electronic Health Record systems (EHRs). We can resolve such data and process level heterogeneities by following consistent ...
    • Internet-delivered mental health treatment systems in Scandinavia – A usability evaluation 

      Yogarajah, Aravinthan; Kenter, Robin Maria Francisca; Lamo, Yngve; Kaldo, Viktor; Nordgreen, Tine (Peer reviewed; Journal article, 2020)
      Mental health problems are a major public health concern worldwide. Approximately 50% of the population will experience mental problems during their life. Traditional treatment is based on psychopharmacotherapy or ...
    • A Model Based Slicing Technique for Process Mining Healthcare Information 

      Rabbi, Fazle; Lamo, Yngve; MacCaull, Wendy (Chapter, 2020)
      Process mining is a powerful technique which uses an organization’s event data to extract and analyse process flow information and develop useful process models. However, it is difficult to apply process mining techniques ...
    • Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System 

      Nyameino, Job Nyangena; Ebbesvik, Ben-Richard Sletten; Rabbi, Fazle; Were, Martin C.; Lamo, Yngve (Peer reviewed; Journal article, 2020)
      Clinical practice guidelines (CPGs) are a cornerstone of modern medical practice since they summarize the vast medical literature and provide care recommendations based on the current best evidence. However, there are ...
    • Multi-Model Evolution through Model Repair 

      Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve (Journal article; Peer reviewed, 2021)
      Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ...
    • 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 ...
    • A Reference Architecture for Data-Driven and Adaptive Internet-Delivered Psychological Treatment Systems: Software Architecture Development and Validation Study 

      Mukhiya, Suresh Kumar; Lamo, Yngve; Rabbi, Fazle (Peer reviewed; Journal article, 2022)
      Background: Internet-delivered psychological treatment (IDPT) systems are software applications that offer psychological treatments via the internet. Such IDPT systems have become one of the most commonly practiced and ...
    • Scalable verification of model transformations 

      Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2014)
      Model transformations are crucial in model driven engineering (MDE). Automatic execution of model transformations improves software development productivity. However, model transformations should be verified to ensure that ...
    • 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 ...
    • Towards Adaptive Technology in Routine Mental Healthcare 

      Lamo, Yngve; Mukhiya, Suresh Kumar; Rabbi, Fazle; Aminifar, Amin; Lillehaug, Svein Ivar; Tørresen, Jim; Pham, Minh H.; Côté-Allard, Ulysse Teller Masao; Noori, Farzan Majeed; Guribye, Frode; Inal, Yavuz; Flobak, Eivind; Wake, Jo Dugstad; Myklebost, Sunniva Brurok; Lundervold, Astri J.; Hammar, Åsa Karin; Nordby, Emilie Sektnan; Kahlon, Smiti; Kenter, Robin Maria Francisca; Sekse, Ragnhild Johanne Tveit; Griffin, Kristine Fonnes; Jakobsen, Petter; Ødegaard, Ketil Joachim; Skar, Yngvar Sigmund; Nordgreen, Tine (Peer reviewed; Journal article, 2022)
      This paper summarizes the information technology-related research findings after 5 years with the INTROducing Mental health through Adaptive Technology project. The aim was to improve mental healthcare by introducing new ...
    • Towards multiple model synchronization with comprehensive systems 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ...
    • Towards user-friendly and efficient analysis with alloy 

      Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2015)
    • Union Models for Model Families: Efficient Reasoning over Space and Time 

      Alwidian, Sanaa; Amyot, Daniel; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      A model family is a set of related models in a given language, with commonalities and variabilities that result from evolution of models over time and/or variation over intended usage (the spatial dimension). As the family ...