Lars Michael Kristensen

发表

Investigating Optimal Progress Measures for Verification of the WebSocket Protocol

Lars Michael Kristensen, 2014, NIK.

Condensed State Spaces for Timed Petri Nets

Lars Michael Kristensen, Søren Christensen, Thomas Mailund, 2001, ICATPN.

Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12

Jonathan Billington, Lars Michael Kristensen, Charles Lakos, 2002 .

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

Ekkart Kindler, Lars Michael Kristensen, Kent Inge Fagerland Simonsen, 2015, PNSE @ Petri Nets.

Visualization and Abstractions for Execution Paths in Model-Based Software Testing

Cyrille Artho, Volker Stolz, Lars Michael Kristensen, 2019, IFM.

Proposal for: requirements and evaluation of tool papers for Petri Nets

van Km Kees Hee, Giuliana Franceschinis, Lars Michael Kristensen, 2008 .

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection

Sami Evangelista, Michael Westergaard, Lars Michael Kristensen, 2009, Trans. Petri Nets Other Model. Concurr..

Sweep-Line State Space Exploration for Coloured Petri Nets

Lars Michael Kristensen, Thomas Mailund, Guy Edward Gallasch, 2002 .

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

Sami Evangelista, Lars Michael Kristensen, L. Kristensen, 2012, SPIN.

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models pdf

Volker Stolz, Lars Michael Kristensen, Faustin Ahishakiye, 2020, VECoS.

A coloured petri net based tool for course of action development and analysis

Jonathan Billington, Lars Michael Kristensen, Lin Zhang, 2002, FME 2002.

A Sweep-Line Method for Büchi Automata-based Model Checking

Sami Evangelista, Lars Michael Kristensen, L. Kristensen, 2014, Fundam. Informaticae.

Code Generation for Protocols from CPN models Annotated with Pragmatics

Ekkart Kindler, Lars Michael Kristensen, Kent Inge Fagerland Simonsen, 2012 .

Formal Modelling and Incremental Verification of the MQTT IoT Protocol

Adrian Rutle, Lars Michael Kristensen, Alejandro Rodríguez, 2019, Trans. Petri Nets Other Model. Concurr..

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets

Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu, 2020, PNSE@Petri Nets.

State Spaces and Behavioural Properties

Lars Michael Kristensen, Kurt Jensen, 2009 .

A Graphical Approach to Component-Based and Extensible Model Checking Platforms

Michael Westergaard, Lars Michael Kristensen, M. Westergaard, 2012, Trans. Petri Nets Other Model. Concurr..

Formal specification and analysis of airborne mission systems

Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, 2002, Proceedings. The 21st Digital Avionics Systems Conference.

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, K. Jensen, 2008, Trans. Petri Nets Other Model. Concurr..

Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN

Lars Michael Kristensen, Guy Edward Gallasch, L. Kristensen, 2001 .

Executing Multilevel Domain-Specific Models in Maude

Francisco Durán, Adrian Rutle, Lars Michael Kristensen, 2019, J. Object Technol..

Model-based specification and validation of the dual-mode adaptive MAC protocol

Andreas Prinz, Lars Michael Kristensen, Admar Ajith Kumar Somappa, 2018, Int. J. Crit. Comput. Based Syst..

Timed Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, 2009 .

Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks

Lars Michael Kristensen, Knut Øvsthus, Admar Ajith Kumar Somappa, 2016, ANT/SEIT.

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication

Adrian Rutle, Lars Michael Kristensen, Alejandro Rodríguez, 2018, PNSE@Petri Nets/ACSD.

Model-Based Verification of the DMAMAC Protocol for Real-time Process Control

Andreas Prinz, Lars Michael Kristensen, Admar Ajith Kumar Somappa, 2015, VECoS.

Efficient Path Finding with the Sweep-Line Method Using External Storage

Lars Michael Kristensen, Thomas Mailund, T. Mailund, 2003, ICFEM.

A Formal Service Specification for the Internet Open Trading Protocol

Jonathan Billington, Lars Michael Kristensen, Chun Ouyang, 2002, ICATPN.

Exploiting equivalence reduction and the sweep-line method for detecting terminal states

Jonathan Billington, Lars Michael Kristensen, Thomas Mailund, 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

Preface

Wojciech Penczek, Laure Petrucci, Lars Michael Kristensen, 2013, Fundam. Informaticae.

Advanced State Space Methods

Lars Michael Kristensen, Kurt Jensen, K. Jensen, 2009 .

Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Lars Michael Kristensen, Paul Fleischer, 2008, Petri Nets.

Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model

Lars Michael Kristensen, Torgrim Log, Sindre Stokkenes, 2019, NIK.

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

