Design/CPN - A Computer Tool for Coloured Petri Nets. - Søren Christensen; Jens Bæk Jørgensen; Lars Michael Kristensen (TACAS, 1997)

Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. - Lars Michael Kristensen; Antti Valmari (ICATPN, 1998)

The Practitioner's Guide to Coloured Petri Nets. - Lars Michael Kristensen; Søren Christensen; Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 1998)

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. - Jens Bæk Jørgensen; Lars Michael Kristensen (IEEE Trans. Parallel Distributed Syst., 1999)

Improved Question-Guided Stubborn Set Methods for State Properties. - Lars Michael Kristensen; Antti Valmari (ICATPN, 2000)

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. - Louise Lorentsen; Lars Michael Kristensen (ICATPN, 2000)

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. - Louise Lorentsen; Lars Michael Kristensen (ACSD, 2001)

Condensed State Spaces for Timed Petri Nets. - Søren Christensen; Lars Michael Kristensen; Thomas Mailund (ICATPN, 2001)

Simulation Based Performance Analysis of Web Servers. - Lisa Wells; Søren Christensen; Lars Michael Kristensen; Kjeld Høyer Mortensen (PNPM, 2001)

A Sweep-Line Method for State Space Exploration. - Søren Christensen; Lars Michael Kristensen; Thomas Mailund (TACAS, 2001)

Verification of a Revised WAP Wireless Transaction Protocol. - Steven Gordon; Lars Michael Kristensen; Jonathan Billington (ICATPN, 2002)

A Formal Service Specification for the Internet Open Trading Protocol. - Chun Ouyang 001; Lars Michael Kristensen; Jonathan Billington (ICATPN, 2002)

A Formal and Executable Specification of the Internet Open Trading Protocol. - Chun Ouyang 001; Lars Michael Kristensen; Jonathan Billington (EC-Web, 2002)

A Generalised Sweep-Line Method for Safety Properties. - Lars Michael Kristensen; Thomas Mailund (FME, 2002)

A Compositional Sweep-Line State Space Exploration Method. - Lars Michael Kristensen; Thomas Mailund (FORTE, 2002)

Application of Coloured Petri Nets in System Development. - Lars Michael Kristensen; Jens Bæk Jørgensen; Kurt Jensen (Lectures on Concurrency and Petri Nets, 2003)

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. - Laure Petrucci; Jonathan Billington; Lars Michael Kristensen; Zahid H. Qureshi (ACSD, 2003)

Efficient Path Finding with the Sweep-Line Method Using External Storage. - Lars Michael Kristensen; Thomas Mailund (ICFEM, 2003)

An Approach to Distributed State Space Exploration for Coloured Petri Nets. - Lars Michael Kristensen; Laure Petrucci (ICATPN, 2004)

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. - Lars Michael Kristensen; Kurt Jensen (SoftSpez Final Report, 2004)

Implementing Coloured Petri Nets Using a Functional Programming Language. - Lars Michael Kristensen; Søren Christensen (High. Order Symb. Comput., 2004)

Exploiting equivalence reduction and the sweep-line method for detecting terminal states. - Jonathan Billington; Guy Edward Gallasch; Lars Michael Kristensen; Thomas Mailund (IEEE Trans. Syst. Man Cybern. Part A, 2004)

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. - Charles A. Lakos; Lars Michael Kristensen (ATVA, 2005)

An infrastructure for a traffic warning system. - J. Broensted; Klaus Marius Hansen; Lars Michael Kristensen (ICPS, 2005)

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. - Lars Michael Kristensen; Michael Westergaard; Peder Christian Nørgaard (IFM, 2005)

Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. - Jeppe Brønsted; Lars Michael Kristensen (Annual Simulation Symposium, 2006)

Question-guided stubborn set methods for state properties. - Lars Michael Kristensen; Karsten Schmidt 004; Antti Valmari (Formal Methods Syst. Des., 2006)

The ComBack Method - Extending Hash Compaction with Backtracking. - Michael Westergaard; Lars Michael Kristensen; Gerth Stølting Brodal; Lars Arge (ICATPN, 2007)

