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 >>

2021
1 Rodriguez Tena, Alejandro; Kristensen, Lars Michael; Rutle, Adrian.
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Lecture Notes in Computer Science (LNCS) 2021
HVL Untitled
 
2020
2 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I: Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer 2020 ISBN 978-3-030-65954-7. s. 68-83
HVL Untitled
 
3 Botnen, Hans Ivar.
Design and Validation of a Distributed Software Architecture for a Fire Risk Notification System. Bergen: Høgskulen på Vestlandet 2020 78 s.
HVL Untitled
 
4 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Model checking starvation for resource-aware active objects with coloured petri nets. CEUR Workshop Proceedings 2020 ;Volum 2651. s. 68-85
HVL UiO Untitled
 
5 Steinsland, Vegard; Kristensen, Lars Michael; Arghandeh, Reza; Zhang, Shujun.
Design of Modular Multilevel Converters for the Shipnet in medium Voltage DC All-Electric Ships. 2020 IEEE 21st Workshop on Control and Modeling for Power Electronics (COMPEL); 2020-11-09 - 2020-11-12
HVL UiO Untitled
 
6 Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker.
Multi-objective Search for Model-based Testing. I: 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS 2020). IEEE conference proceedings 2020 ISBN 978-1-7281-8913-0. s. 130-141
HVL Untitled
 
2019
7 Ahishakiye, Faustin; Stolz, Volker; Kristensen, Lars Michael.
Generating test cases satisfying MC/DC from BDDs. Tallinn, Estonia: Proceedings of the 31st Nordic Workshop on Programming Theory 2019 2019 (ISBN 978-9949-83-520-1) 3 s.
HVL Untitled
 
8 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
 
9 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
 
10 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
 
11 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
 
12 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
 
13 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
 
14 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
 
15 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
 
16 Stokkenes, Sindre; Kristensen, Lars Michael; Log, Torgrim.
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIKT: Norsk IKT-konferanse for forskning og utdanning 2019 s. -
HVL Untitled
 
17 Stokkenes, Sindre.
Implementation and Evaluation of a Fire Risk Indication Model. Bergen: Høgskulen på Vestlandet 2019 91 s.
HVL Untitled
 
18 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
 
19 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
20 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
 
21 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
 
22 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
 
23 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
 
24 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
 
25 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
 
26 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
 
27 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
 
28 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
29 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
 
30 Høyland, Sven-Olai; Lilleskare, Andreas; Kristensen, Lars Michael.
CTL Model Checking with the Sweep-line State Space Exploration Method. NIKT: Norsk IKT-konferanse for forskning og utdanning 2017
HVL Untitled
 
31 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
 
32 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
 
33 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
 
34 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
 
35 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
 
36 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
 
37 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
 
38 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
39 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
 
40 Kristensen, Lars Michael; Krogstie, Birgit Rognebakke; Stolz, Volker.
Forord til NIK 2016 og UDIT 2016. NIKT: Norsk IKT-konferanse for forskning og utdanning 2016 s. -
HVL NTNU Untitled
 
41 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
 
42 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
 
43 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
 
44 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
 
45 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
 
46 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
47 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
 
48 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
 
49 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
 
50 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
 
    Vis neste liste