Lars Michael Kristensen, Louise Lorentsen, 2000, ICATPN.

An infrastructure for a traffic warning system

Lars Michael Kristensen, Klaus Marius Hansen, J. Broensted, 2005, ICPS '05. Proceedings. International Conference on Pervasive Services, 2005..

Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems

Lars Michael Kristensen, Knut Øvsthus, Admar Ajith Kumar Somappa, 2014, FNC/MobiSPC.

Dynamic state space partitioning for external memory state space exploration

Sami Evangelista, Lars Michael Kristensen, L. Kristensen, 2013, Sci. Comput. Program..

Model-based specification and validation of the dual-mode adaptive MAC protocol

Andreas Prinz, Lars Michael Kristensen, Admar Ajith Kumar Somappa, 2018 .

Diagrammatic Development of Domain Specific Modelling Languages with WebDPF

Lars Michael Kristensen, Yngve Lamo, Ingrid Chieh Yu, 2016, Int. J. Inf. Syst. Model. Des..

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method

Sami Evangelista, Lars Michael Kristensen, L. Kristensen, 2012, Petri Nets.

Generating Protocol Software from CPN Models Annotated with Pragmatics

Ekkart Kindler, Lars Michael Kristensen, Kent Inge Fagerland Simonsen, 2013, SBMF.

Application of Model-based Testing on a Quorum-based Distributed Storage

Hein Meling, Rui Wang, Volker Stolz, 2017, PNSE @ Petri Nets.

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks

Lars Michael Kristensen, Knut Øvsthus, Admar Ajith Kumar Somappa, 2013, International Symposium on Wireless and pervasive Computing (ISWPC).

Translating active objects into colored Petri nets for communication analysis

Einar Broch Johnsen, Lars Michael Kristensen, Crystal Chang Din, 2019, Sci. Comput. Program..

Hierarchical Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, 2009 .

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Laure Petrucci, Lars Michael Kristensen, L. Petrucci, 2004, ICATPN.

A Formal and Executable Specification of the Internet Open Trading Protocol

Jonathan Billington, Lars Michael Kristensen, Chun Ouyang, 2002, EC-Web.

Computer Tools Supporting Occurrence Graph Analysis of Coloured Petri Nets

Lars Michael Kristensen, L. Kristensen, 1999 .

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

Michael Westergaard, Lars Michael Kristensen, M. Westergaard, 2009, Petri Nets.

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries

Lars Michael Kristensen, Jens Bæk Jørgensen, 1999, IEEE Trans. Parallel Distributed Syst..

Coloured Petri Nets - Modelling and Validation of Concurrent Systems

Lars Michael Kristensen, Kurt Jensen, K. Jensen, 2009 .

Modelling and initial analysis of operational planning processes using coloured petri nets

Lin Zhang, Jonathan Billington, Lars Michael Kristensen, 2002, FME 2002.

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model

Hein Meling, Rui Wang, Volker Stolz, 2019, J. Log. Algebraic Methods Program..

A Diagrammatic Approach to Model Completion

Lars Michael Kristensen, Yngve Lamo, Ingrid Chieh Yu, 2015, AMT@MoDELS.

Forord til NIK 2016 og UDIT 2016

Volker Stolz, Lars Michael Kristensen, Birgit Rognebakke Krogstie, 2016, NIK.

The IceAge ERS Program: Probing Building blocks of Life During the JWST Era

Lars Michael Kristensen, J. A. Noble, Karl D. Gordon, 2018 .

Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

Lars Michael Kristensen, Kent Inge Fagerland Simonsen, 2012, MOMPES.

Developing a formal specification for the mission system of a maritime surveillance aircraft

Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Formal Modelling and Initial Validation of the Chelonia Distributed Storage System

Lars Michael Kristensen, Sami Taktak, L. Kristensen, 2011, GPC.

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

Lars Michael Kristensen, L. Kristensen, 2010, Petri Nets.

Design/CPN - A Computer Tool for Coloured Petri Nets

Lars Michael Kristensen, Jens Bæk Jørgensen, Søren Christensen, 1997 .

Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets

Lars Michael Kristensen, Sren Christensen, Kjeld Hoyer Mortensen, 1999 .

Multi-objective Search for Model-based Testing

Cyrille Artho, Volker Stolz, Lars Michael Kristensen, 2020, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).

Using Coloured Petri Nets for Resource Analysis of Active Objects

Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu, 2018, FACS.

Introduction to Modelling and Validation

Lars Michael Kristensen, Kurt Jensen, 2009 .

Question-guided stubborn set methods for state properties

