Lars Michael Kristensen

According to our database1, Lars Michael Kristensen authored at least 83 papers between 1997 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Static Analysis of Conformance Preserving Model Transformation Rules.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

2017
A Model Driven Engineering Approach for Heterogeneous Model Composition.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Application of Model-based Testing on a Quorum-based Distributed Storage.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

Towards Verification of Connection-Aware Transaction Models for Mobile Applications.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
T. Petri Nets and Other Models of Concurrency, 2016

Diagrammatic Development of Domain Specific Modelling Languages with WebDPF.
IJISMD, 2016

Forord til NIK 2016 og UDIT 2016.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

WebDPF: A Web-based Metamodelling and Model Transformation Environment.
Proceedings of the MODELSWARD 2016, 2016

An MDE Approach for Modelling and Reasoning About Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks.
Proceedings of the 7th International Conference on Ambient Systems, 2016

2015
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.
Commun. ACM, 2015

Model-Based Verification of the DMAMAC Protocol for Real-time Process Control.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control.
Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
Proceedings of the 28th Norsk Informatikkonferanse, 2015

A Diagrammatic Approach to Model Completion.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
A Sweep-Line Method for Büchi Automata-based Model Checking.
Fundam. Inform., 2014

An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges.
IEEE Communications Surveys and Tutorials, 2014

Investigating Optimal Progress Measures for Verification of the WebSocket Protocol.
Proceedings of the 27th Norsk Informatikkonferanse, 2014

Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems.
Proceedings of the 9th International Conference on Future Networks and Communications (FNC'14) / The 11th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'14) / Affiliated Workshops, 2014

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.
Proceedings of the Distributed Applications and Interoperable Systems, 2014

An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs.
Trans. Petri Nets and Other Models of Concurrency, 2013

Dynamic state space partitioning for external memory state space exploration.
Sci. Comput. Program., 2013

Preface.
Fundam. Inform., 2013

Generating Protocol Software from CPN Models Annotated with Pragmatics.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks.
Proceedings of the International Symposium on Wireless and pervasive Computing, 2013

Multi-threaded Explicit State Space Exploration with State Reconstruction.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
A Graphical Approach to Component-Based and Extensible Model Checking Platforms.
Trans. Petri Nets and Other Models of Concurrency, 2012

The sweep-line state space exploration method.
Theor. Comput. Sci., 2012

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System.
Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011

2010
Search-Order Independent State Caching.
Trans. Petri Nets and Other Models of Concurrency, 2010

Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
Trans. Petri Nets and Other Models of Concurrency, 2009

Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Fundam. Inform., 2009

Dynamic State Space Partitioning for External Memory Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.
Proceedings of the Applications and Theory of Petri Nets, 2009

ASAP: An Extensible Platform for State Space Analysis.
Proceedings of the Applications and Theory of Petri Nets, 2009

Coloured Petri Nets - Modelling and Validation of Concurrent Systems.
Springer, ISBN: 978-3-642-00284-7, 2009

2008
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2008

Model-based development of a course of action scheduling tool.
STTT, 2008

Modelling the configuration/management API middleware using coloured petri nets.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Formal specification and state space analysis of an operational planning process.
STTT, 2007

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
STTT, 2007

Checking safety properties on-the-fly with the sweep-line method.
STTT, 2007

The ComBack Method - Extending Hash Compaction with Backtracking.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Question-guided stubborn set methods for state properties.
Formal Methods in System Design, 2006

Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

An infrastructure for a traffic warning system.
Proceedings of the International Conference on Pervasive Services 2005, 2005

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

Implementing Coloured Petri Nets Using a Functional Programming Language.
Higher-Order and Symbolic Computation, 2004

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

An Approach to Distributed State Space Exploration for Coloured Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Efficient Path Finding with the Sweep-Line Method Using External Storage.
Proceedings of the Formal Methods and Software Engineering, 2003

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Application of Coloured Petri Nets in System Development.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
A Compositional Sweep-Line State Space Exploration Method.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

A Generalised Sweep-Line Method for Safety Properties.
Proceedings of the FME 2002: Formal Methods, 2002

A Formal and Executable Specification of the Internet Open Trading Protocol.
Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002

A Formal Service Specification for the Internet Open Trading Protocol.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

Verification of a Revised WAP Wireless Transaction Protocol.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
A Sweep-Line Method for State Space Exploration.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Simulation Based Performance Analysis of Web Servers.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Condensed State Spaces for Timed Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.
ICATPN, 2000

Improved Question-Guided Stubborn Set Methods for State Properties.
ICATPN, 2000

1999
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.
IEEE Trans. Parallel Distrib. Syst., 1999

1998
The Practitioner's Guide to Coloured Petri Nets.
STTT, 1998

Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Design/CPN - A Computer Tool for Coloured Petri Nets.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997


  Loading...