Lars Michael Kristensen

133 papers A 3B 16C 14Misc 1Journal 40Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks. Int. J. Softw. Tools Technol. Transf. Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
2025	—	`conf`	Performance Impact of Wind Speed on MAC Protocols for Underwater Wireless Sensor Networks. ANT/EDI40 Md. Al Shayokh, Anne-Lena Kampen, Kjell Eivind Frøysa, Lars Michael Kristensen
2025	—	`conf`	Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks. ANT/EDI40 Ivan Spajic, Lars Michael Kristensen, Volker Stolz
2024	A	`conf`	A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams. ICSA Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss
2024	J	`jnl`	A data-flow oriented software architecture for heterogeneous marine data streams. CoRR Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss
2024	—	`conf`	An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes. ANT/EDI40 Ruben Dobler Strand, Lars Michael Kristensen
2024	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings Petri Nets Lars Michael Kristensen, Jan Martijn E. M. van der Werf
2024	J	`jnl`	Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2023	—	`conf`	A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. WorldCIST (2) Ruben Dobler Strand, Lars Michael Kristensen, Thorbjørn Svendal, Emilie H. Fisketjøn, Abu T. Hussain
2023	J	`jnl`	Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
2023	J	`jnl`	Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. IEEE Internet Things J. 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
2023	—	`conf`	Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. PNSE@Petri Nets Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen
2022	B	`conf`	Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS Sami Evangelista, Laure Petrucci, Lars Michael Kristensen
2022	J	`jnl`	Fire Risk Prediction Using Cloud-based Weather Data Services. J. Ubiquitous Syst. Pervasive Networks Ruben Dobler Strand, Sindre Stokkenes, Lars Michael Kristensen, Torgrim Log
2022	—	`conf`	Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE@Petri Nets Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
2022	B	`conf`	Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. PROFES Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen
2022	J	`jnl`	Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets. CoRR Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
2022	J	`jnl`	Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen
2022	B	`conf`	Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. Petri Nets Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
2022	J	`jnl`	Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. IEEE Trans. Geosci. Remote. Sens. Michele Gazzea, Lars Michael Kristensen, Francesco Pirotti, Eren Erman Ozguven, Reza Arghandeh
2021	C	`conf`	Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. IGARSS Michele Gazzea, Sindre Aalhus, Lars Michael Kristensen, Eren Erman Ozguven, Reza Arghandeh
2021	Misc	`conf`	MC/DC Test Cases Generation Based on BDDs. SETTA Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2021	—	`ed.`	STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021. STAF Workshops Ludovico Iovino, Lars Michael Kristensen
2021	—	`conf`	Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. ANT/EDI40 Sindre Stokkenes, Ruben Dobler Strand, Lars Michael Kristensen, Torgrim Log
2021	J	`jnl`	Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2020	C	`conf`	Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020	J	`jnl`	Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020	—	`conf`	Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2020	C	`conf`	Multi-objective Search for Model-based Testing. QRS Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2020	—	`ed.`	STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020. STAF Workshops Loli Burgueño, Lars Michael Kristensen
2019	—	`conf`	A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán
2019	J	`jnl`	Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2019	—	`conf`	Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIK Lars Michael Kristensen, Torgrim Log, Sindre Stokkenes
2019	J	`jnl`	Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
2019	J	`jnl`	Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2019	—	`conf`	On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2019	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XIV Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
2019	J	`jnl`	Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
2019	B	`conf`	Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2018	—	`conf`	Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
2018	C	`conf`	MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS Rui Wang, Lars Michael Kristensen, Volker Stolz
2018	J	`jnl`	Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2018	J	`jnl`	Model-based specification and validation of the dual-mode adaptive MAC protocol. Int. J. Crit. Comput. Based Syst. Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz
2018	—	`conf`	Multilevel modelling of coloured petri nets. MoDELS (Workshops) Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
2018	—	`conf`	On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
2018	C	`conf`	Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
2018	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XIII Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
2018	—	`conf`	Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2017	—	`conf`	A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
2017	—	`conf`	Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2017	—	`conf`	CTL Model Checking with the Sweep-line State Space Exploration Method. NIK Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland
2017	C	`conf`	Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
2017	—	`conf`	Towards Verification of Connection-Aware Transaction Models for Mobile Applications. PNSE @ Petri Nets Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel
2016	—	`conf`	An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
2016	J	`jnl`	Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2016	—	`conf`	Forord til NIK 2016 og UDIT 2016. NIK Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz
2016	—	`conf`	Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. ANT/SEIT Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
2016	J	`jnl`	Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Trans. Petri Nets Other Model. Concurr. Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2016	—	`ed.`	Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. PNSE @ Petri Nets Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke
2016	B	`conf`	Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Petri Nets Lars Michael Kristensen, Vegard Veiset
2016	C	`conf`	WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2015	—	`conf`	A Diagrammatic Approach to Model Completion. AMT@MoDELS Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2015	J	`jnl`	Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM Kurt Jensen, Lars Michael Kristensen
2015	C	`conf`	Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. VECoS Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen
2015	—	`conf`	Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2015	—	`conf`	Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control. SimuTools Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus
2015	—	`conf`	Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2014	J	`jnl`	A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae Sami Evangelista, Lars Michael Kristensen
2014	—	`conf`	An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. PNSE @ Petri Nets Lars Michael Kristensen
2014	J	`jnl`	An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. IEEE Commun. Surv. Tutorials Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
2014	C	`conf`	Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. DAIS Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2014	—	`conf`	Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. NIK Lars Michael Kristensen
2014	—	`conf`	Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. FNC/MobiSPC Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen
2013	—	`conf`	A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. ISWPC Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus
2013	J	`jnl`	Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. Trans. Petri Nets Other Model. Concurr. Lars Michael Kristensen, Kent Inge Fagerland Simonsen
2013	J	`jnl`	Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. Sami Evangelista, Lars Michael Kristensen
2013	—	`conf`	Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2013	B	`conf`	Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
2013	J	`jnl`	Preface. Fundam. Informaticae Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci
2013	—	`conf`	Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE Vegard Veiset, Lars Michael Kristensen
2012	J	`jnl`	A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. Michael Westergaard, Lars Michael Kristensen
2012	—	`conf`	Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN Sami Evangelista, Lars Michael Kristensen
2012	B	`conf`	Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets Sami Evangelista, Lars Michael Kristensen
2012	J	`jnl`	The sweep-line state space exploration method. Theor. Comput. Sci. Kurt Jensen, Lars Michael Kristensen, Thomas Mailund
2012	—	`conf`	Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. MOMPES Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VI Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
2011	B	`ed.`	Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings Petri Nets Lars Michael Kristensen, Laure Petrucci
2011	C	`conf`	Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. GPC Sami Taktak, Lars Michael Kristensen
2010	B	`conf`	A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Petri Nets Lars Michael Kristensen
2010	C	`conf`	Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS Lars Michael Kristensen, Michael Westergaard
2010	J	`jnl`	Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. Sami Evangelista, Lars Michael Kristensen
2009	B	`conf`	ASAP: An Extensible Platform for State Space Analysis. Petri Nets Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
2009	—	`book`	Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Kurt Jensen, Lars Michael Kristensen
2009	C	`conf`	Dynamic State Space Partitioning for External Memory Model Checking. FMICS Sami Evangelista, Lars Michael Kristensen
2009	J	`jnl`	Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Informaticae Lars Michael Kristensen, Paul Fleischer
2009	B	`conf`	The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets Michael Westergaard, Lars Michael Kristensen
2009	J	`jnl`	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. Sami Evangelista, Michael Westergaard, Lars Michael Kristensen
2008	B	`conf`	Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets Paul Fleischer, Lars Michael Kristensen
2008	J	`jnl`	Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch
2008	B	`conf`	Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Petri Nets Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen
2008	—	`conf`	Modelling the configuration/management API middleware using coloured petri nets. SimuTools Paul Fleischer, Lars Michael Kristensen
2008	J	`jnl`	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. Lars Michael Kristensen, Kurt Jensen
2007	J	`jnl`	Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
2007	J	`jnl`	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. Kurt Jensen, Lars Michael Kristensen, Lisa Wells
2007	J	`jnl`	Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. Brice Mitchell, Lars Michael Kristensen, Lin Zhang
2007	—	`conf`	The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
2006	J	`jnl`	Question-guided stubborn set methods for state properties. Formal Methods Syst. Des. Lars Michael Kristensen, Karsten Schmidt, Antti Valmari
2006	—	`conf`	Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Annual Simulation Symposium Jeppe Brønsted, Lars Michael Kristensen
2005	—	`conf`	An infrastructure for a traffic warning system. ICPS J. Broensted, Klaus Marius Hansen, Lars Michael Kristensen
2005	B	`conf`	Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
2005	B	`conf`	State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA Charles A. Lakos, Lars Michael Kristensen
2004	—	`conf`	An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN Lars Michael Kristensen, Laure Petrucci
2004	J	`jnl`	Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
2004	J	`jnl`	Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. Lars Michael Kristensen, Søren Christensen
2004	—	`conf`	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report Lars Michael Kristensen, Kurt Jensen
2003	—	`conf`	Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
2003	—	`conf`	Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
2003	C	`conf`	Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM Lars Michael Kristensen, Thomas Mailund
2002	C	`conf`	A Compositional Sweep-Line State Space Exploration Method. FORTE Lars Michael Kristensen, Thomas Mailund
2002	—	`conf`	A Formal Service Specification for the Internet Open Trading Protocol. ICATPN Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
2002	—	`conf`	A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
2002	—	`conf`	A Generalised Sweep-Line Method for Safety Properties. FME Lars Michael Kristensen, Thomas Mailund
2002	—	`conf`	Verification of a Revised WAP Wireless Transaction Protocol. ICATPN Steven Gordon, Lars Michael Kristensen, Jonathan Billington
2001	A	`conf`	A Sweep-Line Method for State Space Exploration. TACAS Søren Christensen, Lars Michael Kristensen, Thomas Mailund
2001	—	`conf`	Condensed State Spaces for Timed Petri Nets. ICATPN Søren Christensen, Lars Michael Kristensen, Thomas Mailund
2001	—	`conf`	Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD Louise Lorentsen, Lars Michael Kristensen
2001	—	`conf`	Simulation Based Performance Analysis of Web Servers. PNPM Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen
2000	—	`conf`	Improved Question-Guided Stubborn Set Methods for State Properties. ICATPN Lars Michael Kristensen, Antti Valmari
2000	—	`conf`	Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN Louise Lorentsen, Lars Michael Kristensen
1999	J	`jnl`	Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distributed Syst. Jens Bæk Jørgensen, Lars Michael Kristensen
1998	—	`conf`	Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. ICATPN Lars Michael Kristensen, Antti Valmari
1998	J	`jnl`	The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
1997	A	`conf`	Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen