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

2018
1 Macias, 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
 
2 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
 
3 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
 
4 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
 
5 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
 
6 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 NTNU Untitled
 
2017
7 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
 
8 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
 
9 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
 
10 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
 
11 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
 
12 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
13 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
 
14 Macías, Fernando; Rutle, Adrian; Stolz, Volker.
Multilevel Behavioural Metamodelling. Nordic Workshop on Programming Theory; 2016-10-31 - 2016-11-02
HVL UiO Untitled
 
15 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
 
16 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
 
17 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
 
18 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
 
19 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
 
20 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
21 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
 
22 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
 
23 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
 
24 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
 
25 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
 
26 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
27 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
 
28 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
 
29 Rutle, Adrian.
A World of Models: Structure and Behavior. Joint symposium on program and model transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
30 Wang, Xiaoliang; Rutle, Adrian.
Model checking healthcare workflows using alloy. Procedia Computer Science 2014 ;Volum 37. s. 481-488
HVL Untitled
 
31 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Scalable verification of model transformations. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 29-38
HVL Untitled
 
2013
32 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
 
33 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
 
34 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
 
35 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
 
36 Rutle, Adrian.
Robotex 2013 i Tallinn. NRK [Radio] 2013-11-11
HVL Untitled
 
37 Rutle, Adrian.
Robotsumo. NRK Møre og Romsdal [TV] 2013-11-13
HVL Untitled
 
38 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
 
39 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
40 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
 
41 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
 
42 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
 
43 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
 
44 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
 
45 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
 
46 Wang, Hao; MacCaull, Wendy; Rutle, Adrian.
A Formal Diagrammatic Approach to Timed Workflow Modelling. I: IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Beijing, China 4-6 july 2012. IEEE 2012 ISBN 9781467323536. s. 167-174
Untitled
 
2011
47 Lamo, Yngve; Wang, Xiaoliang; Mantz, Florian; Bech, Øyvind; Rutle, Adrian.
DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment. I: Proceedings of 12th Symposium on Programming Languages and Software Tools. Talinn, Estonia: TUT Press 2011 ISBN 978-9949-23-178-2. s. 55-65
HVL Untitled
 
48 Rossini, Alessandro; De Lara, Juan; Guerra, Esther; Rutle, Adrian; Lamo, Yngve.
A Graph Transformation-Based Semantics for Deep Metamodelling. AGTIVE 2011: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance; 2011-10-04 - 2011-10-07
HVL UiB Untitled
 
49 Rossini, Alessandro; Rutle, Adrian; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert.
A Formal Approach to Data Validation Constraints in MDE. I: TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. Universitetet i Oslo 2011 ISBN 82-7368-371-0. s. 65-76
HVL UiB Untitled
 
2010
50 Rossini, Alessandro; Rutle, Adrian.
Computer Science and Society: Is a New Social Contract Possible?. I: Proceedings of ICSIT 2010: International Conference on Society and Information Technologies. International Institute of Informatics and Systemics 2010 ISBN 978-1-934272-85-5. s. 67-70
UiB Untitled
 
    Vis neste liste