Adrian Rutle

89 papers A 4B 9C 5Misc 1Journal 36Unranked 33
YearRankTypeTitle / Venue / Authors
2025 B conf
Automated Interoperability with ML/AI: A Survey of Model/Schema Approaches.
CoopIS
Joshua Tetteh Ocansey, Yngve Lamo, Adrian Rutle, Fazle Rabbi, Bahareh Fatemi
2025 A conf
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.
MODELS
Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2025 J jnl
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.
CoRR
Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2024 J jnl
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
Log. Methods Comput. Sci.
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2024 — conf
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
BPM (Demos / Resources Forum)
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 J jnl
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 J jnl
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo
2024 J jnl
Preface to the JOT special issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024).
J. Object Technol.
Judith Michael, Adrian Rutle
2024 J jnl
The Visual Debugger Tool.
CoRR
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
2024 — conf
The Visual Debugger: Past, Present, and Future.
IDE@ICSE
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2024 J jnl
The Visual Debugger: Past, Present, and Future.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2023 J jnl
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
CoRR
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2023 J jnl
Behavioral consistency in multi-modeling.
J. Object Technol.
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel
2023 J jnl
CEPEDALoCo: An event-driven architecture for integrating complex event processing and blockchain through low-code.
Internet Things
Jesús Rosa-Bilbao, Juan Boubeta-Puig, Adrian Rutle
2023 J jnl
Composition of multilevel domain-specific modelling languages.
J. Log. Algebraic Methods Program.
Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter
2023 J jnl
EDALoCo: Enhancing the accessibility of blockchains through a low-code approach to the development of event-driven applications for smart contract management.
Comput. Stand. Interfaces
Jesús Rosa-Bilbao, Juan Boubeta-Puig, Adrian Rutle
2023 B conf
Formalization and Analysis of BPMN Using Graph Transformation Systems.
ICGT
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2022 J jnl
AI-powered model repair: an experience report - lessons learned, challenges, and opportunities.
Softw. Syst. Model.
Angela Barriga, Adrian Rutle, Rogardt Heldal
2022 J jnl
Fabricatable axis: an approach for modelling customized fabrication machines.
Softw. Syst. Model.
Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle
2022 J jnl
Guest editorial to the theme section on multi-level modeling.
Softw. Syst. Model.
Adrian Rutle, Manuel Wimmer
2022 J jnl
PARMOREL: a framework for customizable model repair.
Softw. Syst. Model.
Angela Barriga, Rogardt Heldal, Adrian Rutle, Ludovico Iovino
2022 — ed.
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022.
HEDA@Petri Nets
Yngve Lamo, Adrian Rutle
2022 J jnl
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach.
Softw. Syst. Model.
Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle, José María Conejero
2022 A conf
The Visual Debugger Tool.
ICSME
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
2021 J jnl
Addressing the trade off between smells and quality when refactoring class diagrams.
J. Object Technol.
Angela Barriga, Lorenzo Bettini, Ludovico Iovino, Adrian Rutle, Rogardt Heldal
2021 J jnl
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.
Formal Aspects Comput.
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2021 J jnl
Multi-Model Evolution through Model Repair.
J. Object Technol.
Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 J jnl
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.
Trans. Petri Nets Other Model. Concurr.
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2020 — conf
A comparative study of reinforcement learning techniques to repair models.
MoDELS (Companion)
Angela Barriga, Lawrence Mandow, José-Luis Pérez-de-la-Cruz, Adrian Rutle, Rogardt Heldal, Ludovico Iovino
2020 A conf
A parametric model for creating customized fabrication machines.
MoDELS
Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle
2020 J jnl
A query-retyping approach to model transformation co-evolution.
Softw. Syst. Model.
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2020 A conf
An extensible framework for customizable model repair.
MoDELS
Angela Barriga, Rogardt Heldal, Ludovico Iovino, Magnus Marthinsen, Adrian Rutle
2020 J jnl
Empowering Multilevel DSMLs with Integrated Runtime Verification.
CoRR
Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
2020 J jnl
GraphQL Federation: A Model-Based Approach.
J. Object Technol.
Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo
2020 J jnl
Improving Model Repair through Experience Sharing.
J. Object Technol.
Angela Barriga, Adrian Rutle, Rogardt Heldal
2020 J jnl
Model Repair with Quality-Based Reinforcement Learning.
J. Object Technol.
Ludovico Iovino, Angela Barriga, Adrian Rutle, Rogardt Heldal
2020 B conf
Multilevel Typed Graph Transformations.
ICGT
Uwe Wolter, Fernando Macías, Adrian Rutle
2020 J jnl
Multilevel Typed Graph Transformations.
CoRR
Uwe Wolter, Fernando Macías, Adrian Rutle
2020 B conf
Towards Multiple Model Synchronization with Comprehensive Systems.
FASE
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2019 — conf
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems.
MoDELS (Companion)
Daneil Steen Losvik, Adrian Rutle
2019 — conf
A Foundation for the Composition of Multilevel Domain-Specific Languages.
MoDELS (Companion)
Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán
2019 — conf
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.
EUSPN/ICTH
Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo
2019 — conf
A Multilevel Modelling Approach for Tourism Flows Detection.
MoDELS (Companion)
Maria Teresa Rossi, Martina De Sanctis, Ludovico Iovino, Adrian Rutle
2019 J jnl
Executing Multilevel Domain-Specific Models in Maude.
J. Object Technol.
Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
2019 J jnl
Formal Modelling and Incremental Verification of the MQTT IoT Protocol.
Trans. Petri Nets Other Model. Concurr.
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2019 J jnl
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour.
CoRR
Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2019 J jnl
Multilevel coupled model transformations for precise and reusable definition of model behaviour.
J. Log. Algebraic Methods Program.
Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2019 — conf
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.
PNSE@Petri Nets/ACSD
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2019 — conf
Personalized and Automatic Model Repairing using Reinforcement Learning.
MoDELS (Companion)
Angela Barriga, Adrian Rutle, Rogardt Heldal
2019 — conf
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019).
MoDELS (Companion)
João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer
2019 B conf
Query-Based Impact Analysis of Metamodel Evolutions.
SEAA
Ludovico Iovino, Adrian Rutle, Alfonso Pierantonio, Juri Di Rocco
2019 — conf
The MULTI Process Challenge.
MoDELS (Companion)
João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer, Thomas Kühne
2018 — conf
A tool for the convergence of multilevel modelling approaches.
MoDELS (Workshops)
Fernando Macías, Adrian Rutle, Volker Stolz
2018 J jnl
An Approach to Flexible Multilevel Modelling.
Enterp. Model. Inf. Syst. Archit.
Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter
2018 B conf
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.
ECMFA
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2018 — conf
Automatic model repair using reinforcement learning.
MoDELS (Workshops)
Angela Barriga, Adrian Rutle, Rogardt Heldal
2018 — conf
CommonLang: A DSL for Defining Robot Tasks.
MoDELS (Workshops)
Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye
2018 — conf
Handling constraints in model versioning.
MoDELS (Workshops)
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
2018 — conf
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.
STAF Workshops
Hugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
2018 — conf
Model-driven engineering in RDF - a way to version control.
NIK
Hans Georg Schaathun, Adrian Rutle
2018 — conf
Multilevel modelling of coloured petri nets.
MoDELS (Workshops)
Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
2018 — conf
Multimodel correspondence through inter-model constraints.
Programming
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2018 — conf
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.
PNSE@Petri Nets/ACSD
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2017 B conf
Change-Preserving Model Repair.
FASE
Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle
2017 — conf
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge.
MoDELS (Satellite Events)
Fernando Macías, Adrian Rutle, Volker Stolz
2016 C conf
A Game-Based Learning Framework For Controlling Brain-Actuated Wheelchairs.
ECMS
Rolf-Magnus Hjorungdal, Filippo Sanfilippo, Ottar L. Osen, Adrian Rutle, Robin T. Bye
2016 — conf
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.
MULTI@MoDELS
Fernando Macías, Adrian Rutle, Volker Stolz
2016 C conf
On Usage Of EEG Brain Control For Rehabilitation Of Stroke Patients.
ECMS
Tom Verplaetse, Filippo Sanfilippo, Adrian Rutle, Ottar L. Osen, Robin T. Bye
2016 — conf
On reducing model transformation testing overhead.
PAME/VOLT@MoDELS
Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle
2015 — conf
Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements.
EUSPN/ICTH
Adrian Rutle, Kent Inge Fagerland Simonsen, Hans Georg Schaathun, Ralf Kirchhoff
2015 C conf
Scalable And User-Friendly Simulation.
ECMS
Adrian Rutle, Hao Wang, Robin T. Bye, Ottar L. Osen
2015 — conf
Towards User-Friendly and Efficient Analysis with Alloy.
MoDeVVa@MoDELS
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
2014 J jnl
A formalisation of deep metamodelling.
Formal Aspects Comput.
Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter
2014 — conf
Model Checking Healthcare Workflows Using Alloy.
EUSPN/ICTH
Xiaoliang Wang, Adrian Rutle
2014 — conf
Scalable Verification of Model Transformations.
MoDeVVa@MoDELS
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
2013 — conf
A User-friendly Tool for Model Checking Healthcare Workflows.
EUSPN/ICTH
Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo
2013 C conf
A declarative and bidirectional model transformation approach based on graph co-spans.
PPDP
Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara
2012 — conf
A Formal Diagrammatic Approach to Compensable Workflow Modelling.
FHIES
Adrian Rutle, Hao Wang, Wendy MacCaull
2012 Misc conf
A Formal Diagrammatic Approach to Timed Workflow Modelling.
TASE
Hao Wang, Adrian Rutle, Wendy MacCaull
2012 — conf
A Model Slicing Method for Workflow Verification.
FESCA
Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle
2012 J jnl
A formal approach to the specification and transformation of constraints in MDE.
J. Log. Algebraic Methods Program.
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2012 — conf
A metamodelling approach to behavioural modelling.
BM-FA
Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo
2011 — conf
A Graph Transformation-Based Semantics for Deep Metamodelling.
AGTIVE
Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo
2010 B conf
A Formalisation of Constraint-Aware Model Transformations.
FASE
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2010 J jnl
A formalisation of the copy-modify-merge approach to version control in MDE.
J. Log. Algebraic Methods Program.
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
2010 J jnl
Enforcement of Patterns by Constraint-Aware Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Yngve Lamo, Adrian Rutle, Florian Mantz
2009 B conf
A Category-Theoretical Approach to the Formalisation of Version Control in MDE.
FASE
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2009 — conf
A Diagrammatic Formalisation of MOF-Based Modelling Languages.
TOOLS (47)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2008 C conf
A diagrammatic approach to model transformations.
EATIS
Adrian Rutle, Uwe Wolter, Yngve Lamo