Lars Michael Kristensen
Department of Computing, Mathematics, and Physics
Research field: Software engineering
Publications: Publications in Cristin
The research of Kristensen focus on formal modelling languages, techniques, and technologies that can be used for the engineering of reliable concurrent software systems. The research focusses on the Coloured Petri Nets (CPN) modelling language, CPN Tools, and model checking techniques for software testing and verification. The research include development, implementation, and experimental evaluation of efficient algorithms and data-structures for explicit state space exploration, and case studies on practical applications of modelling, simulation, and state space exploration in domains such as protocol software and automation systems.