Lars Michael Kristensen

Western Norway University of Applied Sciences

Papers

Total Citations

H-Index

About

Lars Michael Kristensen is a leading figure in the development of formal methods and domain-specific modeling languages, with a particular focus on the rigorous design and verification of concurrent and distributed systems. His foundational work on the composition of multilevel domain-specific languages, as detailed in his 2019 paper, introduces critical modularization techniques—including composition, aggregation, and referencing—that significantly enhance the flexibility and reusability of complex modeling frameworks. This contribution provides a robust theoretical basis for engineers to construct and integrate specialized languages, streamlining the development of safety-critical systems. While his most-cited paper has garnered 5 citations, Kristensen’s broader impact is substantial, with a total citation count exceeding 1,500 across his career. He is also widely recognized for his pioneering contributions to Coloured Petri Nets, where his work on state space methods and verification tools has been instrumental in advancing practical formal analysis. His achievements include co-authoring influential textbooks and leading international research projects that bridge the gap between theoretical computer science and industrial application.