Lars M. Kristensen

Available identifiers

zbMath Open kristensen.lars-michaelMaRDI QIDQ1768478

List of research outcomes

Publication	Date of Publication	Type
Finding Stubborn Sets of Coloured Petri Nets without Unfolding	2022-12-09	Paper
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/Q4808851	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3045270	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

This page was built for person: Lars M. Kristensen