Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 88 << Forrige 1 2    Neste >>

2019
1 Macias, Fernando; Wolter, Uwe Egbert; Rutle, Adrian; Duran, Francisco; Rodriguez-Echeverria, Roberto.
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. Journal of Logical and Algebraic Methods in Programming 2019
HVL UiB Untitled
 
2018
2 Bruneliere, Hugo; Eramo, Romina; Gómez, Abel; Besnard, Valentin; Bruel, Jean-Michel; Gogolla, Martin; Kästner, Andreas; Rutle, Adrian.
Model-driven engineering for design-runtime interaction in complex systems: Scientific challenges and roadmap: Report on the MDE@DeRun 2018 workshop. Lecture Notes in Computer Science 2018 ;Volum 11176 LNCS. s. 536-543
HVL Untitled
 
3 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A tool for the convergence of multilevel modelling approaches. CEUR Workshop Proceedings 2018 ;Volum 2245. Suppl. MULTI - 5th Internat s. 633-642
HVL UiO Untitled
 
4 Macías, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert.
An Approach to Flexible Multilevel Modelling. Enterprise Modelling and Information Systems Architectures - An International Journal 2018 ;Volum 13. s. 1-34
HVL UiB Untitled
 
5 Rodriguez, Angela Barriga; Heldal, Rogardt; Rutle, Adrian.
A Visual Framework for Transparent and Accessible Machine Learning. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 781-786
HVL Untitled
 
6 Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert.
Handling constraints in model versioning. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 284-292
HVL UiB Untitled
 
7 Rutle, Adrian; Backer, Jonas Zacharias Dørum; Foldøy, Kolbein Toreson; Bye, Robin Trulssen.
CommonLang: a DSL for defining robot tasks. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 433-452
HVL NTNU Untitled
 
8 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy.
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. European Conference on Modelling Foundations and Applications; 2018-06-25 - 2018-06-29
HVL Untitled
 
9 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy.
Automatic transformation co-evolution using traceability models and graph transformation. Lecture Notes in Computer Science 2018 ;Volum 10890 LNCS. s. 80-96
HVL Untitled
 
10 Schaathun, Hans Georg; Rutle, Adrian.
Model-Driven Software Engineering in the Resource Description Framework: a way to version control. NIK: Norsk Informatikkonferanse 2018 ;Volum 2018. s. -
HVL NTNU Untitled
 
11 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
A Roadmap for Multi-Model Consistency Management. Nordic Workshop on Programming Theory (NWPT); 2018-10-24 - 2018-10-26
HVL Untitled
 
12 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
Multimodel Correspondence through Inter-model Constraints. Bx 2018 Seventh International Workshop on Bidirectional Transformations; 2018-04-10
HVL Untitled
 
13 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
Multimodel Correspondence through Inter-model Constraints. I: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Association for Computing Machinery (ACM) 2018 ISBN 978-1-4503-5513-1. s. 9-17
HVL Untitled
 
14 Tena, Alejandro Rodriguez; Kristensen, Lars Michael; Rutle, Adrian.
On modelling and validation of the MQTT IoT protocol for M2M communication. CEUR Workshop Proceedings 2018 ;Volum 2138. s. 99-118
HVL Untitled
 
15 Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando.
Multilevel Modelling of Coloured Petri Nets. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 663-672
HVL Untitled
 
2017
16 Boubeta-Puig, Juan; Macías, Fernando; Rutle, Adrian.
Towards an Autonomous Robot Architecture Combining Complex Event Processing and Multilevel Modelling. Nordic Workshop on Programming Theory; 2017-11-01 - 2017-11-03
HVL Untitled
 
17 Kristensen, Lars Michael; Rutle, Adrian; Tena, Alejandro Rodriguez; Macias, Fernando.
Towards Domain-Specific CPN Modelling Languages. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 62-64
HVL NTNU Untitled
 
18 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Coordination and Amalgamation of Multilevel Coupled Model Transformations. Nordic Workshop on Programming Theory; 2017-11-01 - 2017-11-03
HVL Untitled
 
