Lars M. Kristensen

From MaRDI portal
Person:1768478

Available identifiers

zbMath Open kristensen.lars-michaelMaRDI QIDQ1768478

List of research outcomes





PublicationDate of PublicationType
Finding Stubborn Sets of Coloured Petri Nets without Unfolding2022-12-09Paper
MC/DC test cases generation based on BDDs2022-07-13Paper
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model2019-06-20Paper
A sweep-line method for Büchi automata-based model checking2014-05-12Paper
Applications of coloured Petri nets for functional validation of protocol designs2013-05-31Paper
Hybrid on-the-fly LTL model checking with the sweep-line method2012-09-04Paper
The sweep-line state space exploration method2012-05-30Paper
Search-Order Independent State Caching2011-01-08Paper
A perspective on explicit state space exploration of coloured Petri nets: past, present, and future2010-06-22Paper
The ComBack method revisited: caching strategies and extension with delayed duplicate detection2009-12-09Paper
Coloured Petri Nets2009-03-20Paper
The ComBack Method – Extending Hash Compaction with Backtracking2009-03-11Paper
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks2008-07-03Paper
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario2008-07-03Paper
Question-guided stubborn set methods for state properties2007-01-24Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Applications and Theory of Petri Nets 20042005-12-23Paper
Implementing coloured Petri nets using a functional programming language2005-03-15Paper
https://portal.mardi4nfdi.de/entity/Q48088512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30452702004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44220882003-09-03Paper
The practitioner's guide to coloured Petri nets.2003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44842112003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q27665682002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q27665722002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q45351752002-06-13Paper
https://portal.mardi4nfdi.de/entity/Q27696072002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q45197812000-12-04Paper

Research outcomes over time

This page was built for person: Lars M. Kristensen