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

2021
1 Rodriguez Tena, Alejandro; Kristensen, Lars Michael; Rutle, Adrian.
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Lecture Notes in Computer Science (LNCS) 2021
HVL Untitled
 
2020
2 Barriga Rodriguez, Angela; Heldal, Rogardt; Iovino, Ludovico; Marthinsen, Magnus; Rutle, Adrian.
An extensible framework for customizable model repair. I: MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-7019-6.
HVL Untitled
 
3 Barriga Rodriguez, Angela; Mandow, Lawrence; Pérez de la Cruz, José Luis; Rutle, Adrian; Heldal, Rogardt; Iovino, Ludovico.
A comparative study of reinforcement learning techniques to repair models. I: MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-8135-2.
HVL Untitled
 
4 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Improving Model Repair through Experience Sharing. Journal of Object Technology 2020 ;Volum 19.(2) s. 1-21
HVL Untitled
 
5 Fossdal, Frikk Hosøy; Heldal, Rogardt; Dyvik, Jens; Rutle, Adrian.
A parametric model for creating customized fabrication machines. I: MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-7019-6.
HVL Untitled
 
6 Iovino, Ludovico; Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Model Repair with Quality-Based Reinforcement Learning. Journal of Object Technology 2020 ;Volum 19.(2) s. -
HVL Untitled
 
7 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy.
A query-retyping approach to model transformation co-evolution. Software and Systems Modeling (SoSyM) 2020 s. 1-32
HVL Untitled
 
8 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
Towards multiple model synchronization with comprehensive systems. Lecture Notes in Computer Science (LNCS) 2020 s. 335-356
HVL Untitled
 
9 Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian.
Towards multiple model synchronization with comprehensive systems: Extended version. : Fachhochschule für die Wirtschaft (FHDW) Hannover 2020 32 s.
HVL UiB Untitled
 
10 Stünkel, Patrick; von Bargen, Ole; Rutle, Adrian; Lamo, Yngve.
GraphQL Federation: A Model-Based Approach. Journal of Object Technology 2020 ;Volum 19.(2) s. -
HVL Untitled
 
11 Wolter, Uwe Egbert; Macías, Fernando; Rutle, Adrian.
Multilevel Typed Graph Transformations. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12150. s. 163-182
HVL UiB Untitled
 
2019
12 Almeida, João-Paolo; Rutle, Adrian; Wimmer, Manuel.
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019). 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); 2019-09-15 - 2019-09-20
HVL Untitled
 
13 Almeida, João-Paolo; Rutle, Adrian; Wimmer, Manuel.
The MULTI Process Challenge. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); 2019-09-15 - 2019-09-20
HVL Untitled
 
14 Almeida, João-Paolo; Rutle, Adrian; Wimmer, Manuel.
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019). I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 64-65
HVL Untitled
 
15 Almeida, João-Paolo; Rutle, Adrian; Wimmer, Manuel; Kühne, Thomas.
The MULTI Process Challenge. I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 164-167
HVL Untitled
 
16 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Automatic model repairing using deep reinforcement learning. Northern Lights Deep Learning Workshop; 2019-01-09 - 2019-01-10
HVL Untitled
 
17 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Personalized and Automatic Model Repairing using Reinforcement Learning. MDE Intelligence workshop @ MODELS19; 2019-09-16 - 2019-09-16
HVL Untitled
 
18 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Towards quality assurance in repaired models with PARMOREL. Jornadas de Ingeniería del Software y Bases de Datos (JISBD); 2019-09-02 - 2019-09-04
HVL Untitled
 
19 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Personalized and Automatic Model Repairing using Reinforcement Learning. I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 175-181
HVL Untitled
 
20 Daniel Steen, Losvik; Rutle, Adrian.
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); 2019-10-01 - 2019-10-10
HVL Untitled
 
