Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-11 av 11

2019
1 Langeland, Tor; Daae Lampe, Ove; Fonnes, Gro; Atakan, Kuvvet; Michalek, Jan; Wang, Xiaoliang; Rønnevik, Christian; Utheim, Terje; Tellefsen, Karen.
EPOS-Norway Portal. Communities, tools and policies for integrated Earth and Space Science (e)infrastructures at European Geosciences Union General Assembly 2019; 2019-04-12 - 2019-04-12
NORCE UiB Untitled
 
2016
2 Wang, Xiaoliang.
Towards Correct Modelling and Model Transformation in DPF. : Universitetet i Bergen 2016 (ISBN 978-82-308-3290-5)
HVL UiB Untitled
 
2015
3 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
4 Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve.
Verification of Graph-based Model Transformations Using Alloy. Electronic Communications of the EASST 2014 ;Volum 67. s. -
HVL Untitled
 
5 Wang, Xiaoliang; Rutle, Adrian.
Model checking healthcare workflows using alloy. Procedia Computer Science 2014 ;Volum 37. s. 481-488
HVL Untitled
 
6 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Scalable verification of model transformations. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 29-38
HVL Untitled
 
2013
7 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
 
8 Wang, Xiaoliang; Lamo, Yngve.
Verification of graph-based model transformations using Alloy. Nordic Workshop Of Programming Theory; 2013-10-20 - 2014-10-22
HVL Untitled
 
2012
9 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
 
2011
10 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
 
11 Wang, Xiaoliang; Lamo, Yngve.
Correctness of Consjavascript:document.vaform.aksjon.value='velgTitteltekstOriginal'; document.vaform.submit();traint-Aware Model Transformations. NWPT 2011: 23rd Nordic Workshop on Programming Theory; 2011-10-26 - 2011-10-28
HVL Untitled