Adrian Rutle

Comput. Stand. Interfaces, 2023

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.

[BibT_eX]

[DOI]

CoRR, 2023

Formalization and Analysis of BPMN Using Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Guest editorial to the theme section on multi-level modeling.

[BibT_eX]

[DOI]

Manuel Wimmer

Softw. Syst. Model., 2022

Suggesting model transformation repairs for rule-based languages using a contract-based testing approach.

[BibT_eX]

[DOI]

José María Conejero

Softw. Syst. Model., 2022

Fabricatable axis: an approach for modelling customized fabrication machines.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

AI-powered model repair: an experience report - lessons learned, challenges, and opportunities.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

PARMOREL: a framework for customizable model repair.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

The Visual Debugger Tool.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2021

Multi-Model Evolution through Model Repair.

[BibT_eX]

[DOI]

J. Object Technol., 2021

Addressing the trade off between smells and quality when refactoring class diagrams.

[BibT_eX]

[DOI]

J. Object Technol., 2021

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

2020

A query-retyping approach to model transformation co-evolution.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

GraphQL Federation: A Model-Based Approach.

[BibT_eX]

[DOI]

J. Object Technol., 2020

Model Repair with Quality-Based Reinforcement Learning.

[BibT_eX]

[DOI]

J. Object Technol., 2020

Improving Model Repair through Experience Sharing.

[BibT_eX]

[DOI]

J. Object Technol., 2020

Empowering Multilevel DSMLs with Integrated Runtime Verification.

[BibT_eX]

[DOI]

CoRR, 2020

A parametric model for creating customized fabrication machines.

[BibT_eX]

[DOI]

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

A comparative study of reinforcement learning techniques to repair models.

[BibT_eX]

[DOI]

José-Luis Pérez-de-la-Cruz

Lawrence Mandow

Ludovico Iovino

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

An extensible framework for customizable model repair.

[BibT_eX]

[DOI]

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Multilevel Typed Graph Transformations.

[BibT_eX]

[DOI]

Uwe Wolter

Proceedings of the Graph Transformation - 13th International Conference, 2020

Towards Multiple Model Synchronization with Comprehensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Formal Modelling and Incremental Verification of the MQTT IoT Protocol.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2019

Executing Multilevel Domain-Specific Models in Maude.

[BibT_eX]

[DOI]

Francisco Durán

J. Object Technol., 2019

Multilevel coupled model transformations for precise and reusable definition of model behaviour.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

A Multilevel Modelling Approach for Tourism Flows Detection.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems.

[BibT_eX]

[DOI]

Daneil Steen Losvik

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Personalized and Automatic Model Repairing using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

The MULTI Process Challenge.

[BibT_eX]

[DOI]

João Paulo A. Almeida

Manuel Wimmer

Thomas Kühne

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019).

[BibT_eX]

[DOI]

João Paulo A. Almeida

Manuel Wimmer

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Foundation for the Composition of Multilevel Domain-Specific Languages.

[BibT_eX]

[DOI]

Francisco Durán

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.

[BibT_eX]

[DOI]

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

Query-Based Impact Analysis of Metamodel Evolutions.

[BibT_eX]

[DOI]

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018

An Approach to Flexible Multilevel Modelling.

[BibT_eX]

[DOI]

Uwe Wolter

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Multimodel correspondence through inter-model constraints.

[BibT_eX]

[DOI]

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Model-driven engineering in RDF - a way to version control.

[BibT_eX]

[DOI]

Hans Georg Schaathun

Proceedings of the 31st Norsk Informatikkonferanse, 2018

CommonLang: A DSL for Defining Robot Tasks.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Handling constraints in model versioning.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Multilevel modelling of coloured petri nets.

[BibT_eX]

[DOI]

Francisco Durán

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A tool for the convergence of multilevel modelling approaches.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Automatic model repair using reinforcement learning.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

2017

Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Change-Preserving Model Repair.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

On reducing model transformation testing overhead.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

On Usage Of EEG Brain Control For Rehabilitation Of Stroke Patients.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Modelling and Simulation, 2016

A Game-Based Learning Framework For Controlling Brain-Actuated Wheelchairs.

[BibT_eX]

[DOI]

Rolf-Magnus Hjorungdal

Proceedings of the 30th European Conference on Modelling and Simulation, 2016

2015

Towards User-Friendly and Efficient Analysis with Alloy.

[BibT_eX]

[DOI]

Xiaoliang Wang

Yngve Lamo

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements.

[BibT_eX]

[DOI]

Kent Inge Fagerland Simonsen

Hans Georg Schaathun

Ralf Kirchhoff

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

Scalable And User-Friendly Simulation.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Modelling and Simulation, 2015

2014

A formalisation of deep metamodelling.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Scalable Verification of Model Transformations.

[BibT_eX]

[DOI]

Xiaoliang Wang

Yngve Lamo

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Model Checking Healthcare Workflows Using Alloy.

[BibT_eX]

[DOI]

Xiaoliang Wang