Checking safety properties on-the-fly with the sweep-line method. - Guy Edward Gallasch; Jonathan Billington; Somsak Vanit-Anunchai; Lars Michael Kristensen (Int. J. Softw. Tools Technol. Transf., 2007)

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. - Kurt Jensen; Lars Michael Kristensen; Lisa Wells (Int. J. Softw. Tools Technol. Transf., 2007)

Formal specification and state space analysis of an operational planning process. - Brice Mitchell; Lars Michael Kristensen; Lin Zhang (Int. J. Softw. Tools Technol. Transf., 2007)

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. - Kristian L. Espensen; Mads K. Kjeldsen; Lars Michael Kristensen (Petri Nets, 2008)

Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. - Paul Fleischer; Lars Michael Kristensen (Petri Nets, 2008)

Modelling the configuration/management API middleware using coloured petri nets. - Paul Fleischer; Lars Michael Kristensen (SimuTools, 2008)

Model-based development of a course of action scheduling tool. - Lars Michael Kristensen; Peter Mechlenborg; Lin Zhang; Brice Mitchell; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2008)

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. - Lars Michael Kristensen; Kurt Jensen (Trans. Petri Nets Other Model. Concurr., 2008)

Coloured Petri Nets - Modelling and Validation of Concurrent Systems. - Kurt Jensen; Lars Michael Kristensen (Springer, 2009)

ASAP: An Extensible Platform for State Space Analysis. - Michael Westergaard; Sami Evangelista; Lars Michael Kristensen (Petri Nets, 2009)

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. - Michael Westergaard; Lars Michael Kristensen (Petri Nets, 2009)

Dynamic State Space Partitioning for External Memory Model Checking. - Sami Evangelista; Lars Michael Kristensen (FMICS, 2009)

Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. - Lars Michael Kristensen; Paul Fleischer (Fundam. Informaticae, 2009)

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. - Sami Evangelista; Michael Westergaard; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2009)

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. - Lars Michael Kristensen (Petri Nets, 2010)

Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. - Lars Michael Kristensen; Michael Westergaard (FMICS, 2010)

Search-Order Independent State Caching. - Sami Evangelista; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2010)

Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. - Sami Taktak; Lars Michael Kristensen (GPC, 2011)

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. - Sami Evangelista; Lars Michael Kristensen (Petri Nets, 2012)

Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen (MOMPES, 2012)

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. - Sami Evangelista; Lars Michael Kristensen (SPIN, 2012)

The sweep-line state space exploration method. - Kurt Jensen; Lars Michael Kristensen; Thomas Mailund (Theor. Comput. Sci., 2012)

A Graphical Approach to Component-Based and Extensible Model Checking Platforms. - Michael Westergaard; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2012)

Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. - Vegard Veiset; Lars Michael Kristensen (PNSE+ModPE, 2013)

Multi-threaded Explicit State Space Exploration with State Reconstruction. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (ATVA, 2013)

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. - Admar Ajith Kumar Somappa; Lars Michael Kristensen; Knut Øvsthus (ISWPC, 2013)

Generating Protocol Software from CPN Models Annotated with Pragmatics. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen; Ekkart Kindler (SBMF, 2013)

Preface. - Lars Michael Kristensen; Wojciech Penczek; Laure Petrucci (Fundam. Informaticae, 2013)

Dynamic state space partitioning for external memory state space exploration. - Sami Evangelista; Lars Michael Kristensen (Sci. Comput. Program., 2013)

Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. - Lars Michael Kristensen; Kent Inge Fagerland Simonsen (Trans. Petri Nets Other Model. Concurr., 2013)

An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. - Lars Michael Kristensen (PNSE @ Petri Nets, 2014)

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen (DAIS, 2014)

Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. - Admar Ajith Kumar Somappa; Knut Øvsthus; Lars Michael Kristensen (FNC/MobiSPC, 2014)

Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. - Lars Michael Kristensen (NIK, 2014)

An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. - Admar Ajith Kumar Somappa; Knut Øvsthus; Lars Michael Kristensen (IEEE Commun. Surv. Tutorials, 2014)

A Sweep-Line Method for Büchi Automata-based Model Checking. - Sami Evangelista; Lars Michael Kristensen (Fundam. Informaticae, 2014)