19 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel modelling with multecore a contribution to the MULTI 2017 challenge. CEUR Workshop Proceedings 2017 ;Volum 2019. s. 269-273
HVL UiO Untitled
 
20 Rodriguez, Alejandro; Macías, Fernando; Kristensen, Lars Michael; Rutle, Adrian.
Towards Domain-Specific CPN Modelling Languages. Nordic Workshop on Programming Theory; 2017-11-01 - 2017-11-03
HVL Untitled
 
21 Taentzer, Gabriele; Ohrndorf, Manuel; Lamo, Yngve; Rutle, Adrian.
Change-preserving model repair. Lecture Notes in Computer Science 2017 ;Volum 10202 LNCS. s. 283-299
HVL Untitled
 
2016
22 Hjørungdal, Rolf-Magnus; Sanfilippo, Filippo; Osen, Ottar; Rutle, Adrian; Bye, Robin Trulssen.
A Game-based Learning Framework for Controlling Brain-Actuated Wheelchairs. I: 30th European Conference on Modelling and Simulation, Regensburg Germany, May 31st – June 3rd, 2016. ECMS European Council for Modelling and Simulation 2016 ISBN 978-0-9932440-2-5. s. 554-563
HVL NTNU Untitled
 
23 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
24 Macías, Fernando; Scheffel, Torben; Schmitz, Malte; Wang, Rui; Leuker, Martin; Rutle, Adrian; Stolz, Volker.
Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
25 Macias Gomez de Villar, Fernando; Rutle, Adrian; Stolz, Volker.
MultEcore: Combining the best of fixed-level and multilevel metamodelling. CEUR Workshop Proceedings 2016 ;Volum 1722. s. 66-75
HVL UiO Untitled
 
26 Rodriguez-Echeverria, Roberto; Macias Gomez de Villar, Fernando; Rutle, Adrian.
On reducing model transformation testing overhead. CEUR Workshop Proceedings 2016 ;Volum 1693. s. 58-67
HVL UiO Untitled
 
27 Rutle, Adrian; Macías, Fernando; Duran, Francisco; Rodriguez, Roberto; Wolter, Uwe Egbert.
Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiB Untitled
 
28 Verplaetse, Tom; Sanfilippo, Filippo; Rutle, Adrian; Osen, Ottar; Bye, Robin Trulssen.
On Usage Of EEG Brain Control For Rehabilitation Of Stroke Patients. I: 30th European Conference on Modelling and Simulation, Regensburg Germany, May 31st – June 3rd, 2016. ECMS European Council for Modelling and Simulation 2016 ISBN 978-0-9932440-2-5. s. 544-553
HVL NTNU Untitled
 
29 Wolter, Uwe Egbert; Rutle, Adrian.
From Graph Transformations to the Diagram Predicate Framework. Symposium on Formal Methods for Software Systems; 2016-10-10 - 2016-10-12
NTNU UiB Untitled
 
2015
30 Bye, Robin Trulssen; Rutle, Adrian; Stene, Anne; Yndestad, Harald.
NAUTILUS21 - A generic, Integrated, and scalable 3D Ocean simulator for Scientific Exploration and management of Norway's Coastal waters and fjords.. I: Fragmentering eller mobilisering? : regional utvikling i Nordvest : Fjordantologien 2014. Forlag1 2015 ISBN 978-82-8285-087-2. s. 365-389
NTNU Untitled
 
31 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A Property Specification Language for Runtime Verification of Executable Models. Nordic Workshop on Programming Theory; 2015-10-21 - 2015-10-23
HVL Untitled
 
32 Rutle, Adrian.
Model-Driven Software Engineering: A Behavioural Perspective (keynote). 11th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2015); 2015-06-08 - 2015-06-09
HVL Untitled
 
33 Rutle, Adrian; Fagerland Simonsen, Kent Inge; Schaathun, Hans Georg; Kirchhoff, Ralf.
Model-driven software engineering in practice: A content analysis software for health reform agreements. Procedia Computer Science 2015 ;Volum 63. s. 545-552
HVL NTNU Untitled
 
