Professor

Lars Michael Kristensen

Institutt for datateknologi, elektroteknologi og realfag
Lars Michael Kristensen
Tel: +47 55 58 71 64
Epost: Send epost
Bergen
KRONSTAD, E406
Last ned kontaktkort
Sjå forskarprofil i CRIStin

Arbeids- og kompetanseområde

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.

Personal home page: https://home.hvl.no/ansatte/lmkr/

 

Underviser i
  • Grunnleggende Programmering (bachelor)
  • Nettverksteknologi og distribuerte systemer (bachelor)
  • Avansert Programvareteknologi (master)
  • Model-basert programvareutvikling og pålitelige programvare system (phd)
Forskar på

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.

Forskargrupper

Publikasjonar

  • Coverage visualization and analysis of net inscriptions in coloured Petri net models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2023)
    Innovations in Systems and Software Engineering 2023

  • A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture research facility

    Bergh, Øivind, Danre, Jean-Baptiste, Stensland, Kjetil, Lima, Keila, Ngoc-Thanh, Nguyen, Heidal, Rogardt, Kristensen, Lars Michael, Oyetoyan, Tosin Daniel, Graves, Inger, Sætre, Camilla, Skålvik, Astrid Marie, Holstad, Marie Bueie, Henne, Ingvar, Stiansen, Jan Erik (2023)

  • A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture facility

    Bergh, Øivind, Danre, Jean-Baptiste, Stensland, Kjetil, Lima, Keila, Nguyen, Ngoc-Thanh, Heidal, Rogardt, Kristensen, Lars Michael, Oyetoyan, Tosin Daniel, Graves, Inger, Sætre, Camilla, Skålvik, Astrid Marie, Holstad, Marie Bueie, Henne, Ingvar, Stiansen, Jan Erik (2023)

  • Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform

    Heldal, Rogardt, Kristensen, Lars Michael, Lima, Keila, Oyetoyan, Tosin Daniel, Nguyen, Ngoc Thanh (2023)
    CEUR Workshop Proceedings 2023 Volum 3430 ;s. 110-125

  • Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems

    Nguyen, Ngoc Thanh, Heldal, Rogardt, Lima, Keila, Oyetoyan, Tosin Daniel, Pelliccione, Patrizio, Kristensen, Lars Michael, Hoydal, Kjetil Waldeland, Reiersgaard, Pal Asle, Kvinnsland, Yngve (2023)
    IEEE Internet of Things Journal 2023 Volum 10 ;(16)s. 14712-14724

  • Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes

    Lima, Keila, Nguyen, Ngoc-Thanh, Heldal, Rogardt, Knauss, Eric, Oyetoyan, Tosin Daniel, Pelliccione, Patrizio, Kristensen, Lars Michael (2022)
    Lecture Notes in Computer Science (LNCS) 2022 Volum 13709 ;s. 124-140

  • Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning

    Gazzea, Michele, Kristensen, Lars Michael, Pirotti, Francesco, Ozguven, Eren Erman, Arghandeh, Reza (2022)
    IEEE Transactions on Geoscience and Remote Sensing 2022 Volum 60 ;

  • Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems

    Steinsland, Vegard, Kristensen, Lars Michael, Zhang, Shujun (2022)

  • Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction

    Strand, Ruben Dobler, Petrucci, Laure, Kristensen, Lars Michael (2022)
    CEUR Workshop Proceedings 2022 Volum 3170 ;s. 1-20

  • MC/DC Test Cases Generation Based on BDDs

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2021)

  • Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning

    Gazzea, Michele, Aalhus, Sindre, Kristensen, Lars Michael, Ozguven, Eren Erman, Arghandeh, Reza (2021)

  • Development and Evaluation of a Software System for Fire Risk Prediction

    Halderaker, Eivind Dagsland, Evjenth, Andreas, Kristensen, Lars Michael, Strand, Ruben Dobler (2021)

  • Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

    Rodriguez Tena, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2021)
    Lecture Notes in Computer Science (LNCS) 2021

  • Simulation and analysis of MultEcore multilevel models based on rewriting logic

    Rodríguez, Alejandro, Durán, Francisco, Kristensen, Lars Michael (2021)
    Software and Systems Modeling (SoSyM) 2021

  • Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services

    Stokkenes, Sindre, Strand, Ruben Dobler, Kristensen, Lars Michael, Log, Torgrim (2021)
    Procedia Computer Science 2021 Volum 184 ;s. 186-193

  • Fire Risk Prediction Using Cloud-based Weather Data Services

    Strand, Ruben Dobler, Stokkenes, Sindre, Kristensen, Lars Michael, Log, Torgrim (2021)
    International Journal of Ubiquitous Systems and Pervasive Networks (JUSPN) 2021 Volum 16 ;(1)s. 37-47

  • Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2020)
    Springer. Isbn: 978-3-030-65954-7. s. 68-83

  • Design and Validation of a Distributed Software Architecture for a Fire Risk Notification System

    Botnen, Hans Ivar, Kristensen, Lars Michael (2020)

  • Model checking starvation for resource-aware active objects with coloured petri nets

    Gkolfi, Anastasia, Johnsen, Einar Broch, Kristensen, Lars Michael, Yu, Ingrid Chieh (2020)
    CEUR Workshop Proceedings 2020 Volum 2651 ;s. 68-85

  • Design of Modular Multilevel Converters for the Shipnet in medium Voltage DC All-Electric Ships

    Steinsland, Vegard, Kristensen, Lars Michael, Arghandeh, Reza, Zhang, Shujun (2020)

  • Multi-objective Search for Model-based Testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2020)
    IEEE conference proceedings. Isbn: 978-1-7281-8913-0. s. 130-141

  • Generating test cases satisfying MC/DC from BDDs

    Ahishakiye, Faustin, Stolz, Volker, Kristensen, Lars Michael (2019)

  • Translating active objects into colored Petri nets for communication analysis

    Gkolfi, Anastasia, Din, Crystal Chang, Johnsen, Einar Broch, Kristensen, Lars Michael, Steffen, Martin, Yu, Ingrid Chieh (2019)
    Science of Computer Programming 2019 Volum 181 ;s. 1-26

  • Selected Papers from the Petri Nets and ACSD Workshops 2018

    Koutny, Maciej, Pomello, Lucia, Kristensen, Lars Michael (2019)
    Lecture Notes in Computer Science (LNCS) 2019

  • Preface by Guest Editors

    Pomello, Lucia, Kristensen, Lars Michael (2019)
    Lecture Notes in Computer Science (LNCS) 2019

  • Analysis and evaluation of conformance preserving graph transformation rules

    Rabbi, Fazle, Lamo, Yngve, Kristensen, Lars Michael (2019)
    Communications in Computer and Information Science (CCIS) 2019 Volum 991 ;s. 284-307

  • Executing multilevel domain-specific models in maude

    Rodríguez, Alejandro, Duran, Francisco, Rutle, Adrian, Kristensen, Lars Michael (2019)
    Journal of Object Technology 2019 Volum 18 ;(2)s. 1-21

  • Formal Modelling and Incremental Verification of the MQTT IoT Protocol

    Rodríguez, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2019)
    Lecture Notes in Computer Science (LNCS) 2019 Volum 11790 ;s. 126-145

  • On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method

    Rodríguez, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2019)
    CEUR Workshop Proceedings 2019 Volum 2424 ;s. 57-72

  • Composition of Multilevel Modelling Hierarchies

    Rodríguez, Alejandro, Rutle, Adrian, Duran, Francisco, Kristensen, Lars Michael, Macías, Fernando, Wolter, Uwe Egbert (2019)

  • A Foundation for the Composition of Multilevel Domain-Specific Languages

    Rodríguez, Alejandro, Rutle, Adrian, Kristensen, Lars Michael, Duran, Francisco (2019)
    IEEE. Isbn: 978-1-7281-5125-0. s. 88-97

  • Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model

    Stokkenes, Sindre, Kristensen, Lars Michael, Log, Torgrim (2019)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2019

  • Implementation and Evaluation of a Fire Risk Indication Model

    Stokkenes, Sindre, Kristensen, Lars Michael, Log, Torgrim (2019)

  • Visualization and abstractions for execution paths in model-based software testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2019)
    Lecture Notes in Computer Science (LNCS) 2019 Volum 11918 ;

  • Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2019)
    Journal of Logical and Algebraic Methods in Programming 2019 Volum 104 ;s. 254-273

  • Using coloured Petri nets for resource analysis of active objects

    Gkolfi, Anastasia, Johnsen, Einar Broch, Kristensen, Lars Michael, Yu, Ingrid Chieh (2018)
    Lecture Notes in Computer Science (LNCS) 2018s. 156-174

  • Selected Papers from the Petri Nets and ACSD Workshops 2017

    Koutny, Maciej, Kristensen, Lars Michael, Penczek, Wojciech (2018)
    Lecture Notes in Computer Science (LNCS) 2018

  • Model-based specification and validation of the dual-mode adaptive MAC protocol

    Kumar Somappa, Admar Ajith, Kristensen, Lars Michael, Prinz, Andreas (2018)
    International Journal of Critical Computer-Based Systems 2018 Volum 8 ;(2)s. 108-140

  • Static Analysis of Conformance Preserving Model Transformation Rules

    Rabbi, Fazle, Kristensen, Lars Michael, Lamo, Yngve (2018)
    SciTePress. Isbn: 978-989-758-283-7. s. 152-162

  • A model driven engineering approach for heterogeneous model composition

    Rabbi, Fazle, Lamo, Yngve, Kristensen, Lars Michael (2018)
    Communications in Computer and Information Science (CCIS) 2018 Volum 880 ;s. 198-221

  • On modelling and validation of the MQTT IoT protocol for M2M communication

    Tena, Alejandro Rodriguez, Kristensen, Lars Michael, Rutle, Adrian (2018)
    CEUR Workshop Proceedings 2018 Volum 2138 ;s. 99-118

  • Multilevel modelling of coloured Petri nets

    Tena, Alejandro Rodriguez, Rutle, Adrian, Duran, Francisco, Kristensen, Lars Michael, Macías, Fernando (2018)
    CEUR Workshop Proceedings 2018 Volum 2245 ;s. 663-672

  • Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018 Volum 11090 ;s. 158-180

  • MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

    Wang, Rui, Kristensen, Lars Michael, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018 Volum 11181 ;s. 97-113

  • Resource Management of Cloud-Aware Programs using Coloured Petri Nets

    Gkolfi, Anastasia, Johnsen, Einar Broch, Kristensen, Lars Michael, Yu, Ingrid Chieh (2017)

  • CTL Model Checking with the Sweep-line State Space Exploration Method

    Høyland, Sven-Olai, Lilleskare, Andreas, Kristensen, Lars Michael (2017)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2017

  • Towards Domain-Specific CPN Modelling Languages

    Kristensen, Lars Michael, Rutle, Adrian, Tena, Alejandro Rodriguez, Macias, Fernando (2017)

  • Towards Verification of Connection-Aware Transaction Models for Mobile Applications

    Kristensen, Lars Michael, Taentzer, Gabriele, Vaupel, Steffen (2017)
    CEUR Workshop Proceedings 2017 Volum 1846 ;s. 227-228

  • Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach

    Rabbi, Fazle, Kristensen, Lars Michael, Lamo, Yngve (2017)
    SciTePress. Isbn: 978-989-758-210-3. s. 41-52

  • An MDE Approach for Modelling and Reasoning about Multi-agent Systems

    Rabbi, Fazle, Lamo, Yngve, Kristensen, Lars Michael (2017)
    Lecture Notes in Computer Science (LNCS) 2017s. 49-57

  • MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS

    Rabbi, Fazle, Yu, Ingrid Chieh, Lamo, Yngve, Kristensen, Lars Michael (2017)

  • Towards Domain-Specific CPN Modelling Languages

    Rodriguez, Alejandro, Macías, Fernando, Kristensen, Lars Michael, Rutle, Adrian (2017)

  • Application of Model-based Testing on a Quorum-based Distributed Storage

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2017)
    CEUR Workshop Proceedings 2017 Volum 1846 ;s. 177-196

  • Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2017)

  • International Conference on Petri Nets and Software Engineering

    Cabac, Lawrence, Kristensen, Lars Michael, Rolke, Heiko (2016)
    CEUR Workshop Proceedings 2016 Volum 1591 ;s. 1-2

  • Forord til NIK 2016 og UDIT 2016

    Kristensen, Lars Michael, Krogstie, Birgit Rognebakke, Stolz, Volker (2016)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2016

  • Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol

    Kristensen, Lars Michael, Veiset, Vegard (2016)
    Lecture Notes in Computer Science (LNCS) 2016 Volum 9698 ;s. 135-154

  • Implementation and deployment evaluation of the DMAMAC protocol for wireless sensor actuator networks

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2016)
    Procedia Computer Science 2016 Volum 83 ;s. 329-336

  • Diagrammatic development of domain specific modelling languages with WebDPF

    Rabbi, Fazle, Lamo, Yngve, Yu, Ingrid Chieh, Kristensen, Lars Michael (2016)
    International Journal of Information System Modeling and Design 2016 Volum 7 ;(3)s. 93-114

  • WebDPF: A Web-based Metamodelling and Model Transformation Environment

    Rabbi, Fazle, Lamo, Yngve, Yu, Ingrid Chieh, Kristensen, Lars Michael (2016)
    SciTePress. Isbn: 978-989-758-168-7. s. 87-98

  • Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael, Kindler, Ekkart (2016)
    Lecture Notes in Computer Science (LNCS) 2016 Volum 9930 ;s. 1-27

  • SIMSubsea: An educational game combining commercial game-play with contextual mathematical problem-solving

    Wold, Marius Fjeld, Kristensen, Lars Michael, Røkenes, Tone Helene Bergset, Trefall, Pål Solberg, Herheim, Rune (2016)
    Proceedings of the European Conference on Games Based Learning (ECGBL) 2016s. 788-795

  • Colored petri nets: A graphical language for formal modeling and validation of concurrent systems

    Jensen, Kurt, Kristensen, Lars Michael (2015)
    Communications of the ACM 2015 Volum 58 ;(6)s. 61-70

  • Model-based verification of the DMAMAC protocol for real-time process control

    Kumar Somappa, Admar Ajith, Prinz, Andreas, Kristensen, Lars Michael (2015)
    CEUR Workshop Proceedings 2015 Volum 1431 ;s. 81-95

  • Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2015)

  • Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2015)
    ACM Digital Library. Isbn: 978-1-63190-079-2. s. 218-227

  • A generalization of termination conditions for partial model completion

    Rabbi, Fazle, Lamo, Yngve, Kristensen, Lars Michael, Yu, Ingrid Chieh (2015)

  • A diagrammatic approach to model completion

    Rabbi, Fazle, Lamo, Yngve, Yu, Ingrid Chieh, Kristensen, Lars Michael (2015)
    CEUR Workshop Proceedings 2015 Volum 1500 ;s. 56-65

  • Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications

    Rabbi, Fazle, Lamo, Yngve, Yu, Ingrid Chieh, Kristensen, Lars Michael (2015)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2015

  • Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael, Kindler, Ekkart (2015)
    CEUR Workshop Proceedings 2015 Volum 1372 ;s. 79-98

  • A sweep-line method for büchi automata-based model checking

    Evangelista, Sami, Kristensen, Lars Michael (2014)
    Fundamenta Informaticae 2014 Volum 131 ;(1)s. 27-53

  • A Pragmatic Approach to Automated Code Generation from CPN Simulation Models

    (2014)

  • An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol

    (2014)
    CEUR Workshop Proceedings 2014 Volum 1160 ;s. 13-14

  • An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol

    (2014)

  • Coloured Petri Nets: Modelling and Analysis

    (2014)

  • Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation

    (2014)

  • Investigating Optimal Progress Measures for Verification of the WebSocket Protocol

    (2014)

  • Investigating Optimal Progress Measures for Verification of the WebSocket Protocol

    (2014)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2014

  • Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol

    (2014)

  • An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols and Challenges

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2014)
    IEEE Communications Surveys and Tutorials 2014 Volum 16 ;(3)s. 1391-1412

  • Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2014)

  • Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems

    Kumar Somappa, Admar Ajith, Øvsthus, Knut, Kristensen, Lars Michael (2014)
    Procedia Computer Science 2014 Volum 34 ;s. 505-510

  • Towards a Diagrammatic Rewriting System for Model Completion

    Rabbi, Fazle, Lamo, Yngve, Yu, Ingrid Chieh, Kristensen, Lars Michael (2014)

  • A Pragmatic Approach for Transforming Coloured Petri Net Models into Code: A Case Study of the IETF WebSocket Protocol

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael (2014)

  • Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael (2014)
    Lecture Notes in Computer Science (LNCS) 2014 Volum 8460 ;s. 104-118

  • SIM Subsea

    Trefall, Pål Solberg, Herheim, Rune, Røkenes, Tone Helene Bergset, Kristensen, Lars Michael (2014)

  • Multi-threaded explicit state space exploration with state reconstruction

    Evangelista, Sami, Kristensen, Lars Michael, Petrucci, Laure (2013)
    Lecture Notes in Computer Science (LNCS) 2013 Volum 8172 ;s. 208-223

  • Tutorial on Coloured Petri Nets and CPN Tools

    (2013)

  • Dynamic state space partitioning for external memory state space exploration

    Kristensen, Lars Michael, Evangelista, Sami (2013)
    Science of Computer Programming 2013 Volum 78 ;(7)s. 778-795

  • On exploiting progress for memory-efficient verification of diagrammatic workflows

    Kristensen, Lars Michael, Lamo, Yngve, MacCaull, Wendy, Rabbi, Fazle, Rutle, Adrian (2013)

  • Selected Best Paper from the International Conference on Application and Theory of Petri Nets and Concurrency 2011

    Kristensen, Lars Michael, Petrucci, Laure, Penczek, Wojtek (2013)
    IOS Press. Isbn:

  • Application of coloured Petri nets for functional validation of protocol designs

    Kristensen, Lars Michael, Simonsen, Kent Inge Fagerland (2013)
    Lecture Notes in Computer Science (LNCS) 2013 Volum 7480 ;s. 56-115

  • Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol

    Kristensen, Lars Michael, Veiset, Vegard (2013)
    CEUR Workshop Proceedings 2013 Volum 989 ;s. 259-260

  • A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks

    Kumar Somappa, Admar Ajith, Kristensen, Lars Michael, Øvsthus, Knut (2013)

  • Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael (2013)
    Lecture Notes in Computer Science (LNCS) 2013 Volum 7706 ;s. 106-125

  • Generating protocol software from CPN models annotated with pragmatics

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael, Kindler, Ekkart (2013)
    Lecture Notes in Computer Science (LNCS) 2013 Volum 8195 ;s. 227-242

  • Combining the Sweep-Line Method with the use of an External-memory Priority Queue

    Evangelista, Sami, Kristensen, Lars Michael (2012)
    Lecture Notes in Computer Science (LNCS) 2012 Volum 7385 ;s. 43-61

  • The sweep-line state space exploration method

    Jensen, Kurt, Kristensen, Lars Michael, Mailund, Thomas (2012)
    Theoretical Computer Science 2012 Volum 429 ;s. 169-179

  • Hybrid On-the-Fly Model Checking with the Sweep-line Method

    (2012)

  • Tutorial on Coloured Petri Nets

    (2012)

  • Hybrid On-the-Fly Model Checking with the Sweep-line Method

    Kristensen, Lars Michael, Evangelista, Sami (2012)
    Lecture Notes in Computer Science (LNCS) 2012 Volum 7347 ;s. 248-267

  • Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael (2012)

  • Code Generation for Protocols from CPN models Annotated with Pragmatics

    Simonsen, Kent Inge Fagerland, Kristensen, Lars Michael, Kindler, Ekkart (2012)

  • Transactions on Petri Nets and Other Models of Concurrency VI

    Wil, van der Aalst, Marco Ajmone, Marsan, Giuliana, Franceschinis, Jetty, Klein, Kristensen, Lars Michael (2012)
    Springer. Isbn: 978-3-642-35179-2

  • Proc of International Conference on Application and Theory of Petri Nets

    Kristensen, Lars Michael, Laure, Petrucci (2011)
    Springer. Isbn: 978-3-642-21833-0

  • Formal Modelling and Initial Validation of the Chelonia Distributed Storage System

    Kristensen, Lars Michael, Taktak, Sami (2011)
    Lecture Notes in Computer Science (LNCS) 2011 Volum 6646 ;s. 127-137

  • A Graphical Approach to Component-based and Extensible Model Checking Platforms

    Kristensen, Lars Michael, Westergaard, Michael (2011)
    Lecture Notes in Computer Science (LNCS) 2011 Volum 6900 ;(5)s. 265-291

  • A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

    (2010)
    Lecture Notes in Computer Science (LNCS) 2010 Volum 6128 ;s. 39-42

  • Search-Order Independent State Caching

    Kristensen, Lars Michael, Evangelista, Sami (2010)
    Lecture Notes in Computer Science (LNCS) 2010 Volum 6550 ;s. 21-41

  • Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept

    Kristensen, Lars Michael, Westergaard, M (2010)
    Lecture Notes in Computer Science (LNCS) 2010 Volum 6371 ;s. 215-230

  • Coloured Petri Nets : modelling and validation of concurrent systems

    Jensen, Kurt, Kristensen, Lars Michael (2009)
    Springer. Isbn: 9783642002830

  • Dynamic State Space Partitioning for External Memory Model Checking

    Kristensen, Lars Michael, Evangelista, Sami (2009)
    Springer. Isbn: . s. 70-85

  • Search-Order Independent State Caching

    Kristensen, Lars Michael, Evangelista, Sami (2009)

  • Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

    Kristensen, Lars Michael, Fleischer, Paul (2009)
    Fundamenta Informaticae 2009 Volum 94 ;s. 361-386

  • The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

    Kristensen, Lars Michael, Westergaard, M (2009)
    Springer. Isbn: . s. 313-322

  • Towards Automatic Code Generation from Process-Partitioned Coloured Petri Nets

    Kristensen, Lars Michael, Westergaard, M (2009)

  • ASAP: An Extensible Platform for State Space Analysis

    Kristensen, Lars Michael, Westergaard, M, Evangelista, Sami (2009)
    Springer. Isbn: . s. 303-312

  • The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection

    Kristensen, Lars Michael, Westergaard, M, Evangelista, Sami (2009)
    Lecture Notes in Computer Science (LNCS) 2009 Volum 3 ;(5800)s. 189-215

  • A Prototype fo Cosimulating SystsmC and Coloured Petri Nets Models

    Kristensen, Lars Michael, Westergaard, M, Kuusela, Juha (2009)

  • Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation

    Kristensen, Lars Michael, Westergaard, M, Kuusela, Juha (2009)

  • Question-guided stubborn set methods for state properties

    Kristensen, Lars Michael, Schmidt, K, Valmari, A (2006)
    Formal methods in system design 2006 Volum 29 ;(3)s. 215-251

  • Model-based prototyping of an interoperability protocol for mobile ad-hoc networks

    Kristensen, Lars Michael, Westergaard, M, Norgaard, PC (2005)
    Springer. Isbn: . s. 266-286

  • State space exploration of object-based systems using equivalence reduction and the sweepline method

    Lakos, CA, Kristensen, Lars Michael (2005)
    Springer. Isbn: . s. 187-201

  • Exploiting equivalence reduction and the sweep-line method for detecting terminal states

    Billington, J, Gallasch, GE, Kristensen, Lars Michael, Mailund, T (2004)
    IEEE transactions on systems, man and cybernetics. Part A. Systems and humans 2004 Volum 34 ;(1)s. 23-37

  • Specification and validation of an edge router discovery protocol for mobile ad hoc networks

    Kristensen, Lars Michael, Jensen, Kurt (2004)
    Springer. Isbn: . s. 248-269

  • Application of coloured Petri nets in system development

    Kristensen, Lars Michael, Jørgensen, JB, Jensen, Kurt (2004)
    Springer. Isbn: . s. 626-685

  • An approach to distributed state space exploration for coloured Petri nets

    Kristensen, Lars Michael, Petrucci, L (2004)
    Springer. Isbn: . s. 474-483

  • An approach to distributed state space exploration for coloured Petri nets

    Kristensen, Lars Michael, Petrucci, L (2004)
    Springer. Isbn: . s. 474-483