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.

Underviser i

  • Modellbasert programvareutvikling og pålitelige datasystemer
  • Forskningsmetode for masterprosjekter innen programvareutvikling

Publikasjonar

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

    Rodriguez Tena, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2021)
  • An extensible framework for customizable model repair

    Barriga Rodriguez, Angela, Heldal, Rogardt, Iovino, Ludovico, Marthinsen, Magnus, Rutle, Adrian (2020)
  • A comparative study of reinforcement learning techniques to repair models

    Barriga Rodriguez, Angela, Mandow, Lawrence, Pérez de la Cruz, José Luis, Rutle, Adrian, Heldal, Rogardt, Iovino, Ludovico (2020)
  • Improving Model Repair through Experience Sharing

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2020)
  • A parametric model for creating customized fabrication machines

    Fossdal, Frikk Hosøy, Heldal, Rogardt, Dyvik, Jens, Rutle, Adrian (2020)
  • Model Repair with Quality-Based Reinforcement Learning

    Iovino, Ludovico, Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2020)
  • A query-retyping approach to model transformation co-evolution

    Rutle, Adrian, Iovino, Ludovico, König, Harald, Diskin, Zinovy (2020)
  • Towards multiple model synchronization with comprehensive systems

    Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2020)
  • Towards multiple model synchronization with comprehensive systems: Extended version

    Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2020)
  • GraphQL Federation: A Model-Based Approach

    Stünkel, Patrick, von Bargen, Ole, Rutle, Adrian, Lamo, Yngve (2020)
  • Multilevel Typed Graph Transformations

    Wolter, Uwe Egbert, Macías, Fernando, Rutle, Adrian (2020)
  • Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)

    Almeida, João-Paolo, Rutle, Adrian, Wimmer, Manuel (2019)
  • The MULTI Process Challenge

    Almeida, João-Paolo, Rutle, Adrian, Wimmer, Manuel (2019)
  • Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)

    Almeida, João-Paolo, Rutle, Adrian, Wimmer, Manuel (2019)
  • The MULTI Process Challenge

    Almeida, João-Paolo, Rutle, Adrian, Wimmer, Manuel, Kühne, Thomas (2019)
  • Automatic model repairing using deep reinforcement learning

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2019)
  • Personalized and Automatic Model Repairing using Reinforcement Learning

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2019)
  • Towards quality assurance in repaired models with PARMOREL

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2019)
  • Personalized and Automatic Model Repairing using Reinforcement Learning

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2019)
  • A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems

    Daniel Steen, Losvik, Rutle, Adrian (2019)
  • Query-Based Impact Analysis of Metamodel Evolutions

    Iovino, Ludovico, Rutle, Adrian, Pierantonio, Alfonso, Di Rocco, Juri (2019)
  • Query-Based Impact Analysis of Metamodel Evolutions

    Iovino, Ludovico, Rutle, Adrian, Pierantonio, Alfonso, Di Rocco, Juri (2019)
  • A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems

    Losvik, Daniel Steen, Rutle, Adrian (2019)
  • Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

    Macías, Fernando, Wolter, Uwe Egbert, Rutle, Adrian, Duran, Francisco, Rodriguez-Echeverria, Roberto (2019)
  • A GraphQL approach to Healthcare Information Exchange with HL7 FHIR

    Mukhiya, Suresh Kumar, Rabbi, Fazle, Pun, Ka I, Rutle, Adrian, Lamo, Yngve (2019)
  • Executing Multilevel Domain-Specific Models in Maude

    Rodríguez, Alejandro, Duran, Francisco, Rutle, Adrian, Kristensen, Lars Michael (2019)
  • Formal Modelling and Incremental Verification of the MQTT IoT Protocol

    Rodríguez, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2019)
  • On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method

    Rodríguez, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2019)
  • Composition of Multilevel Modelling Hierarchies

    Rodríguez, Alejandro, Rutle, Adrian, Duran, Francisco, Kristensen, Lars Michael, Macías, Fernando, Wolter, Uwe Egbert (2019)
  • A Foundation for the Composition of Multilevel Domain-Specific Languages

    Rodríguez, Alejandro, Rutle, Adrian, Kristensen, Lars Michael, Duran, Francisco (2019)
  • A Multilevel Modelling Approach for Tourism Flows Detection

    Rossi, Maria Teresa, De Sanctis, Martina, Iovino, Ludovico, Rutle, Adrian (2019)
  • A Multilevel Modelling Approach for Tourism Flows Detection

    Rossi, Maria Teresa, De Sanctis, Martina, Iovino, Ludovico, Rutle, Adrian (2019)
  • Preface of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (MMHS 2018)

    Rutle, Adrian, Lamo, Yngve, MacCaull, Wendy, Iovino, Ludovico (2019)
  • A Visual Framework for Transparent and Accessible Machine Learning

    Barriga Rodriguez, Angela, Heldal, Rogardt, Rutle, Adrian (2018)
  • Automatic model repair using reinforcement learning

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2018)
  • Model-driven engineering for design-runtime interaction in complex systems: Scientific challenges and roadmap: Report on the MDE@DeRun 2018 workshop

    Bruneliere, Hugo, Eramo, Romina, Gómez, Abel, Besnard, Valentin, Bruel, Jean-Michel, Gogolla, Martin, Kästner, Andreas, Rutle, Adrian (2018)
  • A tool for the convergence of multilevel modelling approaches

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2018)
  • An Approach to Flexible Multilevel Modelling

    Macías, Fernando, Rutle, Adrian, Stolz, Volker, Rodriguez-Echeverria, Roberto, Wolter, Uwe Egbert (2018)
  • Handling constraints in model versioning

    Rossini, Alessandro, Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2018)
  • CommonLang: a DSL for defining robot tasks

    Rutle, Adrian, Backer, Jonas Zacharias Dørum, Foldøy, Kolbein Toreson, Bye, Robin Trulssen (2018)
  • Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation

    Rutle, Adrian, Iovino, Ludovico, König, Harald, Diskin, Zinovy (2018)
  • Automatic transformation co-evolution using traceability models and graph transformation

    Rutle, Adrian, Iovino, Ludovico, König, Harald, Diskin, Zinovy (2018)
  • Model-Driven Software Engineering in the Resource Description Framework: a way to version control

    Schaathun, Hans Georg, Rutle, Adrian (2018)
  • A Roadmap for Multi-Model Consistency Management

    Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2018)
  • Multimodel Correspondence through Inter-model Constraints

    Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2018)
  • Multimodel Correspondence through Inter-model Constraints

    Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2018)
  • On modelling and validation of the MQTT IoT protocol for M2M communication

    Tena, Alejandro Rodriguez, Kristensen, Lars Michael, Rutle, Adrian (2018)
  • Multilevel Modelling of Coloured Petri Nets

    Tena, Alejandro Rodriguez, Rutle, Adrian, Duran, Francisco, Kristensen, Lars Michael, Macías, Fernando (2018)
  • Towards an Autonomous Robot Architecture Combining Complex Event Processing and Multilevel Modelling

    Boubeta-Puig, Juan, Macías, Fernando, Rutle, Adrian (2017)
  • Towards Domain-Specific CPN Modelling Languages

    Kristensen, Lars Michael, Rutle, Adrian, Tena, Alejandro Rodriguez, Macias, Fernando (2017)
  • Coordination and Amalgamation of Multilevel Coupled Model Transformations

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2017)
  • Multilevel modelling with multecore a contribution to the MULTI 2017 challenge

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2017)
  • Towards Domain-Specific CPN Modelling Languages

    Rodriguez, Alejandro, Macías, Fernando, Kristensen, Lars Michael, Rutle, Adrian (2017)
  • Change-preserving model repair

    Taentzer, Gabriele, Ohrndorf, Manuel, Lamo, Yngve, Rutle, Adrian (2017)
  • A Game-based Learning Framework for Controlling Brain-Actuated Wheelchairs

    Hjørungdal, Rolf-Magnus, Sanfilippo, Filippo, Osen, Ottar, Rutle, Adrian, Bye, Robin Trulssen (2016)
  • MultEcore: Combining the best of fixed-level and multilevel metamodelling

    Macias Gomez de Villar, Fernando, Rutle, Adrian, Stolz, Volker (2016)
  • Multilevel Behavioural Metamodelling

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2016)
  • Integration of Runtime Verification into Metamodeling

    Macías, Fernando, Scheffel, Torben, Schmitz, Malte, Wang, Rui, Leuker, Martin, Rutle, Adrian, Stolz, Volker (2016)
  • On reducing model transformation testing overhead

    Rodriguez-Echeverria, Roberto, Macias Gomez de Villar, Fernando, Rutle, Adrian (2016)
  • Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations

    Rutle, Adrian, Macías, Fernando, Duran, Francisco, Rodriguez, Roberto, Wolter, Uwe Egbert (2016)
  • On Usage Of EEG Brain Control For Rehabilitation Of Stroke Patients

    Verplaetse, Tom, Sanfilippo, Filippo, Rutle, Adrian, Osen, Ottar, Bye, Robin Trulssen (2016)
  • From Graph Transformations to the Diagram Predicate Framework

    Wolter, Uwe Egbert, Rutle, Adrian (2016)
  • NAUTILUS21 - A generic, Integrated, and scalable 3D Ocean simulator for Scientific Exploration and management of Norway's Coastal waters and fjords.

    Bye, Robin Trulssen, Rutle, Adrian, Stene, Anne, Yndestad, Harald (2015)
  • A Property Specification Language for Runtime Verification of Executable Models

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2015)
  • Model-Driven Software Engineering: A Behavioural Perspective (keynote)

    Rutle, Adrian (2015)
  • Model-driven software engineering in practice: A content analysis software for health reform agreements

    Rutle, Adrian, Fagerland Simonsen, Kent Inge, Schaathun, Hans Georg, Kirchhoff, Ralf (2015)
  • Scalable And User-Friendly Simulation

    Rutle, Adrian, Wang, Hao, Bye, Robin Trulssen, Osen, Ottar (2015)
  • Towards user-friendly and efficient analysis with alloy

    Wang, Xiaoliang, Rutle, Adrian, Lamo, Yngve (2015)
  • Nautilus21 --- A generic, integrated, and scalable 3D ocean simulator for scientific exploration and management of Norway’s coastal waters and fjords

    Bye, Robin Trulssen, Rutle, Adrian, Stene, Anne, Yndestad, Harald (2014)
  • A formalisation of deep metamodelling

    Rossini, Alessandro, de Lara, Juan, Guerra, Esther, Rutle, Adrian, Wolter, Uwe Egbert (2014)
  • A World of Models: Structure and Behavior

    Rutle, Adrian (2014)
  • Model checking healthcare workflows using alloy

    Wang, Xiaoliang, Rutle, Adrian (2014)
  • Scalable verification of model transformations

    Wang, Xiaoliang, Rutle, Adrian, Lamo, Yngve (2014)
  • On exploiting progress for memory-efficient verification of diagrammatic workflows

    Kristensen, Lars Michael, Lamo, Yngve, MacCaull, Wendy, Rabbi, Fazle, Rutle, Adrian (2013)
  • A declarative and bidirectional model transformation approach based on graph co-spans

    Lamo, Yngve, Mantz, Florian, Rutle, Adrian, De Lara, Juan (2013)
  • DPF Workbench: a multi-level language workbench for MDE

    Lamo, Yngve, Wang, Xiaoliang, Mantz, Florian, Bech, Øyvind, Rutle, Adrian, Sandven, Anders (2013)
  • A Model Slicing Method for Workflow Verification

    Rabbi, Fazle, Wang, Hao, MacCaull, Wendy, Rutle, Adrian (2013)
  • Robotex 2013 i Tallinn

    Rutle, Adrian (2013)
  • Robotsumo

    Rutle, Adrian (2013)
  • A User-friendly Tool for Model Checking Healthcare Workflows

    Rutle, Adrian, Rabbi, Fazle, MacCaull, Wendy, Lamo, Yngve (2013)
  • A Formal Diagrammatic Approach to Compensable Workflow Modelling

    Rutle, Adrian, Wang, Hao, MacCaull, Wendy (2013)
  • DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-) Modelling Environment

    Lamo, Yngve, Wang, Xiaoliang, Mantz, Florian, MacCaull, Wendy, Rutle, Adrian (2012)
  • A metamodelling approach to behavioural modelling

    Rutle, Adrian, MacCaull, Wendy, Wang, Hao, Lamo, Yngve (2012)
  • A Metamodel Approach to Model Driven Service Development

    Lamo, Yngve, Rutle, Adrian (2012)
  • A Graph Transformation-Based Semantics for Deep Metamodelling

    Rossini, Alessandro, De Lara, Juan, Guerra, Esther, Rutle, Adrian, Lamo, Yngve (2012)
  • A formal approach to the specification and transformation of constraints in MDE

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2012)
  • Model-Driven Engineering of Maritime Systems

    Rutle, Adrian, Schaathun, Hans Georg (2012)
  • A Formal Diagrammatic Approach to Timed Workflow Modelling

    Wang, Hao, MacCaull, Wendy, Rutle, Adrian (2012)
  • DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment

    Lamo, Yngve, Wang, Xiaoliang, Mantz, Florian, Bech, Øyvind, Rutle, Adrian (2011)
  • A Graph Transformation-Based Semantics for Deep Metamodelling

    Rossini, Alessandro, De Lara, Juan, Guerra, Esther, Rutle, Adrian, Lamo, Yngve (2011)
  • A Formal Approach to Data Validation Constraints in MDE

    Rossini, Alessandro, Rutle, Adrian, Mughal, Khalid Azim, Lamo, Yngve, Wolter, Uwe Egbert (2011)
  • Computer Science and Society: Is a New Social Contract Possible?

    Rossini, Alessandro, Rutle, Adrian (2010)
  • Enforcement of Patterns by Constraint-Aware Model Transformations

    Lamo, Yngve, Rutle, Adrian, Mantz, Florian (2010)
  • Enforcement of Patterns by Constraint-Aware Model Transformations

    Lamo, Yngve, Rutle, Adrian, Mantz, Florian (2010)
  • Towards a Formal Approach to Metamodel Evolution

    Mantz, Florian, Rossini, Alessandro, Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2010)
  • A formalisation of the copy-modify-merge approach to version control in MDE

    Rossini, Alessandro, Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2010)
  • Constraint-Aware Model Merging

    Rossini, Alessandro, Rutle, Adrian, Mantz, Florian, Lamo, Yngve, Wolter, Uwe Egbert (2010)
  • Diagram Predicate Framework: A Formal Approach to MDE

    Rutle, Adrian (2010)
  • Diagram Predicate Framework: A Formal Approach to MDE

    Rutle, Adrian (2010)
  • A Formalisation of Constraint-Aware Model Transformations

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2010)
  • Groovy and Grails meet Eclipse Modeling Framework

    Simonsen, Kent Fagerland, Mantz, Florian, Rossini, Alessandro, Rutle, Adrian (2010)
  • Data Validation Constraints in MDE

    Rossini, Alessandro, Rutle, Adrian, Mancini, Federico, Hovland, Dag, Mughal, Khalid Azim, Lamo, Yngve, Wolter, Uwe Egbert (2009)
  • A Category-Theoretical Approach to the Formalisation of Version Control in MDE

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2009)
  • A Diagrammatic Formalisation of MOF-Based Modelling Languages

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2009)
  • Constraint-Aware Model Transformations

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2009)
  • A Diagrammatic Approach to Model Transformations

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2008)
  • Generalized Sketches and Model Driven Architecture

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2008)
  • A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE

    Rutle, Adrian, Rossini, Alessandro (2008)
  • Automatic Definition of Model Transformations at the Instance Level

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2008)
  • Version Control in MDE

    Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe Egbert (2008)
  • A Formal Approach to Modeling and Model Transformations in Software Engineering

    Rutle, Adrian, Wolter, Uwe Egbert, Lamo, Yngve (2008)
  • A formal approach to modeling and model transformations in software engineering

    Rutle, Adrian, Wolter, Uwe Egbert, Lamo, Yngve (2008)
  • Generalized Sketches and Model Driven Architecture

    Rutle, Adrian, Wolter, Uwe Egbert, Lamo, Yngve (2008)
  • Generalized Sketches and Model Driven Architecture

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2007)
  • Generalized Sketches and Model Driven Architecture

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2007)
  • Generalized Sketches and Model Driven Development

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2007)
  • Generalized Sketches as an Extention to EMF

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2007)
  • Generalized Sketches and Model Driven Development

    Rutle, Adrian, Wolter, Uwe Egbert, Lamo, Yngve (2007)
  • Diagramatic software specification

    Lamo, Yngve, Rutle, Adrian, Wolter, Uwe Egbert (2006)
  • Diagrammatic software specification

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2006)
  • Diagrammatic software specification

    Rutle, Adrian, Lamo, Yngve, Wolter, Uwe Egbert (2006)