A Diagrammatic Approach to Model Completion. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (AMT@MoDELS, 2015)

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (NIK, 2015)

Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control. - Admar Ajith Kumar Somappa; Lars Michael Kristensen; Knut Øvsthus (SimuTools, 2015)

Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. - Admar Ajith Kumar Somappa; Andreas Prinz 001; Lars Michael Kristensen (VECoS, 2015)

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. - Kurt Jensen; Lars Michael Kristensen (Commun. ACM, 2015)

Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. - Admar Ajith Kumar Somappa; Knut Øvsthus; Lars Michael Kristensen (ANT/SEIT, 2016)

Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. - Lars Michael Kristensen; Vegard Veiset (Petri Nets, 2016)

An MDE Approach for Modelling and Reasoning About Multi-agent Systems. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (EUMAS/AT, 2016)

WebDPF: A Web-based Metamodelling and Model Transformation Environment. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (MODELSWARD, 2016)

Forord til NIK 2016 og UDIT 2016. - Lars Michael Kristensen; Birgit Rognebakke Krogstie; Volker Stolz (NIK, 2016)

Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (Int. J. Inf. Syst. Model. Des., 2016)

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen; Ekkart Kindler (Trans. Petri Nets Other Model. Concurr., 2016)

Towards Verification of Connection-Aware Transaction Models for Mobile Applications. - Lars Michael Kristensen; Gabriele Taentzer; Steffen Vaupel (PNSE @ Petri Nets, 2017)

Application of Model-based Testing on a Quorum-based Distributed Storage. - Rui Wang 048; Lars Michael Kristensen; Hein Meling; Volker Stolz (PNSE @ Petri Nets, 2017)

Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. - Fazle Rabbi 001; Lars Michael Kristensen; Yngve Lamo (MODELSWARD, 2017)

A Model Driven Engineering Approach for Heterogeneous Model Composition. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (MODELSWARD (Revised Selected Papers), 2017)

CTL Model Checking with the Sweep-line State Space Exploration Method. - Andreas Lilleskare; Lars Michael Kristensen; Sven-Olai Høyland (NIK, 2017)

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (PNSE@Petri Nets/ACSD, 2018)

Using Coloured Petri Nets for Resource Analysis of Active Objects. - Anastasia Gkolfi; Einar Broch Johnsen; Lars Michael Kristensen; Ingrid Chieh Yu (FACS, 2018)

Multilevel modelling of coloured petri nets. - Alejandro Rodríguez 006; Adrian Rutle; Francisco Durán 001; Lars Michael Kristensen; Fernando Macías (MoDELS (Workshops), 2018)

Static Analysis of Conformance Preserving Model Transformation Rules. - Fazle Rabbi 001; Lars Michael Kristensen; Yngve Lamo (MODELSWARD, 2018)

Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (MODELSWARD (Revised Selected Papers), 2018)

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. - Rui Wang 048; Lars Michael Kristensen; Volker Stolz (VECoS, 2018)

Model-based specification and validation of the dual-mode adaptive MAC protocol. - Admar Ajith Kumar Somappa; Lars Michael Kristensen; Andreas Prinz 001 (Int. J. Crit. Comput. Based Syst., 2018)

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. - Rui Wang 048; Lars Michael Kristensen; Hein Meling; Volker Stolz (Trans. Petri Nets Other Model. Concurr., 2018)

On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (PNSE@Petri Nets/ACSD, 2019)

Visualization and Abstractions for Execution Paths in Model-Based Software Testing. - Rui Wang 048; Cyrille Artho; Lars Michael Kristensen; Volker Stolz (IFM, 2019)

A Foundation for the Composition of Multilevel Domain-Specific Languages. - Alejandro Rodríguez 006; Adrian Rutle; Lars Michael Kristensen; Francisco Durán 001 (MoDELS (Companion), 2019)

Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. - Lars Michael Kristensen; Torgrim Log; Sindre Stokkenes (NIK, 2019)

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. - Rui Wang 048; Lars Michael Kristensen; Hein Meling; Volker Stolz (J. Log. Algebraic Methods Program., 2019)

Executing Multilevel Domain-Specific Models in Maude. - Alejandro Rodríguez 006; Francisco Durán 001; Adrian Rutle; Lars Michael Kristensen (J. Object Technol., 2019)

