Yngve Lamo

Orcid: 0000-0001-9196-1779

Affiliations:
  • Western Norway University of Applied Science, Norway


According to our database1, Yngve Lamo authored at least 79 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
Log. Methods Comput. Sci., 2024

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR, 2024

A Model-Based Framework for News Content Analysis.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

The Visual Debugger: Past, Present, and Future.
Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling.
Proceedings of the Coordination Models and Languages, 2024

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
Proceedings of the Best Dissertation Award, 2024

Improving Self-Report Diaries: A Respondent-Centric Design Approach.
Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2023
Union Models for Model Families: Efficient Reasoning over Space and Time.
Algorithms, February, 2023

Cost analysis for a resource sensitive workflow modelling language.
Sci. Comput. Program., 2023

Behavioral consistency in multi-modeling.
J. Object Technol., 2023

Towards a Multi-dimensional Health Data Analysis Framework.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Challenges for AI in Healthcare Systems.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Formalization and Analysis of BPMN Using Graph Transformation Systems.
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data.
IEEE Access, 2022

The Visual Debugger Tool.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021
Multi-Model Evolution through Model Repair.
J. Object Technol., 2021

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.
Formal Aspects Comput., 2021

Privacy preserving distributed extremely randomized trees.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Scalable Privacy-Preserving Distributed Extremely Randomized Trees for Structured Data With Multiple Colluding Parties.
Proceedings of the IEEE International Conference on Acoustics, 2021

Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Diversity-Aware Anonymization for Structured Health Data.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020
GraphQL Federation: A Model-Based Approach.
J. Object Technol., 2020

Adaptive Systems for Internet-Delivered Psychological Treatments.
IEEE Access, 2020

A Model Based Slicing Technique for Process Mining Healthcare Information.
Proceedings of the Systems Modelling and Management - First International Conference, 2020

Towards Multiple Model Synchronization with Comprehensive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

Adaptation of IDPT System Based on Patient-Authored Text Data using NLP.
Proceedings of the 33rd IEEE International Symposium on Computer-Based Medical Systems, 2020

2019
A Model Driven Approach to the Design of a Gamified e-Learning System for Clinical Guidelines.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

An architectural design for self-reporting e-health systems.
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.
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

A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

2018
Multimodel correspondence through inter-model constraints.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Analysis and Evaluation of Conformance Preserving Graph Transformation Rules.
Proceedings of the Model-Driven Engineering and Software Development, 2018

Static Analysis of Conformance Preserving Model Transformation Rules.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Handling constraints in model versioning.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
A Model Driven Engineering Approach for Heterogeneous Model Composition.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Change-Preserving Model Repair.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF.
Int. J. Inf. Syst. Model. Des., 2016

A Heuristic Approach for Resolving the Class Responsibility Assignment Case.
Proceedings of the 9th Transformation Tool Contest, 2016

CASD: A Framework for Context Aware Service Discovery and Selection.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Workshops, 2016

WebDPF: A Web-based Metamodelling and Model Transformation Environment.
Proceedings of the MODELSWARD 2016, 2016

Towards a categorical approach for meta-modelling epistemic game theory.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A Bottom Up Approach to Model Based Program Validation.
Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

A Bottom up Approach for Synchronous User Interaction Design and Workflow Modelling.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016

An MDE Approach for Modelling and Reasoning About Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2015
Co-evolving meta-models and their instance models: A formal approach based on graph transformation.
Sci. Comput. Program., 2015

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
Proceedings of the 28th Norsk Informatikkonferanse, 2015

Towards User-Friendly and Efficient Analysis with Alloy.
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

A Diagrammatic Approach to Model Completion.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014
Verification of Graph-based Model Transformations Using Alloy.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A Flexible Metamodelling Approach for Healthcare Systems.
Proceedings of the 2nd European Workshop on Practical Aspects of Health Informatics, 2014

Scalable Verification of Model Transformations.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Extended Content-boosted Matrix Factorization Algorithm for Recommender Systems.
Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

Co-ordination of Multiple Metamodels, with Application to Healthcare Systems.
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014

2013
Well-formed Model Co-evolution with Customizable Model Migration.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A declarative and bidirectional model transformation approach based on graph co-spans.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Customizing model migrations by rule schemes.
Proceedings of the 13th International Workshop on Principles of Software Evolution, 2013

A User-friendly Tool for Model Checking Healthcare Workflows.
Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

2012
A formal approach to the specification and transformation of constraints in MDE.
J. Log. Algebraic Methods Program., 2012

Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution.
Proceedings of the Graph Transformations - 6th International Conference, 2012

A metamodelling approach to behavioural modelling.
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012

2011
A Graph Transformation-Based Semantics for Deep Metamodelling.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
A formalisation of the copy-modify-merge approach to version control in MDE.
J. Log. Algebraic Methods Program., 2010

Enforcement of Patterns by Constraint-Aware Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

A Formalisation of Constraint-Aware Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Dynamic Content Manager - A New Conceptual Model for E-Learning.
Proceedings of the Web Information Systems and Mining, International Conference, 2009

A Diagrammatic Formalisation of MOF-Based Modelling Languages.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

A Category-Theoretical Approach to the Formalisation of Version Control in MDE.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
A diagrammatic approach to model transformations.
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

A model for dynamic content based e-learning systems.
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

2006
Quantifier-free logic for nondeterministic theories.
Theor. Comput. Sci., 2006

2003
Quantifier-free logic for multialgebraic theories.
Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002
Composition and refinement of specifications and parameterised data types.
Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Combining Specification Formalisms in the ?General Logic? of Multialgebras.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001
Specification of Parametrized Programs - Persistency Revisited.
Nord. J. Comput., 2001

Modeling Partiality by Nondeterminism.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001


  Loading...