Adrian Rutle

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 60

Top Topics

Coloured Petri Nets

Reinforcement Learning

Graph Transformation

Top Venues

J. Object Technol.

MoDELS (Companion)

Softw. Syst. Model.

Publications

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