34 Rutle, Adrian; Wang, Hao; Bye, Robin Trulssen; Osen, Ottar.
Scalable And User-Friendly Simulation. I: 29th European Conference on Modelling and Simulation, {ECMS} 2015, Albena (Varna), Bulgaria, May 26-29, 2015. Proceedings. ECMS European Council for Modelling and Simulation 2015 ISBN 978-0-9932440-0-1. s. -
HVL NTNU Untitled
 
35 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Towards user-friendly and efficient analysis with alloy. CEUR Workshop Proceedings 2015 ;Volum 1514. s. 28-37
HVL Untitled
 
2014
36 Bye, Robin Trulssen; Rutle, Adrian; Stene, Anne; Yndestad, Harald.
Nautilus21 --- A generic, integrated, and scalable 3D ocean simulator for scientific exploration and management of Norway’s coastal waters and fjords. Fjordkonferansen 2014; 2014-06-19 - 2014-06-20
HVL NTNU Untitled
 
37 Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe Egbert.
A formalisation of deep metamodelling. Formal Aspects of Computing 2014 ;Volum 26.(6) s. 1115-1152
NTNU SINTEF UiB Untitled
 
38 Rutle, Adrian.
A World of Models: Structure and Behavior. Joint symposium on program and model transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
39 Wang, Xiaoliang; Rutle, Adrian.
Model checking healthcare workflows using alloy. Procedia Computer Science 2014 ;Volum 37. s. 481-488
HVL Untitled
 
40 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Scalable verification of model transformations. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 29-38
HVL Untitled
 
2013
41 Kristensen, Lars Michael; Lamo, Yngve; MacCaull, Wendy; Rabbi, Fazle; Rutle, Adrian.
On exploiting progress for memory-efficient verification of diagrammatic workflows. Nordic Workshop on Programming Theory; 2013-11-20 - 2013-11-22
HVL NTNU Untitled
 
42 Lamo, Yngve; Mantz, Florian; Rutle, Adrian; De Lara, Juan.
A declarative and bidirectional model transformation approach based on graph co-spans. I: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. ACM Publications 2013 ISBN 978-1-4503-2154-9. s. 1-12
HVL NTNU Untitled
 
43 Lamo, Yngve; Wang, Xiaoliang; Mantz, Florian; Bech, Øyvind; Rutle, Adrian; Sandven, Anders.
DPF Workbench: a multi-level language workbench for MDE. Proceedings of the Estonian Academy of Sciences : Physics, Mathematics 2013 ;Volum 62.(1) s. 3-15
HVL NTNU Untitled
 
44 Rabbi, Fazle; Wang, Hao; MacCaull, Wendy; Rutle, Adrian.
A Model Slicing Method for Workflow Verification. Electronical Notes in Theoretical Computer Science 2013 (295) s. 79-93
Untitled
 
45 Rutle, Adrian.
Robotex 2013 i Tallinn. NRK [Radio] 2013-11-11
HVL Untitled
 
46 Rutle, Adrian.
Robotsumo. NRK Møre og Romsdal [TV] 2013-11-13
HVL Untitled
 
47 Rutle, Adrian; Rabbi, Fazle; MacCaull, Wendy; Lamo, Yngve.
A User-friendly Tool for Model Checking Healthcare Workflows. Procedia Computer Science 2013 ;Volum 21. s. 317-326
HVL NTNU Untitled
 
48 Rutle, Adrian; Wang, Hao; MacCaull, Wendy.
A Formal Diagrammatic Approach to Compensable Workflow Modelling. I: Foundations of Health Information Engineering and Systems : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Springer 2013 ISBN 978-3-642-39087-6. s. 194-212
NTNU Untitled
 
2012
49 Lamo, Yngve; Wang, Xiaoliang; Mantz, Florian; MacCaull, Wendy; Rutle, Adrian.
DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-) Modelling Environment. Studies in Computational Intelligence 2012 ;Volum 429. s. 37-52
HVL Untitled
 
50 Rutle, Adrian; MacCaull, Wendy; Wang, Hao; Lamo, Yngve.
A metamodelling approach to behavioural modelling. I: Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-1187-8. s. -
HVL Untitled
 
    Vis neste liste