Lars Michael Kristensen, Antti Valmari, Karsten Wolf, 2006, Formal Methods Syst. Des..

Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Laure Petrucci, Lars Michael Kristensen, 2011, Petri Nets.

Question-guided stubborn set methods for state properties

Lars Michael Kristensen, Antti Valmari, A. Valmari, 2000, Formal Methods Syst. Des..

Formal Definition of Timed Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, 2009 .

Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept

Michael Westergaard, Lars Michael Kristensen, M. Westergaard, 2010, FMICS.

Checking safety properties on-the-fly with the sweep-line method

Jonathan Billington, Lars Michael Kristensen, Guy Edward Gallasch, 2007, International Journal on Software Tools for Technology Transfer.

Formal specification and state space analysis of an operational planning process

Lars Michael Kristensen, Lin Zhang, Brice Mitchell, 2007, International Journal on Software Tools for Technology Transfer.

Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols

Jorge C. A. de Figueiredo, Lars Michael Kristensen, J. Figueiredo, 1999 .

Proceedings of the 32nd international conference on Applications and theory of Petri Nets

Laure Petrucci, Lars Michael Kristensen, L. Petrucci, 2011 .

A Sweep-Line Method for State Space Exploration

Lars Michael Kristensen, Søren Christensen, Thomas Mailund, 2001, TACAS.

Verification of a Revised WAP Wireless Transaction Protocol

Jonathan Billington, Lars Michael Kristensen, Steven Gordon, 2002, ICATPN.

Simulation-based Performance Analysis

Lars Michael Kristensen, Kurt Jensen, K. Jensen, 2009 .

Modelling the configuration/management API middleware using coloured petri nets

Lars Michael Kristensen, Paul Fleischer, 2008, Simutools 2008.

Search-Order Independent State Caching

Sami Evangelista, Lars Michael Kristensen, 2010, Trans. Petri Nets Other Model. Concurr..

WebDPF: A web-based metamodelling and model transformation environment

Lars Michael Kristensen, Yngve Lamo, Ingrid Chieh Yu, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Modelling the configuration/management API middleware using coloured petri nets

Lars Michael Kristensen, Paul Fleischer, 2008, SimuTools.

Simulation based performance analysis of web servers

Lars Michael Kristensen, Søren Christensen, Kjeld Høyer Mortensen, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

CTL Model Checking with the Sweep-line State Space Exploration Method

Lars Michael Kristensen, Andreas Lilleskare, Sven-Olai Høyland, 2017, NIK.

On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method

Adrian Rutle, Lars Michael Kristensen, Alejandro Rodríguez, 2019, PNSE@Petri Nets/ACSD.

Design/CPN - A Computer Tool for Coloured Petri Nets

Lars Michael Kristensen, Jens Bæk Jørgensen, Søren Christensen, 1997, TACAS.

A Model Driven Engineering Approach for Heterogeneous Model Composition

Lars Michael Kristensen, Yngve Lamo, Fazle Rabbi, 2017, MODELSWARD.

Analysis and Evaluation of Conformance Preserving Graph Transformation Rules

Lars Michael Kristensen, Yngve Lamo, Fazle Rabbi, 2018, MODELSWARD.

Exploiting stabilizers and parallelism in state space generation with the symmetry method

Lars Michael Kristensen, Louise Lorentsen, 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

The ComBack Method - Extending Hash Compaction with Backtracking

Michael Westergaard, Lars Michael Kristensen, Lars Arge, 2007, ICATPN.

Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol

Lars Michael Kristensen, Vegard Veiset, 2016, Petri Nets.

Static Analysis of Conformance Preserving Model Transformation Rules

Lars Michael Kristensen, Yngve Lamo, Fazle Rabbi, 2018, MODELSWARD.

Multi-threaded Explicit State Space Exploration with State Reconstruction

Sami Evangelista, Laure Petrucci, Lars Michael Kristensen, 2013, ATVA.

Non-hierarchical Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, 2009 .

A Compositional Sweep-Line State Space Exploration Method

Lars Michael Kristensen, Thomas Mailund, T. Mailund, 2002, FORTE.

Application of Coloured Petri Nets in System Development

Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen, 2003, Lectures on Concurrency and Petri Nets.

Model-based development of a course of action scheduling tool

Lars Michael Kristensen, Lin Zhang, Guy Edward Gallasch, 2007, International Journal on Software Tools for Technology Transfer.

Towards Verification of Connection-Aware Transaction Models for Mobile Applications

Gabriele Taentzer, Lars Michael Kristensen, Steffen Vaupel, 2017, PNSE @ Petri Nets.

A Generalised Sweep-Line Method for Safety Properties

