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

2019
1 Nyameino, Job; Rabbi, Fazle; Ebbesvik, Ben-Richard; Were, Martin C; Lamo, Yngve.
A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines. International Conference on Evaluation of Novel Approaches to Software Engineering; 2019-05-04 - 2019-05-05
HVL UiB Untitled
 
2 Rabbi, Fazle; Lamo, Yngve.
Development of an E-mental Health Infrastructure for Supporting Interoperability and Data Analysis. CEUR Workshop Proceedings 2019 ;Volum 2336. s. 59-66
HVL Untitled
 
3 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael.
Analysis and evaluation of conformance preserving graph transformation rules. Communications in Computer and Information Science 2019 ;Volum 991. s. 284-307
HVL Untitled
 
4 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
5 Lamo, Yngve.
e-Health infrastructure for E-mental health. Invitert foredrag FHDW, University of Apllied Sciences, Hannover; 2018-09-04
HVL Untitled
 
6 Lamo, Yngve; MacCaull, Wendy.
A Reasoning System for Satisfiability of Diagrammatic Specifications. I: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Nature 2018 ISBN 978-3-319-97878-9. s. 371-402
HVL Untitled
 
7 Lamo, Yngve; Rabbi, Fazle.
Software Infrastructure for e-Mental Health. Invitert foredrag for forskere og studenter, University of Ottawa; 2018-06-27
HVL Untitled
 
8 Rabbi, Fazle; Kristensen, Lars Michael; Lamo, Yngve.
Static Analysis of Conformance Preserving Model Transformation Rules. I: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2018. SciTePress 2018 ISBN 978-989-758-283-7. s. 152-162
HVL Untitled
 
9 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael.
A model driven engineering approach for heterogeneous model composition. Communications in Computer and Information Science 2018 ;Volum 880. s. 198-221
HVL UiO Untitled
 
10 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
 
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
 
2017
14 Hussain, Altaf; MacCaull, Wendy; Lamo, Yngve.
Casd: A framework for context aware service discovery and selection. Lecture Notes in Computer Science 2017 ;Volum 10034 LNCS. s. 252-264
HVL Untitled
 
15 Lamo, Yngve.
How can Nano-Materials and Biosensors Influence Patient-Centric Care. International Symposium on Nanomaterials for Clean Energy and Health Applications; 2017-12-06 - 2017-12-08
HVL Untitled
 
16 Lamo, Yngve; Rabbi, Fazle; Barendregt, Rosaline.
Challenges for technology innovation in health care. I: 2016 International Conference on Advances in Electrical, Electronic and Systems Engineering (ICAEES). IEEE 2017 ISBN 978-1-5090-2890-0.
HAUKELAND HVL UiB Untitled
 
17 Rabbi, Fazle; Kristensen, Lars Michael; Lamo, Yngve.
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. I: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. SciTePress 2017 ISBN 978-989-758-210-3. s. 41-52
HVL UiO Untitled
 
18 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael.
An MDE Approach for Modelling and Reasoning about Multi-agent Systems. Lecture Notes in Computer Science 2017 ;Volum 10207 LNAI. s. 49-57
HVL UiO Untitled
 
19 Rabbi, Fazle.
MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS. Faculty of Mathematics and Natural Sciences, University of Oslo: Reprosentralen, University of Oslo 2017 224 s. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(1884)
HVL UiO Untitled
 
20 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
 
21 Yogarajah, Aravinthan; Kenter, Robin Maria Francisca; Lamo, Yngve; Nordgreen, Tine.
Internet-based treatment systems - A survey of systems for common mental disorder. ISRII 9th Scientific Meeting; 2017-10-12 - 2017-10-14
HVL UiB Untitled
 
2016
22 Barendregt, Rosaline; Lamo, Yngve; Rabbi, Fazle.
A bottom up approach for synchronous user interaction design and workflow modelling. Procedia Computer Science 2016 ;Volum 98. s. 340-347
HVL UiB Untitled
 
23 Calder, Thomas Peter; Lamo, Yngve.
A bottom up approach to model based program validation. CEUR Workshop Proceedings 2016 ;Volum 1694. s. 12-21
HVL Untitled
 
24 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh.
Towards a categorical approach for meta-modelling epistemic game theory. I: MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-4321-3. s. 57-64
HVL UiO Untitled
 
