|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
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
|
|