Professor
Lars Michael Kristensen
Field of work
Lecturer in the bachelor programmes at HVL in software engineering and information technology, the master programme in software engineering, and the PhD programme in computer science. Supervisor for bachelor, master, and PhD students in software engineering and computer science at HVL.
- Programmme Coordinator for the Master (siv.ing) programme of study in applied computer science and engineering at FIN https://ict.hvl.no/adaiv/
- WP manager software technology and big-data middleware in the Centre for Research-based Innovation (SFI) SmartOcean https://sfismartocean.no
- Member of the PhD programme committe for computer science, and member of the study programme committee master programme and software engineering and for the bachelor and master programmes in information technology.
- Co-investigator on software technology in the NFR-funded DYNAMIC project og fire safety and fire risk prediction
Member of several international conference programme committes within computer science, and member of the working group of the Norwegian Concultative Board on Informatics.
- Google Scholar (h-index 31, citations > 7000)
- Publication indexed in DBLP
Personal home page: https://home.hvl.no/ansatte/lmkr/
Courses taught
- Introduction to Programming (bachelor)
- Network Technology and Distributed Systems (bachelor)
- Advanced Software Technologies (master)
- Model-driven Software Engineering anmd Reliable Software Systems (phd)
Research areas
My research interests are in the areas of concurrent and distributed software systems engineering, model-driven software engineering, software verification, explicit state space methods and model checking, computer tools for validation and verification, ad hoc networking and sensor networks for industrial automation, modeling and reliability of process and control systems, cloud computing and internet-of-things.
Research groups
- DAT100, Introduction to Programming, Fall 2024
- DAT300, Master's thesis, Fall 2024
- DAT300, Master's thesis, Spring 2025
Publications
-
A Modular Smart Ocean Observatory for Development of Sensors, Underwater Communication and Surveillance of Environmental Parameters
-
An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes
-
Development and Verification of a Microservice Architecture for a Fire Risk Notification System
-
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing
-
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
-
A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture facility
-
Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems
-
A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture research facility
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
-
Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning
-
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
-
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
-
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction
-
Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning
-
Simulation and analysis of MultEcore multilevel models based on rewriting logic
-
Fire Risk Prediction Using Cloud-based Weather Data Services
-
MC/DC Test Cases Generation Based on BDDs
-
Development and Evaluation of a Software System for Fire Risk Prediction
-
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services
-
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms
-
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
-
Multi-objective Search for Model-based Testing
-
Design of Modular Multilevel Converters for the Shipnet in medium Voltage DC All-Electric Ships
-
Model checking starvation for resource-aware active objects with coloured petri nets
-
Design and Validation of a Distributed Software Architecture for a Fire Risk Notification System
-
Preface by Guest Editors
-
Generating test cases satisfying MC/DC from BDDs
-
Implementation and Evaluation of a Fire Risk Indication Model
-
Selected Papers from the Petri Nets and ACSD Workshops 2018
-
A Foundation for the Composition of Multilevel Domain-Specific Languages
-
Composition of Multilevel Modelling Hierarchies
-
Visualization and abstractions for execution paths in model-based software testing
-
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model
-
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method
-
Formal Modelling and Incremental Verification of the MQTT IoT Protocol
-
Executing multilevel domain-specific models in maude
-
Analysis and evaluation of conformance preserving graph transformation rules
-
Translating active objects into colored Petri nets for communication analysis
-
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
-
Model-based specification and validation of the dual-mode adaptive MAC protocol
-
Selected Papers from the Petri Nets and ACSD Workshops 2017
-
Multilevel modelling of coloured Petri nets
-
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems
-
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
-
Static Analysis of Conformance Preserving Model Transformation Rules
-
Using coloured Petri nets for resource analysis of active objects
-
On modelling and validation of the MQTT IoT protocol for M2M communication
-
A model driven engineering approach for heterogeneous model composition
-
Towards Domain-Specific CPN Modelling Languages
-
Towards Verification of Connection-Aware Transaction Models for Mobile Applications
-
Towards Domain-Specific CPN Modelling Languages
-
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems
-
CTL Model Checking with the Sweep-line State Space Exploration Method
-
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach
-
MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS
-
Resource Management of Cloud-Aware Programs using Coloured Petri Nets
-
Application of Model-based Testing on a Quorum-based Distributed Storage
-
An MDE Approach for Modelling and Reasoning about Multi-agent Systems
-
SIMSubsea: An educational game combining commercial game-play with contextual mathematical problem-solving
-
International Conference on Petri Nets and Software Engineering
-
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
-
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
-
Forord til NIK 2016 og UDIT 2016
-
WebDPF: A Web-based Metamodelling and Model Transformation Environment
-
Diagrammatic development of domain specific modelling languages with WebDPF
-
Implementation and deployment evaluation of the DMAMAC protocol for wireless sensor actuator networks
-
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
-
A generalization of termination conditions for partial model completion
-
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications
-
A diagrammatic approach to model completion
-
Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control
-
Model-based verification of the DMAMAC protocol for real-time process control
-
Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control
-
Colored petri nets: A graphical language for formal modeling and validation of concurrent systems
-
Towards a Diagrammatic Rewriting System for Model Completion
-
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol
-
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol
-
A Pragmatic Approach for Transforming Coloured Petri Net Models into Code: A Case Study of the IETF WebSocket Protocol
-
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation
-
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol
-
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol
-
Coloured Petri Nets: Modelling and Analysis
-
A Pragmatic Approach to Automated Code Generation from CPN Simulation Models
-
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems
-
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems
-
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation
-
An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols and Challenges
-
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
-
SIM Subsea
-
A sweep-line method for büchi automata-based model checking
-
Dynamic state space partitioning for external memory state space exploration
-
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
-
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks
-
Selected Best Paper from the International Conference on Application and Theory of Petri Nets and Concurrency 2011
-
Tutorial on Coloured Petri Nets and CPN Tools
-
On exploiting progress for memory-efficient verification of diagrammatic workflows
-
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
-
Multi-threaded explicit state space exploration with state reconstruction
-
Generating protocol software from CPN models annotated with pragmatics
-
Application of coloured Petri nets for functional validation of protocol designs
-
Tutorial on Coloured Petri Nets
-
Hybrid On-the-Fly Model Checking with the Sweep-line Method
-
Transactions on Petri Nets and Other Models of Concurrency VI
-
Code Generation for Protocols from CPN models Annotated with Pragmatics
-
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
-
Hybrid On-the-Fly Model Checking with the Sweep-line Method
-
Combining the Sweep-Line Method with the use of an External-memory Priority Queue
-
The sweep-line state space exploration method
-
A Graphical Approach to Component-based and Extensible Model Checking Platforms
-
Proc of International Conference on Application and Theory of Petri Nets
-
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System
-
Automatic Structure-based Code Generation from Coloured Petri Nets: A Proof of Concept
-
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
-
Search-Order Independent State Caching
-
A Prototype fo Cosimulating SystsmC and Coloured Petri Nets Models
-
Towards Automatic Code Generation from Process-Partitioned Coloured Petri Nets
-
Search-Order Independent State Caching
-
Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation
-
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
-
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
-
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
-
Dynamic State Space Partitioning for External Memory Model Checking
-
ASAP: An Extensible Platform for State Space Analysis
-
Coloured Petri Nets : modelling and validation of concurrent systems
-
Question-guided stubborn set methods for state properties
-
State space exploration of object-based systems using equivalence reduction and the sweepline method
-
Model-based prototyping of an interoperability protocol for mobile ad-hoc networks
-
Exploiting equivalence reduction and the sweep-line method for detecting terminal states
-
An approach to distributed state space exploration for coloured Petri nets
-
An approach to distributed state space exploration for coloured Petri nets
-
Application of coloured Petri nets in system development
-
Specification and validation of an edge router discovery protocol for mobile ad hoc networks