Translating active objects into colored Petri nets for communication analysis. - Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen; Lars Michael Kristensen; Martin Steffen; Ingrid Chieh Yu (Sci. Comput. Program., 2019)

Formal Modelling and Incremental Verification of the MQTT IoT Protocol. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (Trans. Petri Nets Other Model. Concurr., 2019)

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. - Anastasia Gkolfi; Einar Broch Johnsen; Lars Michael Kristensen; Ingrid Chieh Yu (PNSE@Petri Nets, 2020)

Multi-objective Search for Model-based Testing. - Rui Wang 048; Cyrille Artho; Lars Michael Kristensen; Volker Stolz (QRS, 2020)

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (VECoS, 2020)

Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. - Sindre Stokkenes; Ruben Dobler Strand; Lars Michael Kristensen; Torgrim Log (ANT/EDI40, 2021)

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 (IGARSS, 2021)

MC/DC Test Cases Generation Based on BDDs. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (SETTA, 2021)

Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. - Alejandro Rodríguez 006; Lars Michael Kristensen; Adrian Rutle (Trans. Petri Nets Other Model. Concurr., 2021)

Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. - Vegard Steinsland; Lars Michael Kristensen; Shujun Zhang (Petri Nets, 2022)

Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. - Ruben Dobler Strand; Lars Michael Kristensen; Laure Petrucci (PNSE@Petri Nets, 2022)

Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. - Sami Evangelista; Laure Petrucci; Lars Michael Kristensen (ICECCS, 2022)

Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. - Keila Lima; Ngoc-Thanh Nguyen 002; Rogardt Heldal; Eric Knauss; Tosin Daniel Oyetoyan; Patrizio Pelliccione; Lars Michael Kristensen (PROFES, 2022)

Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets. - Vegard Steinsland; Lars Michael Kristensen; Shujun Zhang (CoRR, 2022)

Fire Risk Prediction Using Cloud-based Weather Data Services. - Ruben Dobler Strand; Sindre Stokkenes; Lars Michael Kristensen; Torgrim Log (J. Ubiquitous Syst. Pervasive Networks, 2022)

Simulation and analysis of MultEcore multilevel models based on rewriting logic. - Alejandro Rodríguez 006; Francisco Durán 001; Lars Michael Kristensen (Softw. Syst. Model., 2022)

Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. - Michele Gazzea; Lars Michael Kristensen; Francesco Pirotti; Eren Erman Ozguven; Reza Arghandeh (IEEE Trans. Geosci. Remote. Sens., 2022)

Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. - Rogardt Heldal; Lars Michael Kristensen; Keila Lima; Tosin Daniel Oyetoyan; Ngoc-Thanh Nguyen 002 (PNSE@Petri Nets, 2023)

A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. - Ruben Dobler Strand; Lars Michael Kristensen; Thorbjørn Svendal; Emilie H. Fisketjøn; Abu T. Hussain (WorldCIST (2), 2023)

Development and Verification of a Microservice Architecture for a Fire Risk Notification System. - Ruben Dobler Strand; Lars Michael Kristensen; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2023)

Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. - Ngoc-Thanh Nguyen 002; Rogardt Heldal; Keila Lima; Tosin Daniel Oyetoyan; Patrizio Pelliccione; Lars Michael Kristensen; Kjetil Waldeland Høydal; Pål Asle Reiersgaard; Yngve Kvinnsland (IEEE Internet Things J., 2023)

An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes. - Ruben Dobler Strand; Lars Michael Kristensen (ANT/EDI40, 2024)

A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams. - Keila Lima; Ngoc-Thanh Nguyen 002; Rogardt Heldal; Lars Michael Kristensen; Tosin Daniel Oyetoyan; Patrizio Pelliccione; Eric Knauss (ICSA, 2024)

Coverage visualization and analysis of net inscriptions in coloured Petri net models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (Innov. Syst. Softw. Eng., 2024)

Performance Impact of Wind Speed on MAC Protocols for Underwater Wireless Sensor Networks. - Md. Al Shayokh; Anne-Lena Kampen; Kjell Eivind Frøysa; Lars Michael Kristensen (ANT/EDI40, 2025)

Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks. - Ivan Spajic; Lars Michael Kristensen; Volker Stolz (ANT/EDI40, 2025)

Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2025)