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 84 << Forrige 1 2    Neste >>

2018
1 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
A tool for the convergence of multilevel modelling approaches. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 633-642
HVL UiO Untitled
 
2 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 UiO Untitled
 
3 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 2018
HVL UiB Untitled
 
4 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
 
5 Rutle, Adrian; Backer, Jonas; Foldøy, Kolbein; Bye, Robin Trulssen.
CommonLang: a DSL for defining robot tasks. CEUR Workshop Proceedings 2018 ;Volum 2245. s. 433-452
HVL NTNU Untitled
 
6 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
 
7 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
NTNU Untitled
 
8 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
 
9 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
 
10 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
 
11 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
12 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
 
13 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
 
14 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
 
15 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
 
16 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
 
17 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
18 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
 
19 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
20 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
 
21 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
 
22 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
 
23 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
 
24 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
 
25 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
26 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
 
27 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
 
28 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
 
29 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
 
30 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
 
31 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
32 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
 
33 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
 
34 Rutle, Adrian.
A World of Models: Structure and Behavior. Joint symposium on program and model transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
35 Wang, Xiaoliang; Rutle, Adrian.
Model checking healthcare workflows using alloy. Procedia Computer Science 2014 ;Volum 37. s. 481-488
HVL Untitled
 
36 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Scalable verification of model transformations. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 29-38
HVL Untitled
 
2013
37 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
 
38 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
 
39 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
 
40 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
 
41 Rutle, Adrian.
Robotex 2013 i Tallinn. NRK [Radio] 2013-11-11
HVL Untitled
 
42 Rutle, Adrian.
Robotsumo. NRK Møre og Romsdal [TV] 2013-11-13
HVL Untitled
 
43 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
 
44 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
45 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
 
46 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
 
47 Lamo, Yngve; Rutle, Adrian.
A Metamodel Approach to Model Driven Service Development. 4th Atlantic Workshop on Semantics and Services; 2012-05-04 - 2012-05-04
HVL Untitled
 
48 Rossini, Alessandro; De Lara, Juan; Guerra, Esther; Rutle, Adrian; Lamo, Yngve.
A Graph Transformation-Based Semantics for Deep Metamodelling. I: Proceedings of AGTIVE 2011: 4th International Symposium on Applications of Graph Transformations with Industrial Relevance. Springer 2012 ISBN 978-3-642-34175-5. s. 19-34
HVL UiB Untitled
 
49 Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe Egbert.
A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(4) s. 422-457
HVL UiB Untitled
 
50 Rutle, Adrian; Schaathun, Hans Georg.
Model-Driven Engineering of Maritime Systems. I: 24th Nordic Workshop on Programming Theory. Universitetet i Bergen 2012 s. -
NTNU Untitled
 
    Vis neste liste