Lars Michael Kristensen

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 51

Top Venues

NIK

Trans. Petri Nets Other Model. Concurr.

PNSE @ Petri Nets

PNSE@Petri Nets

Publications

Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss
A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams. ICSA (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss
A data-flow oriented software architecture for heterogeneous marine data streams. CoRR (2024)
Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. PNSE@Petri Nets (2023)
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Ngoc-Thanh Nguyen, Rogardt Heldal, Keila Lima, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen, Kjetil Waldeland Høydal, Pål Asle Reiersgaard, Yngve Kvinnsland
Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. IEEE Internet Things J. 10 (16) (2023)
Ruben Dobler Strand, Lars Michael Kristensen, Thorbjørn Svendal, Emilie H. Fisketjøn, Abu T. Hussain
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. WorldCIST (2) (2023)
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets. CoRR (2022)
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE@Petri Nets (2022)
Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. PROFES (2022)
Ruben Dobler Strand, Sindre Stokkenes, Lars Michael Kristensen, Torgrim Log
Fire Risk Prediction Using Cloud-based Weather Data Services. J. Ubiquitous Syst. Pervasive Networks 16 (1) (2022)
Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21 (2) (2022)
Michele Gazzea, Lars Michael Kristensen, Francesco Pirotti, Eren Erman Ozguven, Reza Arghandeh
Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. Petri Nets (2022)
Sami Evangelista, Laure Petrucci, Lars Michael Kristensen
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS (2022)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
MC/DC Test Cases Generation Based on BDDs. SETTA (2021)
Michele Gazzea, Sindre Aalhus, Lars Michael Kristensen, Eren Erman Ozguven, Reza Arghandeh
Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. IGARSS (2021)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Sindre Stokkenes, R. D. Strand, Lars Michael Kristensen, Torgrim Log
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. ANT/EDI40 (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS (2020)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Multi-objective Search for Model-based Testing. QRS (2020)
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets (2020)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR (2020)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104 (2019)
Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18 (2) (2019)
Lars Michael Kristensen, Torgrim Log, Sindre Stokkenes
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIK (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181 (2019)
Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) (2019)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD (2019)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD (2018)
Rui Wang, Lars Michael Kristensen, Volker Stolz
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS (2018)
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS (2018)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) (2018)
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD (2018)
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz
Model-based specification and validation of the dual-mode adaptive MAC protocol. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
Multilevel modelling of coloured petri nets. MoDELS (Workshops) (2018)
Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. PNSE @ Petri Nets (2017)
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD (2017)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) (2017)
Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland
CTL Model Checking with the Sweep-line State Space Exploration Method. NIK (2017)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets (2017)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Lars Michael Kristensen, Vegard Veiset
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Petri Nets (2016)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. 7 (3) (2016)
Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz
Forord til NIK 2016 og UDIT 2016. NIK (2016)
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. ANT/SEIT (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
A Diagrammatic Approach to Model Completion. AMT@MoDELS (2015)
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus
Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control. SimuTools (2015)
Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. VECoS (2015)
Kurt Jensen, Lars Michael Kristensen
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58 (6) (2015)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets (2015)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK (2015)
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. IEEE Commun. Surv. Tutorials 16 (3) (2014)
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. FNC/MobiSPC (2014)
Lars Michael Kristensen
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. PNSE @ Petri Nets (2014)
Sami Evangelista, Lars Michael Kristensen
A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131 (1) (2014)
Lars Michael Kristensen
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. NIK (2014)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. DAIS (2014)
Sami Evangelista, Lars Michael Kristensen
Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. 78 (7) (2013)
Vegard Veiset, Lars Michael Kristensen
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE (2013)
Lars Michael Kristensen, Kent Inge Fagerland Simonsen
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA (2013)
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. ISWPC (2013)
Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci
Preface. Fundam. Informaticae 122 (1-2) (2013)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF (2013)
Michael Westergaard, Lars Michael Kristensen
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. MOMPES (2012)
Kurt Jensen, Lars Michael Kristensen, Thomas Mailund
The sweep-line state space exploration method. Theor. Comput. Sci. 429 (2012)
Sami Evangelista, Lars Michael Kristensen
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN (2012)
Sami Evangelista, Lars Michael Kristensen
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets (2012)
Sami Taktak, Lars Michael Kristensen
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. GPC (2011)
Lars Michael Kristensen, Michael Westergaard
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS (2010)
Lars Michael Kristensen
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Petri Nets (2010)
Sami Evangelista, Lars Michael Kristensen
Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Lars Michael Kristensen, Paul Fleischer
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Informaticae 94 (3-4) (2009)
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
ASAP: An Extensible Platform for State Space Analysis. Petri Nets (2009)
Michael Westergaard, Lars Michael Kristensen
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets (2009)
Sami Evangelista, Lars Michael Kristensen
Dynamic State Space Partitioning for External Memory Model Checking. FMICS (2009)
Sami Evangelista, Michael Westergaard, Lars Michael Kristensen
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Lars Michael Kristensen, Kurt Jensen
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Paul Fleischer, Lars Michael Kristensen
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets (2008)
Paul Fleischer, Lars Michael Kristensen
Modelling the configuration/management API middleware using coloured petri nets. SimuTools (2008)
Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Petri Nets (2008)
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN (2007)
Brice Mitchell, Lars Michael Kristensen, Lin Zhang
Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Kurt Jensen, Lars Michael Kristensen, Lisa Wells
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Lars Michael Kristensen, Karsten Schmidt, Antti Valmari
Question-guided stubborn set methods for state properties. Formal Methods Syst. Des. 29 (3) (2006)
Jeppe Brønsted, Lars Michael Kristensen
Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Annual Simulation Symposium (2006)
Charles A. Lakos, Lars Michael Kristensen
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA (2005)
J. Broensted, Klaus Marius Hansen, Lars Michael Kristensen
An infrastructure for a traffic warning system. ICPS (2005)
Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM (2005)
Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34 (1) (2004)
Lars Michael Kristensen, Kurt Jensen
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report (2004)

Lars Michael Kristensen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lars Michael Kristensen