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

2019
1 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh.
Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 2019 ;Volum 181. s. 1-26
HVL UiO Untitled
 
2 Koutny, Maciej; Pomello, Lucia; Kristensen, Lars Michael.
Selected Papers from the Petri Nets and ACSD Workshops 2018. Lecture Notes in Computer Science (LNCS) 2019
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 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
 
5 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
 
6 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
 
7 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
 
8 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
 
9 Stokkenes, Sindre; Kristensen, Lars Michael; Log, Torgrim.
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIK: Norsk Informatikkonferanse 2019 s. -
HVL Untitled
 
10 Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker.
Visualization and abstractions for execution paths in model-based software testing. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918.
HVL Untitled
 
11 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 104. s. 254-273
HVL UIS Untitled
 
2018
12 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11222 LNCS. s. 156-174
HVL UiO Untitled
 
13 Koutny, Maciej; Kristensen, Lars Michael; Penczek, Wojciech.
Selected Papers from the Petri Nets and ACSD Workshops 2017. Lecture Notes in Computer Science (LNCS) 2018
HVL Untitled
 
14 Kumar Somappa, Admar Ajith; Kristensen, Lars Michael; Prinz, Andreas.
Model-based specification and validation of the dual-mode adaptive MAC protocol. International Journal of Critical Computer-Based Systems 2018 ;Volum 8.(2) s. 108-140
HVL UIA Untitled
 
15 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
 
16 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
 
17 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
 
18 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
 
19 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11090. s. 158-180
HVL UIS Untitled
 
20 Wang, Rui; Kristensen, Lars Michael; Stolz, Volker.
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11181. s. 97-113
HVL Untitled
 
2017
21 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Resource Management of Cloud-Aware Programs using Coloured Petri Nets. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 31-33
HVL UiO Untitled
 
22 Høyland, Sven-Olai; Lilleskare, Andreas; Kristensen, Lars Michael.
CTL Model Checking with the Sweep-line State Space Exploration Method. NIK: Norsk Informatikkonferanse 2017
HVL Untitled
 
23 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
 
24 Kristensen, Lars Michael; Taentzer, Gabriele; Vaupel, Steffen.
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. CEUR Workshop Proceedings 2017 ;Volum 1846. s. 227-228
HVL Untitled
 
25 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
 
26 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael.
An MDE Approach for Modelling and Reasoning about Multi-agent Systems. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10207 LNAI. s. 49-57
HVL UiO Untitled
 
27 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
 
28 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
 
29 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings 2017 ;Volum 1846. s. 177-196
HVL UIS Untitled
 
30 Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker.
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 22-24
HVL UIS Untitled
 
2016
31 Cabac, Lawrence; Kristensen, Lars Michael; Rolke, Heiko.
International Conference on Petri Nets and Software Engineering. CEUR Workshop Proceedings 2016 ;Volum 1591. s. 1-2
HVL Untitled
 
32 Kristensen, Lars Michael; Krogstie, Birgit Rognebakke; Stolz, Volker.
Forord til NIK 2016 og UDIT 2016. NIK: Norsk Informatikkonferanse 2016 s. -
HVL NTNU Untitled
 
33 Kristensen, Lars Michael; Veiset, Vegard.
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9698. s. 135-154
HVL Untitled
 
34 Kumar Somappa, Admar Ajith; Øvsthus, Knut; Kristensen, Lars Michael.
Implementation and deployment evaluation of the DMAMAC protocol for wireless sensor actuator networks. Procedia Computer Science 2016 ;Volum 83. s. 329-336
HVL UIA Untitled
 
35 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
 
36 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
 
37 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9930. s. 1-27
HVL Untitled
 
38 Wold, Marius Fjeld; Kristensen, Lars Michael; Røkenes, Tone Helene Bergset; Trefall, Pål Solberg; Herheim, Rune.
SIMSubsea: An educational game combining commercial game-play with contextual mathematical problem-solving. Proceedings of the ... European conference on games-based learning 2016 ;Volum 2016-January. s. 788-795
HVL Untitled
 
2015
39 Jensen, Kurt; Kristensen, Lars Michael.
Colored petri nets: A graphical language for formal modeling and validation of concurrent systems. Communications of the ACM 2015 ;Volum 58.(6) s. 61-70
HVL Untitled
 
40 Kumar Somappa, Admar Ajith; Prinz, Andreas; Kristensen, Lars Michael.
Model-based verification of the DMAMAC protocol for real-time process control. CEUR Workshop Proceedings 2015 ;Volum 1431. s. 81-95
HVL UIA Untitled
 
41 Kumar Somappa, Admar Ajith; Øvsthus, Knut; Kristensen, Lars Michael.
Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control. SIMUTools 2015; 2015-08-24 - 2015-08-26
HVL Untitled
 
42 Kumar Somappa, Admar Ajith; Øvsthus, Knut; Kristensen, Lars Michael.
Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control. I: Eighth EAI International Conference on Simulation Tools and Techniques. ACM Digital Library 2015 ISBN 978-1-63190-079-2. s. 218-227
HVL Untitled
 
43 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
 
44 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
 
45 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
 
46 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. CEUR Workshop Proceedings 2015 ;Volum 1372. s. 79-98
HVL Untitled
 
2014
47 Evangelista, Sami; Kristensen, Lars Michael.
A sweep-line method for büchi automata-based model checking. Fundamenta Informaticae 2014 ;Volum 131.(1) s. 27-53
HVL Untitled
 
48 Kristensen, Lars Michael.
A Pragmatic Approach to Automated Code Generation from CPN Simulation Models. International Conference on Simulation Tools and Techniques; 2014-03-17 - 2014-03-19
HVL Untitled
 
49 Kristensen, Lars Michael.
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. CEUR Workshop Proceedings 2014 ;Volum 1160. s. 13-14
HVL Untitled
 
50 Kristensen, Lars Michael.
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. International Workshop on Petri Nets and Software Engineering; 2014-06-23 - 3014-06-24
HVL Untitled
 
    Vis neste liste