Lars Michael Kristensen
Orcid: 0000-0002-1465-5791Affiliations:
- Western Norway University of Applied Sciences, Department of Computing, Mathematics, and Physics, Bergen, Norway
- Bergen University College, Norway
According to our database1,
Lars Michael Kristensen
authored at least 117 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on home.hib.no
On csauthors.net:
Bibliography
2024
Coverage visualization and analysis of net inscriptions in coloured Petri net models.
Innov. Syst. Softw. Eng., March, 2024
2023
IEEE Internet Things J., August, 2023
Development and Verification of a Microservice Architecture for a Fire Risk Notification System.
Trans. Petri Nets Other Model. Concurr., 2023
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing.
Proceedings of the Information Systems and Technologies, 2023
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform.
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023
2022
Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning.
IEEE Trans. Geosci. Remote. Sens., 2022
Softw. Syst. Model., 2022
J. Ubiquitous Syst. Pervasive Networks, 2022
Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets.
CoRR, 2022
Proceedings of the Product-Focused Software Process Improvement, 2022
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction.
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.
Trans. Petri Nets Other Model. Concurr., 2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services.
Proceedings of the 12th International Conference on Ambient Systems, 2021
2020
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020
2019
Trans. Petri Nets Other Model. Concurr., 2019
Sci. Comput. Program., 2019
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.
J. Log. Algebraic Methods Program., 2019
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model.
Proceedings of the 32nd Norsk Informatikkonferanse, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Int. J. Crit. Comput. Based Syst., 2018
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the Model-Driven Engineering and Software Development, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018
2017
Proceedings of the 30th Norsk Informatikkonferanse, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017
2016
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Trans. Petri Nets Other Model. Concurr., 2016
Int. J. Inf. Syst. Model. Des., 2016
Proceedings of the 29th Norsk Informatikkonferanse, 2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks.
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.
Commun. ACM, 2015
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015
Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control.
Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
Proceedings of the 28th Norsk Informatikkonferanse, 2015
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015
2014
Fundam. Informaticae, 2014
An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges.
IEEE Commun. Surv. Tutorials, 2014
Proceedings of the 27th Norsk Informatikkonferanse, 2014
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems.
Proceedings of the 9th International Conference on Future Networks and Communications (FNC'14) / The 11th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'14) / Affiliated Workshops, 2014
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.
Proceedings of the Distributed Applications and Interoperable Systems, 2014
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014
2013
Trans. Petri Nets Other Model. Concurr., 2013
Sci. Comput. Program., 2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks.
Proceedings of the International Symposium on Wireless and pervasive Computing, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013
2012
Trans. Petri Nets Other Model. Concurr., 2012
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011
2010
Trans. Petri Nets Other Model. Concurr., 2010
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.
Proceedings of the Applications and Theory of Petri Nets, 2010
2009
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
Trans. Petri Nets Other Model. Concurr., 2009
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Fundam. Informaticae, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
Springer, ISBN: 978-3-642-00284-7, 2009
2008
Trans. Petri Nets Other Model. Concurr., 2008
Int. J. Softw. Tools Technol. Transf., 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
Int. J. Softw. Tools Technol. Transf., 2007
Int. J. Softw. Tools Technol. Transf., 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Formal Methods Syst. Des., 2006
Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006
2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the International Conference on Pervasive Services 2005, 2005
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Trans. Syst. Man Cybern. Part A, 2004
High. Order Symb. Comput., 2004
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the Formal Methods and Software Engineering, 2003
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001
2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.
IEEE Trans. Parallel Distributed Syst., 1999
1998
Int. J. Softw. Tools Technol. Transf., 1998
Proceedings of the Application and Theory of Petri Nets 1998, 1998
1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997