21 Iovino, Ludovico; Rutle, Adrian; Pierantonio, Alfonso; Di Rocco, Juri.
Query-Based Impact Analysis of Metamodel Evolutions. 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA); 2019-08-28 - 2019-08-30
HVL Untitled
 
22 Iovino, Ludovico; Rutle, Adrian; Pierantonio, Alfonso; Di Rocco, Juri.
Query-Based Impact Analysis of Metamodel Evolutions. I: 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE 2019 ISBN 978-1-7281-3421-5. s. 458-465
HVL Untitled
 
23 Losvik, Daniel Steen; Rutle, Adrian.
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems. I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 549-558
HVL Untitled
 
24 Macías, 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 ;Volum 106. s. 167-195
HVL UiB Untitled
 
25 Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian; Lamo, Yngve.
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science 2019 ;Volum 160. s. 338-345
HVL UiB UiO Untitled
 
26 Rodríguez, Alejandro; Duran, Francisco; Rutle, Adrian; Kristensen, Lars Michael.
Executing Multilevel Domain-Specific Models in Maude. Journal of Object Technology 2019 ;Volum 18.(2) s. -
HVL Untitled
 
27 Rodríguez, Alejandro; Kristensen, Lars Michael; Rutle, Adrian.
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11790. s. 126-145
HVL Untitled
 
28 Rodríguez, Alejandro; Kristensen, Lars Michael; Rutle, Adrian.
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. CEUR Workshop Proceedings 2019 ;Volum 2424. s. 57-72
HVL Untitled
 
29 Rodríguez, Alejandro; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando; Wolter, Uwe Egbert.
Composition of Multilevel Modelling Hierarchies. I: Proceedings of the 31st Nordic Workshop on Programming Theory. : Tallinn University of Technology 2019 ISBN 978-994-98-3520-1. s. 44-46
HVL UiB Untitled
 
30 Rodríguez, Alejandro; Rutle, Adrian; Kristensen, Lars Michael; Duran, Francisco.
A Foundation for the Composition of Multilevel Domain-Specific Languages. I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 88-97
HVL Untitled
 
31 Rossi, Maria Teresa; De Sanctis, Martina; Iovino, Ludovico; Rutle, Adrian.
A Multilevel Modelling Approach for Tourism Flows Detection. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); 2019-10-01 - 2019-10-10
HVL Untitled
 
32 Rossi, Maria Teresa; De Sanctis, Martina; Iovino, Ludovico; Rutle, Adrian.
A Multilevel Modelling Approach for Tourism Flows Detection. I: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE 2019 ISBN 978-1-7281-5125-0. s. 103-112
HVL Untitled
 
33 Rutle, Adrian; Lamo, Yngve; MacCaull, Wendy; Iovino, Ludovico.
Preface of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (MMHS 2018). CEUR Workshop Proceedings 2019 ;Volum 2336. s. 1-66
HVL Untitled
 
2018
34 Barriga Rodriguez, Angela; Heldal, Rogardt; Rutle, Adrian.
A Visual Framework for Transparent and Accessible Machine Learning. I: Proceedings of the Workshop on Designing Technologies to Support Human Problem Solving: DTSHPS’18. : University of Washington 2018 ISBN 0000000000000. s. -
HVL Untitled
 
35 Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt.
Automatic model repair using reinforcement learning. AMMORE Workshop; 2018-10-16
HVL Untitled
 
36 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 (LNCS) 2018 ;Volum 11176 LNCS. s. 536-543
HVL Untitled
 
37 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
 
38 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
 
39 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
 
40 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
 
41 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
 
42 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy.
Automatic transformation co-evolution using traceability models and graph transformation. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10890 LNCS. s. 80-96
HVL Untitled
 
43 Schaathun, Hans Georg; Rutle, Adrian.
Model-Driven Software Engineering in the Resource Description Framework: a way to version control. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 ;Volum 2018. s. -
HVL NTNU Untitled
 
44 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
 
45 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
 
46 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
 
47 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
 
48 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
49 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
 
50 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
 
    Vis neste liste