25 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Diagrammatic development of domain specific modelling languages with WebDPF. International Journal of Information System Modeling and Design 2016 ;Volum 7.(3) s. 93-114
HVL UiO Untitled
 
26 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
WebDPF: A Web-based Metamodelling and Model Transformation Environment. I: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress 2016 ISBN 978-989-758-168-7. s. 87-98
HVL UiO Untitled
 
27 Vela, Maximiliano; Lamo, Yngve; Rabbi, Fazle; Macias Gomez de Villar, Fernando.
A heuristic approach for resolving the Class Responsibility Assignment Case. CEUR Workshop Proceedings 2016 ;Volum 1758. s. 21-26
HVL Untitled
 
28 Wang, Xiaoliang.
Towards Correct Modelling and Model Transformation in DPF. : Universitetet i Bergen 2016 (ISBN 978-82-308-3290-5)
HVL UiB Untitled
 
2015
29 Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve; Wolter, Uwe Egbert.
Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Science of Computer Programming 2015 ;Volum 104.(1) s. 2-43
HVL UiB Untitled
 
30 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael; Yu, Ingrid Chieh.
A generalization of termination conditions for partial model completion. 27th Nordic Workshop on Programming Theory; 2015-10-21 - 2015-10-23
HVL UiO Untitled
 
31 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
A diagrammatic approach to model completion. CEUR Workshop Proceedings 2015 ;Volum 1500. s. 56-65
HVL UiO Untitled
 
32 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK: Norsk Informatikkonferanse 2015 s. -
HVL UiO Untitled
 
33 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
34 Krasnoshchok, Oleksandr; Lamo, Yngve.
Extended content-boosted matrix factorization algorithm for recommender systems. Procedia Computer Science 2014 ;Volum 35.(C) s. 417-426
HVL Untitled
 
35 Lamo, Yngve.
Model driven approach to hybrid system : how can MDE improve the quality og hybrid systems. International conference on industrial applications of signal processing; 2014-11-25 - 2014-11-27
HVL Untitled
 
36 Rabbi, Fazle; Lamo, Yngve.
Metamodel integration: A formal approach to system integration. Joint symposium on program and model transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
37 Rabbi, Fazle; Lamo, Yngve; MacCaull, Wendy.
A flexible metamodelling approach for healthcare systems. CEUR Workshop Proceedings 2014 ;Volum 1251. s. 115-128
HVL UiO Untitled
 
38 Rabbi, Fazle; Lamo, Yngve; MacCaull, Wendy.
Co-ordination of multiple metamodels, with application to healthcare systems. Procedia Computer Science 2014 ;Volum 37. s. 473-480
HVL UiO Untitled
 
39 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Towards a Diagrammatic Rewriting System for Model Completion. 26th Nordic Workshop on Programming Theory; 2014-10-29 - 2014-10-31
HVL UiO Untitled
 
40 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
 
41 Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve.
Scalable verification of model transformations. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 29-38
HVL Untitled
 
2013
42 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
 
43 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
 
44 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
 
45 Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve.
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. Electronic Communications of the EASST 2013 ;Volum 61. s. -
HVL Untitled
 
46 Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve.
Customizing model migrations by rule schemes. I: 13th International Workshop on Principles of Software Evolution, IWPSE 2013, Proceedings, August 19-20, 2013, Saint Petersburg,Russia. ACM Publications 2013 ISBN 978-1-4503-2311-6.
HVL Untitled
 
47 Mantz, Florian; Taentzer, Gabriele; Lamo, Yngve.
Well-formed Model Co-evolution with Customizable Model Migration. Electronic Communications of the EASST 2013 ;Volum 58.
HVL Untitled
 
48 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
 
49 Taentzer, Gabriele; Mantz, Florian; Arendt, Thorsten; Lamo, Yngve.
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. I: Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, Florida, USA, September 29-October 4, 2013. Proceedings. Springer 2013 ISBN 978-3-642-41532-6.
HVL Untitled
 
50 Taentzer, Gabriele; Mantz, Florian; Arendt, Thorsten; Lamo, Yngve.
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. Lecture Notes in Computer Science 2013 ;Volum 8107. s. 254-270
HVL Untitled
 
    Vis neste liste