| 2025 | ANT | Performance Impact of Wind Speed on MAC Protocols for Underwater Wireless Sensor Networks. | Md. Al Shayokh, Anne-Lena Kampen, Kjell Eivind Frysa, Lars Michael Kristensen |
| 2025 | ANT | Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks. | Ivan Spajic, Lars Michael Kristensen, Volker Stolz |
| 2024 | ANT | An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes. | Ruben Dobler Strand, Lars Michael Kristensen |
| 2024 | ICSA | A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams. | Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss |
| 2023 | WorldCIST | A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. | Ruben Dobler Strand, Lars Michael Kristensen, Thorbjrn Svendal, Emilie H. Fisketjn, Abu T. Hussain |
| 2022 | ICECCS | Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. | Sami Evangelista, Laure Petrucci, Lars Michael Kristensen |
| 2022 | PROFES | Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. | Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen |
| 2021 | ANT | Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. | Sindre Stokkenes, Ruben Dobler Strand, Lars Michael Kristensen, Torgrim Log |
| 2021 | IGARSS | Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. | Michele Gazzea, Sindre Aalhus, Lars Michael Kristensen, Eren Erman Ozguven, Reza Arghandeh |
| 2021 | SETTA | MC/DC Test Cases Generation Based on BDDs. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2020 | QRS | Multi-objective Search for Model-based Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2020 | VECoS | Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2019 | IFM | Visualization and Abstractions for Execution Paths in Model-Based Software Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2019 | MODELS | A Foundation for the Composition of Multilevel Domain-Specific Languages. | Alejandro Rodrguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durn |
| 2018 | MODELS | Multilevel modelling of coloured petri nets. | Alejandro Rodrguez, Adrian Rutle, Francisco Durn, Lars Michael Kristensen, Fernando Macas |
| 2018 | MODELSWARD | Static Analysis of Conformance Preserving Model Transformation Rules. | Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo |
| 2018 | MODELSWARD | Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. | Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen |
| 2018 | VECoS | MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. | Rui Wang, Lars Michael Kristensen, Volker Stolz |
| 2017 | MODELSWARD | Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. | Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo |
| 2017 | MODELSWARD | A Model Driven Engineering Approach for Heterogeneous Model Composition. | Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen |
| 2016 | ANT | Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. | Admar Ajith Kumar Somappa, Knut vsthus, Lars Michael Kristensen |
| 2016 | EUMAS | An MDE Approach for Modelling and Reasoning About Multi-agent Systems. | Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen |
| 2016 | MODELSWARD | WebDPF: A Web-based Metamodelling and Model Transformation Environment. | Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen |
| 2015 | MODELS | A Diagrammatic Approach to Model Completion. | Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen |
| 2015 | VECoS | Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. | Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen |
| 2014 | DAIS | Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. | Kent Inge Fagerland Simonsen, Lars Michael Kristensen |
| 2014 | FNC | Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. | Admar Ajith Kumar Somappa, Knut vsthus, Lars Michael Kristensen |
| 2013 | ATVA | Multi-threaded Explicit State Space Exploration with State Reconstruction. | Sami Evangelista, Lars Michael Kristensen, Laure Petrucci |
| 2011 | GPC | Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. | Sami Taktak, Lars Michael Kristensen |
| 2010 | FMICS | Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. | Lars Michael Kristensen, Michael Westergaard |
| 2009 | FMICS | Dynamic State Space Partitioning for External Memory Model Checking. | Sami Evangelista, Lars Michael Kristensen |
| 2005 | ATVA | State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. | Charles A. Lakos, Lars Michael Kristensen |
| 2005 | IFM | Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. | Lars Michael Kristensen, Michael Westergaard, Peder Christian Nrgaard |
| 2003 | ICFEM | Efficient Path Finding with the Sweep-Line Method Using External Storage. | Lars Michael Kristensen, Thomas Mailund |
| 2002 | FM | A Generalised Sweep-Line Method for Safety Properties. | Lars Michael Kristensen, Thomas Mailund |
| 2002 | FORTE | A Compositional Sweep-Line State Space Exploration Method. | Lars Michael Kristensen, Thomas Mailund |
| 2001 | TACAS | A Sweep-Line Method for State Space Exploration. | Sren Christensen, Lars Michael Kristensen, Thomas Mailund |
| 1997 | TACAS | Design/CPN - A Computer Tool for Coloured Petri Nets. | Sren Christensen, Jens Bk Jrgensen, Lars Michael Kristensen |