Articoli con mandati relativi all'accesso pubblico - Lars M KristensenUlteriori informazioni
Non disponibili pubblicamente: 4
Engineering challenges of stationary wireless smart ocean observation systems
NT Nguyen, R Heldal, K Lima, TD Oyetoyan, P Pelliccione, LM Kristensen, ...
IEEE Internet of Things Journal 10 (16), 14712-14724, 2023
Mandati: Science Foundation Ireland
Tree species classification using high-resolution satellite imagery and weakly supervised learning
M Gazzea, LM Kristensen, F Pirotti, EE Ozguven, R Arghandeh
IEEE Transactions on Geoscience and Remote Sensing 60, 1-11, 2022
Mandati: US National Science Foundation, US Department of Energy, Research Council of …
Development and Verification of a Microservice Architecture for a Fire Risk Notification System
RD Strand, LM Kristensen, L Petrucci
Transactions on Petri Nets and Other Models of Concurrency XVII, 27-53, 2023
Mandati: Research Council of Norway
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing
RD Strand, LM Kristensen, T Svendal, EH Fisketjøn, AT Hussain
World Conference on Information Systems and Technologies, 238-248, 2023
Mandati: Research Council of Norway
Disponibili pubblicamente: 17
An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools.
J Pietron, F Füg, M Tichy
STAF Workshops, 88-89, 2021
Mandati: Federal Ministry of Education and Research, Germany
Marine data sharing: Challenges, technology drivers and quality attributes
K Lima, NT Nguyen, R Heldal, E Knauss, TD Oyetoyan, P Pelliccione, ...
International Conference on Product-Focused Software Process Improvement …, 2022
Mandati: Science Foundation Ireland
Validation of a predictive fire risk indication model using cloud-based weather data services
S Stokkenes, RD Strand, LM Kristensen, T Log
Procedia Computer Science 184, 186-193, 2021
Mandati: Research Council of Norway
Translating active objects into Colored Petri Nets for communication analysis
A Gkolfi, CC Din, EB Johnsen, LM Kristensen, M Steffen, IC Yu
Science of Computer Programming 181, 1-26, 2019
Mandati: Research Council of Norway
Mc/dc test cases generation based on bdds
F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz
International Symposium on Dependable Software Engineering: Theories, Tools …, 2021
Mandati: Science Foundation Ireland, Forskningsrådet för arbetsliv, hälsa och välfärd …
Coverage analysis of net inscriptions in coloured Petri net models
F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz
International Conference on Verification and Evaluation of Computer and …, 2020
Mandati: European Commission
Fire Risk Prediction Using Cloud-based Weather Data Services.
RD Strand, S Stokkenes, LM Kristensen, T Log
J. Ubiquitous Syst. Pervasive Networks 16 (1), 37-47, 2022
Mandati: Research Council of Norway
Multi-objective Search for Model-based Testing
R Wang, C Artho, LM Kristensen, V Stolz
2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020
Mandati: European Commission
Simulation and analysis of MultEcore multilevel models based on rewriting logic
A Rodríguez, F Durán, LM Kristensen
Software and Systems Modeling 21 (2), 561-586, 2022
Mandati: Science Foundation Ireland
Formal specification and validation of a data-driven software system for fire risk prediction
RD Strand, LM Kristensen, L Petrucci
Mandati: Research Council of Norway
A data-flow oriented software architecture for heterogeneous marine data streams
K Lima, NT Nguyen, R Heldal, LM Kristensen, TD Oyetoyan, P Pelliccione, ...
2024 IEEE 21st International Conference on Software Architecture (ICSA), 146-157, 2024
Mandati: Science Foundation Ireland
Coverage visualization and analysis of net inscriptions in coloured Petri net models
F Ahishakiye, JIR Jarabo, LM Kristensen, V Stolz
Innovations in Systems and Software Engineering 20 (1), 17-30, 2024
Mandati: Science Foundation Ireland, European Commission
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
R Heldal, LM Kristensen, K Lima, TD Oyetoyan, NT Nguyen
CEUR-WS. org, 2023
Mandati: Science Foundation Ireland
A Modular Smart Ocean Observatory for Development of Sensors, Underwater Communication and Surveillance of Environmental Parameters
Ø Bergh, JB Danre, K Stensland, K Lima, NT Nguyen, R Heldal, ...
Sensors 24 (20), 6530, 2024
Mandati: Science Foundation Ireland, Research Council of Norway
An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes
RD Strand, LM Kristensen
Procedia Computer Science 238, 49-56, 2024
Mandati: Research Council of Norway
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks
S Evangelista, L Petrucci, LM Kristensen
2022 26th International Conference on Engineering of Complex Computer …, 2022
Mandati: Science Foundation Ireland
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software