|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2023
|
1. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innovations in Systems and Software Engineering 2023 s. - HVL
Untitled
|
|
2. |
Bergh, Øivind; Danre, Jean-Baptiste; Stensland, Kjetil; Lima, Keila; Ngoc-Thanh, Nguyen; Heidal, Rogardt; Kristensen, Lars Michael; Oyetoyan, Tosin Daniel; Graves, Inger; Sætre, Camilla; Skålvik, Astrid Marie; Holstad, Marie Bueie; Henne, Ingvar; Stiansen, Jan Erik. A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture research facility. Ocean Data Week; 2023-06-26 - 2023-06-30 HVL NORCE NTNU UiB HAVFORSK
Untitled
|
|
3. |
Bergh, Øivind; Danre, Jean-Baptiste; Stensland, Kjetil; Lima, Keila; Nguyen, Ngoc-Thanh; Heidal, Rogardt; Kristensen, Lars Michael; Oyetoyan, Tosin Daniel; Graves, Inger; Sætre, Camilla; Skålvik, Astrid Marie; Holstad, Marie Bueie; Henne, Ingvar; Stiansen, Jan Erik. A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture facility. Aquaculture Europe 2023; 2023-09-18 - 2023-09-21 HAVFORSK HVL NORCE NTNU UiB
Untitled
|
|
4. |
Heldal, Rogardt; Kristensen, Lars Michael; Lima, Keila; Oyetoyan, Tosin Daniel; Nguyen, Ngoc Thanh. Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. CEUR Workshop Proceedings 2023 ;Volum 3430. s. 110-125 HVL
Untitled
|
|
5. |
Nguyen, Ngoc Thanh; Heldal, Rogardt; Lima, Keila; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael; Hoydal, Kjetil Waldeland; Reiersgaard, Pal Asle; Kvinnsland, Yngve. Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. IEEE Internet of Things Journal 2023 ;Volum 10.(16) s. 14712-14724 HVL
Untitled
|
2022
|
6. |
Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael. Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13709. s. 124-140 HVL
Untitled
|
|
7. |
Gazzea, Michele; Kristensen, Lars Michael; Pirotti, Francesco; Ozguven, Eren Erman; Arghandeh, Reza. Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. IEEE Transactions on Geoscience and Remote Sensing 2022 ;Volum 60. HVL
Untitled
|
|
8. |
Steinsland, Vegard; Kristensen, Lars Michael; Zhang, Shujun. Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. 43rd International Conference on Application and Theory of Petri Nets and Concurrency; 2022-06-19 - 2022-06-24 HVL
Untitled
|
|
9. |
Strand, Ruben Dobler; Petrucci, Laure; Kristensen, Lars Michael. Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. CEUR Workshop Proceedings 2022 ;Volum 3170. s. 1-20 HVL
Untitled
|
2021
|
10. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. MC/DC Test Cases Generation Based on BDDs. I: SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Beijing, China: Springer International Publishing 2021 ISBN 978-3-030-91265-9. s. 178-197 HVL
Untitled
|
|
11. |
Gazzea, Michele; Aalhus, Sindre; Kristensen, Lars Michael; Ozguven, Eren Erman; Arghandeh, Reza. Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. 2021 IEEE International Geoscience and Remote Sensing Symposium IGARSS; 2021-07-11 - 2021-07-16 HVL
Untitled
|
|
12. |
Halderaker, Eivind Dagsland; Evjenth, Andreas. Development and Evaluation of a Software System for Fire Risk Prediction. : Høgskolen på Vestlandet 2021 129 s. HVL
Untitled
|
|
13. |
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
|
|
14. |
Rodríguez, Alejandro; Durán, Francisco; Kristensen, Lars Michael. Simulation and analysis of MultEcore multilevel models based on rewriting logic. Software and Systems Modeling (SoSyM) 2021 s. - HVL
Untitled
|
|
15. |
Stokkenes, Sindre; Strand, Ruben Dobler; Kristensen, Lars Michael; Log, Torgrim. Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. Procedia Computer Science 2021 ;Volum 184. s. 186-193 HVL
Untitled
|
|
16. |
Strand, Ruben Dobler; Stokkenes, Sindre; Kristensen, Lars Michael; Log, Torgrim. Fire Risk Prediction Using Cloud-based Weather Data Services. International Journal of Ubiquitous Systems and Pervasive Networks (JUSPN) 2021 ;Volum 16.(1) s. 37-47 HVL
Untitled
|
2020
|
17. |
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
|
|
18. |
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
|
|
19. |
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 UiO HVL
Untitled
|
|
20. |
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
|
|
21. |
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
|
22. |
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
|
|
23. |
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 UiO HVL
Untitled
|
|
24. |
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
|
|
25. |
Pomello, Lucia; Kristensen, Lars Michael. Preface by Guest Editors. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11790 LNCS. s. xi-xiii HVL
Untitled
|
|
26. |
Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael. Analysis and evaluation of conformance preserving graph transformation rules. Communications in Computer and Information Science (CCIS) 2019 ;Volum 991. s. 284-307 HVL
Untitled
|
|
27. |
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. 1-21 HVL
Untitled
|
|
28. |
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
|
|
29. |
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
|
|
30. |
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
|
|
31. |
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
|
|
32. |
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
|
|
33. |
Stokkenes, Sindre. Implementation and Evaluation of a Fire Risk Indication Model. Bergen: Høgskulen på Vestlandet 2019 91 s. HVL
Untitled
|
|
34. |
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
|
|
35. |
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
|
36. |
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
|
|
37. |
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
|
|
38. |
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
|
|
39. |
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
|
|
40. |
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
|
|
41. |
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
|
|
42. |
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
|
|
43. |
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
|
|
44. |
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
|
45. |
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
|
|
46. |
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
|
|
47. |
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
|
|
48. |
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
|
|
49. |
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 UiO HVL
Untitled
|
|
50. |
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 UiO HVL
Untitled
|
Vis neste liste
|