Adrian Rutle
Adrian Rutle
Western Norway University of Applied Sciences
Verified email at rutle.no - Homepage
TitleCited byYear
Diagram predicate framework: a formal approach to MDE
A Rutle
The University of Bergen, 2010
662010
A formal approach to the specification and transformation of constraints in MDE
A Rutle, A Rossini, Y Lamo, U Wolter
The Journal of Logic and Algebraic Programming 81 (4), 422-457, 2012
592012
A diagrammatic formalisation of MOF-based modelling languages
A Rutle, A Rossini, Y Lamo, U Wolter
International Conference on Objects, Components, Models and Patterns, 37-56, 2009
382009
A formalisation of deep metamodelling
A Rossini, J de Lara, E Guerra, A Rutle, U Wolter
Formal Aspects of Computing 26 (6), 1115-1152, 2014
372014
Dpf workbench: A diagrammatic multi-layer domain specific (meta-) modelling environment
Y Lamo, X Wang, F Mantz, W MacCaull, A Rutle
Computer and Information Science 2012, 37-52, 2012
342012
A formalisation of the copy-modify-merge approach to version control in MDE
A Rossini, A Rutle, Y Lamo, U Wolter
The Journal of Logic and Algebraic Programming 79 (7), 636-658, 2010
332010
A diagrammatic approach to model transformations
A Rutle, U Wolter, Y Lamo
Proceedings of the 2008 Euro American Conference on Telematics and …, 2008
302008
A metamodelling approach to behavioural modelling
A Rutle, W MacCaull, H Wang, Y Lamo
Proceedings of the Fourth Workshop on Behaviour Modelling-Foundations and …, 2012
282012
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.
F Macías, A Rutle, V Stolz
MULTI@ MoDELS, 66-75, 2016
272016
A category-theoretical approach to the formalisation of version control in MDE
A Rutle, A Rossini, Y Lamo, U Wolter
International Conference on Fundamental Approaches to Software Engineering …, 2009
272009
DPF Workbench: a multi-level language workbench for MDE
Y Lamo, X Wang, F Mantz, Ø Bech, A Sandven, A Rutle
Proceedings of the Estonian Academy of Sciences 62 (1), 3, 2013
232013
A formalisation of constraint-aware model transformations
A Rutle, A Rossini, Y Lamo, U Wolter
International Conference on Fundamental Approaches to Software Engineering …, 2010
162010
Change-preserving model repair
G Taentzer, M Ohrndorf, Y Lamo, A Rutle
International Conference on Fundamental Approaches to Software Engineering …, 2017
152017
An approach to flexible multilevel modelling
F Macías, A Rutle, V Stolz, R Rodriguez-Echeverria, UE Wolter
EMISAJ, 2018
132018
Multilevel coupled model transformations for precise and reusable definition of model behaviour
F Macías, U Wolter, A Rutle, F Durán, R Rodriguez-Echeverria
Journal of Logical and Algebraic Methods in Programming 106, 167-195, 2019
122019
A declarative and bidirectional model transformation approach based on graph co-spans
Y Lamo, F Mantz, A Rutle, J de Lara
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
122013
A formal diagrammatic approach to timed workflow modelling
H Wang, A Rutle, W MacCaull
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
122012
A graph transformation-based semantics for deep metamodelling
A Rossini, J de Lara, E Guerra, A Rutle, Y Lamo
International Symposium on Applications of Graph Transformations with …, 2011
122011
A game-based learning framework for controlling brain-actuated wheelchairs
RM Hjørungdal, F Sanfilippo, O Osen, A Rutle, RT Bye
30th European Conference on Modelling and Simulation, Regensburg Germany …, 2016
102016
A user-friendly tool for model checking healthcare workflows
A Rutle, F Rabbi, W MacCaull, Y Lamo
Procedia Computer Science 21, 317-326, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20