Lars Michael Kristensen

Available identifiers

zbMath Open kristensen.lars-michaelMaRDI QIDQ1768478

List of research outcomes

Publication	Date of Publication	Type
MC/DC test cases generation based on BDDs	2022-07-13	Paper
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model	2019-06-20	Paper
A Sweep-Line Method for Büchi Automata-based Model Checking	2014-05-12	Paper
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs	2013-05-31	Paper
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method	2012-09-04	Paper
The sweep-line state space exploration method	2012-05-30	Paper
Search-Order Independent State Caching	2011-01-08	Paper
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future	2010-06-22	Paper
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection	2009-12-09	Paper
Coloured Petri Nets	2009-03-20	Paper
The ComBack Method – Extending Hash Compaction with Backtracking	2009-03-11	Paper
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks	2008-07-03	Paper
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario	2008-07-03	Paper
Question-guided stubborn set methods for state properties	2007-01-24	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Implementing coloured Petri nets using a functional programming language	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3045270	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808851	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4422088	2003-09-03	Paper
The practitioner's guide to coloured Petri nets.	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4484211	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2766568	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2766572	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4535175	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2769607	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4519781	2000-12-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lars Michael Kristensen