Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-9 av 9

2018
1 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
 
2 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
 
3 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
UIA HVL Untitled
 
4 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
 
5 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael.
A model driven engineering approach for heterogeneous model composition. Communications in Computer and Information Science (CCIS) 2018 ;Volum 880. s. 198-221
HVL UiO 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 Untitled
 
7 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
 
8 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
UIS HVL Untitled
 
9 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