Lars Michael Kristensen, Thomas Mailund, T. Mailund, 2002, FME.

An Industrial Perspective on Wireless Sensor Networks — A Survey of Requirements, Protocols, and Challenges

Lars Michael Kristensen, Knut Øvsthus, S. A.AjithKumar, 2014, IEEE Communications Surveys & Tutorials.

Examples of Industrial Applications

Lars Michael Kristensen, Kurt Jensen, 2009 .

Transactions on Petri Nets and Other Models of Concurrency VI

Marco Ajmone Marsan, Giuliana Franceschinis, Wil M. P. van der Aalst, 2012, Lecture Notes in Computer Science.

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

Michael Westergaard, Lars Michael Kristensen, Peder Christian Nørgaard, 2005, IFM.

Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks

Lars Michael Kristensen, Jeppe Brønsted, 2006, 39th Annual Simulation Symposium (ANSS'06).

The Second International Workshop on Sensor Networks and Ambient

Lars Michael Kristensen, Adnan Al-Anbuky, Gregory M. P. O'Hare, 2009 .

ASAP: An Extensible Platform for State Space Analysis

Sami Evangelista, Michael Westergaard, Lars Michael Kristensen, 2009, Petri Nets.

The practitioner’s guide to coloured Petri nets

Lars Michael Kristensen, Søren Christensen, Kurt Jensen, 1998, International Journal on Software Tools for Technology Transfer.

The sweep-line state space exploration method

Lars Michael Kristensen, Thomas Mailund, Kurt Jensen, 2012, Theor. Comput. Sci..

An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol

Lars Michael Kristensen, 2014, PNSE @ Petri Nets.

Formal Definition of Non-hierarchical Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen, 2009 .

Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control

Lars Michael Kristensen, Knut Øvsthus, Admar Ajith Kumar Somappa, 2015, SimuTools.

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications

Lars Michael Kristensen, Yngve Lamo, Ingrid Chieh Yu, 2015, NIK.

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

Lars Michael Kristensen, Kristian L. Espensen, Mads K. Kjeldsen, 2008, Petri Nets.

An MDE Approach for Modelling and Reasoning About Multi-agent Systems

Lars Michael Kristensen, Yngve Lamo, Fazle Rabbi, 2016, EUMAS/AT.

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Lars Michael Kristensen, Kurt Jensen, Lisa Wells, 2007, International Journal on Software Tools for Technology Transfer.

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

Lars Michael Kristensen, Charles A. Lakos, L. Kristensen, 2005, ATVA.

Implementing Coloured Petri Nets Using a Functional Programming Language

Lars Michael Kristensen, Søren Christensen, L. Kristensen, 2004, High. Order Symb. Comput..

Dynamic State Space Partitioning for External Memory Model Checking

Sami Evangelista, Lars Michael Kristensen, L. Kristensen, 2009, FMICS.

Multilevel modelling of coloured petri nets

Francisco Durán, Fernando Macías, Adrian Rutle, 2018, MoDELS.

Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol

Lars Michael Kristensen, Vegard Veiset, 2013, PNSE+ModPE.

Finding Stubborn Sets of Coloured Petri Nets Without Unfolding

Lars Michael Kristensen, Antti Valmari, 1998, ICATPN.

Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Lars Michael Kristensen, Paul Fleischer, L. Kristensen, 2009, Fundam. Informaticae.

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

Hein Meling, Rui Wang, Volker Stolz, 2018, Trans. Petri Nets Other Model. Concurr..

Applications of Coloured Petri Nets for Functional Validation of Protocol Designs

Lars Michael Kristensen, Kent Inge Fagerland Simonsen, L. Kristensen, 2013, Trans. Petri Nets Other Model. Concurr..

Towards formal specification and analysis of avionics mission systems

Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, 2002, FME 2002.

A Foundation for the Composition of Multilevel Domain-Specific Languages

Francisco Durán, Adrian Rutle, Lars Michael Kristensen, 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Rui Wang, Volker Stolz, Lars Michael Kristensen, 2018, VECoS.

Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach

Lars Michael Kristensen, Yngve Lamo, Fazle Rabbi, 2017, MODELSWARD.

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries

Lars Michael Kristensen, Jens Bæk Jørgensen, 1997 .

CPN ML Programming

Lars Michael Kristensen, Kurt Jensen, 2009 .

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

Lars Michael Kristensen, Kurt Jensen, K. Jensen, 2004, SoftSpez Final Report.

The Ex Hoc Infrastructure Framework - Enhancing Traffic Safety through LIfe Warning Systems

Lars Michael Kristensen, Klaus Marius Hansen, N Aarhus, 2004 .