Arbeids- og kompetanseområde
Programvareutvikling Modelldrevet progamvareutvilling Programvareutviklingsteori Domenespesifikke språk Prosessmodellering Arbeidsflytmodellering Tingenes Internett Programvareutvkling for Robotikk Programvarearkitektur eHelse og helseprosesser Mobile applikasjoner
Publication track record at DBLP.
- Modellbasert programvareutvikling og pålitelige datasystemer
- Forskningsmetode for masterprosjekter innen programvareutvikling
Publikasjonar
-
Formalization and Analysis of BPMN Using Graph Transformation Systems
-
Behavioral consistency in multi-modeling
-
CEPEDALoCo: An event-driven architecture for integrating complex event processing and blockchain through low-code
-
Composition of multilevel domain-specific modelling languages
-
Preface to HEDA 2022: The International Workshop on Health Data
-
The Visual Debugger Tool
-
EDALoCo: Enhancing the accessibility of blockchains through a low-code approach to the development of event-driven applications for smart contract management
-
Fabricatable axis: an approach for modelling customized fabrication machines
-
PARMOREL: a framework for customizable model repair
-
Guest editorial to the theme section on multi-level modeling
-
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities
-
Addressing the trade off between smells and quality when refactoring class diagrams
-
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
-
Multi-Model Evolution through Model Repair
-
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
-
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms
-
A comparative study of reinforcement learning techniques to repair models
-
A parametric model for creating customized fabrication machines
-
Improving Model Repair through Experience Sharing
-
Model Repair with Quality-Based Reinforcement Learning
-
An extensible framework for customizable model repair
-
Towards multiple model synchronization with comprehensive systems: Extended version
-
GraphQL Federation: A Model-Based Approach
-
A query-retyping approach to model transformation co-evolution
-
Multilevel Typed Graph Transformations
-
Towards multiple model synchronization with comprehensive systems
-
A Foundation for the Composition of Multilevel Domain-Specific Languages
-
Personalized and Automatic Model Repairing using Reinforcement Learning
-
The MULTI Process Challenge
-
The MULTI Process Challenge
-
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)
-
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)
-
Query-Based Impact Analysis of Metamodel Evolutions
-
Query-Based Impact Analysis of Metamodel Evolutions
-
A Multilevel Modelling Approach for Tourism Flows Detection
-
A Multilevel Modelling Approach for Tourism Flows Detection
-
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems
-
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems
-
Automatic model repairing using deep reinforcement learning
-
Towards quality assurance in repaired models with PARMOREL
-
Composition of Multilevel Modelling Hierarchies
-
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method
-
Formal Modelling and Incremental Verification of the MQTT IoT Protocol
-
Executing multilevel domain-specific models in maude
-
Personalized and Automatic Model Repairing using Reinforcement Learning
-
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR
-
Preface of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (MMHS 2018)
-
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour
-
A Visual Framework for Transparent and Accessible Machine Learning
-
Automatic model repair using reinforcement learning
-
Model-driven engineering for design-runtime interaction in complex systems: Scientific challenges and roadmap: Report on the MDE@DeRun 2018 workshop
-
A Roadmap for Multi-Model Consistency Management
-
Multimodel Correspondence through Inter-model Constraints
-
Handling constraints in model versioning
-
Multilevel modelling of coloured Petri nets
-
A tool for the convergence of multilevel modelling approaches
-
Model-Driven Software Engineering in the Resource Description Framework: a way to version control
-
CommonLang: a DSL for defining robot tasks
-
On modelling and validation of the MQTT IoT protocol for M2M communication
-
Automatic transformation co-evolution using traceability models and graph transformation
-
An Approach to Flexible Multilevel Modelling
-
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation
-
Multimodel Correspondence through Inter-model Constraints
-
Towards Domain-Specific CPN Modelling Languages
-
Towards an Autonomous Robot Architecture Combining Complex Event Processing and Multilevel Modelling
-
Coordination and Amalgamation of Multilevel Coupled Model Transformations
-
Towards Domain-Specific CPN Modelling Languages
-
Change-preserving model repair
-
Multilevel modelling with multecore a contribution to the MULTI 2017 challenge
-
From Graph Transformations to the Diagram Predicate Framework
-
Integration of Runtime Verification into Metamodeling
-
Multilevel Behavioural Metamodelling
-
Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations
-
On Usage Of EEG Brain Control For Rehabilitation Of Stroke Patients
-
A Game-based Learning Framework for Controlling Brain-Actuated Wheelchairs
-
On reducing model transformation testing overhead
-
MultEcore: Combining the best of fixed-level and multilevel metamodelling
-
A Property Specification Language for Runtime Verification of Executable Models
-
Scalable And User-Friendly Simulation
-
Towards user-friendly and efficient analysis with alloy
-
Model-Driven Software Engineering: A Behavioural Perspective (keynote)
-
Model-driven software engineering in practice: A content analysis software for health reform agreements
-
NAUTILUS21 - A generic, Integrated, and scalable 3D Ocean simulator for Scientific Exploration and management of Norway's Coastal waters and fjords.
-
Nautilus21 --- A generic, integrated, and scalable 3D ocean simulator for scientific exploration and management of Norway’s coastal waters and fjords
-
A World of Models: Structure and Behavior
-
Model checking healthcare workflows using alloy
-
Scalable verification of model transformations
-
A formalisation of deep metamodelling
-
Robotex 2013 i Tallinn
-
Robotsumo
-
On exploiting progress for memory-efficient verification of diagrammatic workflows
-
A User-friendly Tool for Model Checking Healthcare Workflows
-
A declarative and bidirectional model transformation approach based on graph co-spans
-
A Model Slicing Method for Workflow Verification
-
A Formal Diagrammatic Approach to Compensable Workflow Modelling
-
DPF Workbench: a multi-level language workbench for MDE
-
Model-Driven Engineering of Maritime Systems
-
A Graph Transformation-Based Semantics for Deep Metamodelling
-
A Metamodel Approach to Model Driven Service Development
-
A metamodelling approach to behavioural modelling
-
DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-) Modelling Environment
-
A formal approach to the specification and transformation of constraints in MDE
-
A Formal Diagrammatic Approach to Timed Workflow Modelling
-
A Graph Transformation-Based Semantics for Deep Metamodelling
-
DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment
-
A Formal Approach to Data Validation Constraints in MDE
-
Enforcement of Patterns by Constraint-Aware Model Transformations
-
Groovy and Grails meet Eclipse Modeling Framework
-
Enforcement of Patterns by Constraint-Aware Model Transformations
-
Diagram Predicate Framework: A Formal Approach to MDE
-
A Formalisation of Constraint-Aware Model Transformations
-
Diagram Predicate Framework: A Formal Approach to MDE
-
Computer Science and Society: Is a New Social Contract Possible?
-
A formalisation of the copy-modify-merge approach to version control in MDE
-
Constraint-Aware Model Merging
-
Towards a Formal Approach to Metamodel Evolution
-
A Category-Theoretical Approach to the Formalisation of Version Control in MDE
-
A Diagrammatic Formalisation of MOF-Based Modelling Languages
-
Constraint-Aware Model Transformations
-
Data Validation Constraints in MDE
-
A Diagrammatic Approach to Model Transformations
-
Generalized Sketches and Model Driven Architecture
-
Generalized Sketches and Model Driven Architecture
-
A formal approach to modeling and model transformations in software engineering
-
A Formal Approach to Modeling and Model Transformations in Software Engineering
-
Version Control in MDE
-
Automatic Definition of Model Transformations at the Instance Level
-
A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE
-
Generalized Sketches and Model Driven Development
-
Generalized Sketches and Model Driven Development
-
Generalized Sketches as an Extention to EMF
-
Generalized Sketches and Model Driven Architecture
-
Generalized Sketches and Model Driven Architecture
-
Diagrammatic software specification
-
Diagrammatic software specification
-
Diagramatic software specification