default search action
Adrian Rutle
Person information
- affiliation: Western Norway University of Applied Sciences, Bergen, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]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. Log. Methods Comput. Sci. 20(4) (2024) - [c50]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König:
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. BPM (Demos / Resources Forum) 2024: 66-70 - [c49]Tim Kräuter
, Patrick Stünkel
The Visual Debugger: Past, Present, and Future. IDE@ICSE 2024: 1-6 - [i8]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo:
The Visual Debugger: Past, Present, and Future. CoRR abs/2403.03683 (2024) - [i7]Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo:
The Visual Debugger Tool. CoRR abs/2404.12932 (2024) - [i6]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo:
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. CoRR abs/2407.03965 (2024) - [i5]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König:
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. CoRR abs/2408.06028 (2024) - 2023
- [j25]Jesús Rosa-Bilbao
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: 103676 (2023) - [j24]Jesús Rosa-Bilbao
CEPEDALoCo: An event-driven architecture for integrating complex event processing and blockchain through low-code. Internet Things 22: 100802 (2023) - [j23]Alejandro Rodríguez
Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. 130: 100831 (2023) - [j22]Tim Kräuter
Behavioral consistency in multi-modeling. J. Object Technol. 22(2): 1-15 (2023) - [c48]Tim Kräuter
Formalization and Analysis of BPMN Using Graph Transformation Systems. ICGT 2023: 204-222 - [i4]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 abs/2311.05243 (2023) - 2022
- [j21]Roberto Rodríguez-Echeverría
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach. Softw. Syst. Model. 21(1): 81-112 (2022) - [j20]Adrian Rutle, Manuel Wimmer:
Guest editorial to the theme section on multi-level modeling. Softw. Syst. Model. 21(2): 447-449 (2022) - [j19]Angela Barriga, Adrian Rutle, Rogardt Heldal:
AI-powered model repair: an experience report - lessons learned, challenges, and opportunities. Softw. Syst. Model. 21(3): 1135-1157 (2022) - [j18]Angela Barriga, Rogardt Heldal, Adrian Rutle, Ludovico Iovino
PARMOREL: a framework for customizable model repair. Softw. Syst. Model. 21(5): 1739-1762 (2022) - [j17]Frikk H. Fossdal
Fabricatable axis: an approach for modelling customized fabrication machines. Softw. Syst. Model. 21(5): 1907-1929 (2022) - [c47]Tim Kräuter
The Visual Debugger Tool. ICSME 2022: 494-498 - [e1]Yngve Lamo, Adrian Rutle:
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022. CEUR Workshop Proceedings 3264, CEUR-WS.org 2022 [contents] - 2021
- [j16]Patrick Stünkel
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Aspects Comput. 33(6): 1067-1114 (2021) - [j15]Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo:
Multi-Model Evolution through Model Repair. J. Object Technol. 20(1): 1:1-25 (2021) - [j14]Angela Barriga, Lorenzo Bettini, Ludovico Iovino
Addressing the trade off between smells and quality when refactoring class diagrams. J. Object Technol. 20(3): 1:1-15 (2021) - [j13]Alejandro Rodríguez
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. 15: 165-183 (2021) - 2020
- [j12]Angela Barriga, Adrian Rutle, Rogardt Heldal:
Improving Model Repair through Experience Sharing. J. Object Technol. 19(2): 13:1-21 (2020) - [j11]Ludovico Iovino
Model Repair with Quality-Based Reinforcement Learning. J. Object Technol. 19(2): 17:1-21 (2020) - [j10]Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo:
GraphQL Federation: A Model-Based Approach. J. Object Technol. 19(2): 18:1-21 (2020) - [j9]Adrian Rutle, Ludovico Iovino
A query-retyping approach to model transformation co-evolution. Softw. Syst. Model. 19(5): 1107-1138 (2020) - [c46]Patrick Stünkel
Towards Multiple Model Synchronization with Comprehensive Systems. FASE 2020: 335-356 - [c45]Uwe Wolter
Multilevel Typed Graph Transformations. ICGT 2020: 163-182 - [c44]Angela Barriga, Rogardt Heldal, Ludovico Iovino
An extensible framework for customizable model repair. MoDELS 2020: 24-34 - [c43]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: 47:1-47:9 - [c42]Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle:
A parametric model for creating customized fabrication machines. MoDELS 2020: 143-153 - [i3]Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz:
Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR abs/2005.11366 (2020) - [i2]Uwe Wolter, Fernando Macías, Adrian Rutle:
Multilevel Typed Graph Transformations. CoRR abs/2006.14612 (2020)
2010 – 2019
- 2019
- [j8]Fernando Macías
Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. 106: 167-195 (2019) - [j7]Alejandro Rodríguez
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18(2): 4:1-21 (2019) - [j6]Alejandro Rodríguez
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. 14: 126-145 (2019) - [c41]Alejandro Rodríguez
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD 2019: 57-72 - [c40]Ludovico Iovino
Query-Based Impact Analysis of Metamodel Evolutions. SEAA 2019: 458-465 - [c39]Suresh Kumar Mukhiya
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. EUSPN/ICTH 2019: 338-345 - [c38]João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer:
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019). MoDELS (Companion) 2019: 64-65 - [c37]Alejandro Rodríguez
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) 2019: 88-97 - [c36]Maria Teresa Rossi
A Multilevel Modelling Approach for Tourism Flows Detection. MoDELS (Companion) 2019: 103-112 - [c35]João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer, Thomas Kühne
The MULTI Process Challenge. MoDELS (Companion) 2019: 164-167 - [c34]Angela Barriga, Adrian Rutle, Rogardt Heldal:
Personalized and Automatic Model Repairing using Reinforcement Learning. MoDELS (Companion) 2019: 175-181 - [c33]Daneil Steen Losvik, Adrian Rutle:
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems. MoDELS (Companion) 2019: 549-558 - [i1]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 abs/1901.05754 (2019) - 2018
- [j5]Fernando Macías
An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13: 10:1-10:35 (2018) - [c32]Alejandro Rodríguez
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD 2018: 99-118 - [c31]Adrian Rutle, Ludovico Iovino
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. ECMFA 2018: 80-96 - [c30]Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
Handling constraints in model versioning. MoDELS (Workshops) 2018: 284-292 - [c29]Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye:
CommonLang: A DSL for Defining Robot Tasks. MoDELS (Workshops) 2018: 433-442 - [c28]Fernando Macías, Adrian Rutle, Volker Stolz:
A tool for the convergence of multilevel modelling approaches. MoDELS (Workshops) 2018: 633-642 - [c27]Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías:
Multilevel modelling of coloured petri nets. MoDELS (Workshops) 2018: 663-672 - [c26]Angela Barriga, Adrian Rutle, Rogardt Heldal:
Automatic model repair using reinforcement learning. MoDELS (Workshops) 2018: 781-786 - [c25]Hans Georg Schaathun, Adrian Rutle:
Model-driven engineering in RDF - a way to version control. NIK 2018 - [c24]Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
Multimodel correspondence through inter-model constraints. Programming 2018: 9-17 - [c23]Hugo Bruneliere
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. STAF Workshops 2018: 536-543 - 2017
- [c22]Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle:
Change-Preserving Model Repair. FASE 2017: 283-299 - [c21]Fernando Macías, Adrian Rutle, Volker Stolz:
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. MoDELS (Satellite Events) 2017: 269-273 - 2016
- [c20]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: 544-553 - [c19]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: 554-563 - [c18]Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle:
On reducing model transformation testing overhead. PAME/VOLT@MoDELS 2016: 58-67 - [c17]Fernando Macías, Adrian Rutle, Volker Stolz:
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. MULTI@MoDELS 2016: 66-75 - 2015
- [c16]Adrian Rutle, Hao Wang
Scalable And User-Friendly Simulation. ECMS 2015: 164-170 - [c15]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: 545-552 - [c14]Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Towards User-Friendly and Efficient Analysis with Alloy. MoDeVVa@MoDELS 2015: 28-37 - 2014
- [j4]Alessandro Rossini, Juan de Lara, Esther Guerra
A formalisation of deep metamodelling. Formal Aspects Comput. 26(6): 1115-1152 (2014) - [c13]Xiaoliang Wang, Adrian Rutle:
Model Checking Healthcare Workflows Using Alloy. EUSPN/ICTH 2014: 481-488 - [c12]Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Scalable Verification of Model Transformations. MoDeVVa@MoDELS 2014: 29-38 - 2013
- [c11]Adrian Rutle, Fazle Rabbi
A User-friendly Tool for Model Checking Healthcare Workflows. EUSPN/ICTH 2013: 317-326 - [c10]Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara:
A declarative and bidirectional model transformation approach based on graph co-spans. PPDP 2013: 1-12 - 2012
- [j3]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): 422-457 (2012) - [c9]Adrian Rutle, Wendy MacCaull, Hao Wang
A metamodelling approach to behavioural modelling. BM-FA 2012: 5 - [c8]Adrian Rutle, Hao Wang
A Formal Diagrammatic Approach to Compensable Workflow Modelling. FHIES 2012: 194-212 - [c7]Hao Wang
A Formal Diagrammatic Approach to Timed Workflow Modelling. TASE 2012: 167-174 - [c6]Fazle Rabbi
A Model Slicing Method for Workflow Verification. FESCA 2012: 79-93 - 2011
- [c5]Alessandro Rossini, Juan de Lara
A Graph Transformation-Based Semantics for Deep Metamodelling. AGTIVE 2011: 19-34 - 2010
- [j2]Yngve Lamo, Adrian Rutle, Florian Mantz:
Enforcement of Patterns by Constraint-Aware Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [j1]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): 636-658 (2010) - [c4]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Formalisation of Constraint-Aware Model Transformations. FASE 2010: 13-28
2000 – 2009
- 2009
- [c3]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE 2009: 64-78 - [c2]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) 2009: 37-56 - 2008
- [c1]Adrian Rutle, Uwe Wolter, Yngve Lamo:
A diagrammatic approach to model transformations. EATIS 2008
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: