Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lars Michael Kristensen

> Home > Persons

Person information

affiliation: Western Norway University of Applied Sciences, Department of Computing, Mathematics, and Physics, Bergen, Norway
affiliation: Bergen University College, Norway

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isse/AhishakiyeJKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/AhishakiyeJKS24
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20(1): 17-30 (2024)
2023
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/NguyenHLOPKHRK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/NguyenHLOPKHRK23
Ngoc-Thanh Nguyen, Rogardt Heldal, Keila Lima, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen, Kjetil Waldeland Høydal, Pål Asle Reiersgaard, Yngve Kvinnsland:
Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. IEEE Internet Things J. 10(16): 14712-14724 (2023)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/StrandKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/StrandKP23
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci:
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. 17: 27-53 (2023)
[c80]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HeldalKLON23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeldalKLON23
Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen:
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. PNSE@Petri Nets 2023: 110-125
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/StrandKSFH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/StrandKSFH23
Ruben Dobler Strand, Lars Michael Kristensen, Thorbjørn Svendal, Emilie H. Fisketjøn, Abu T. Hussain:
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. WorldCIST (2) 2023: 238-248
2022
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/juspn/StrandSKL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/juspn/StrandSKL22
Ruben Dobler Strand, Sindre Stokkenes, Lars Michael Kristensen, Torgrim Log:
Fire Risk Prediction Using Cloud-based Weather Data Services. J. Ubiquitous Syst. Pervasive Networks 16(1): 37-47 (2022)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RodriguezDK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RodriguezDK22
Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen:
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21(2): 561-586 (2022)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tgrs/GazzeaKPOA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgrs/GazzeaKPOA22
Michele Gazzea, Lars Michael Kristensen, Francesco Pirotti, Eren Erman Ozguven, Reza Arghandeh:
Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. IEEE Trans. Geosci. Remote. Sens. 60: 1-11 (2022)
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/StrandKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/StrandKP22
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci:
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE@Petri Nets 2022: 1-20
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SteinslandKZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SteinslandKZ22
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang:
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. Petri Nets 2022: 3-22
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/EvangelistaPK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/EvangelistaPK22
Sami Evangelista, Laure Petrucci, Lars Michael Kristensen:
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS 2022: 107-116
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/LimaNHKOPK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/LimaNHKOPK22
Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen:
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. PROFES 2022: 124-140
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-06781
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-06781
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang:
Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets. CoRR abs/2212.06781 (2022)
2021
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0006KR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0006KR21
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. 15: 165-183 (2021)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/StokkenesSKL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/StokkenesSKL21
Sindre Stokkenes, Ruben Dobler Strand, Lars Michael Kristensen, Torgrim Log:
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. ANT/EDI40 2021: 186-193
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/igarss/GazzeaAKOA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/igarss/GazzeaAKOA21
Michele Gazzea, Sindre Aalhus, Lars Michael Kristensen, Eren Erman Ozguven, Reza Arghandeh:
Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. IGARSS 2021: 3721-3724
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/AhishakiyeJKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/AhishakiyeJKS21
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197
[e7]
- view
- export record
  dblp key:
  - conf/staf/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/2021w
Ludovico Iovino, Lars Michael Kristensen:
STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021. CEUR Workshop Proceedings 2999, CEUR-WS.org 2021 [contents]
2020
[c71]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/GkolfiJKY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GkolfiJKY20
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets 2020: 68-85
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/0048AKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/0048AKS20
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Multi-objective Search for Model-based Testing. QRS 2020: 130-141
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AhishakiyeJKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AhishakiyeJKS20
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS 2020: 68-83
[e6]
- view
- export record
  dblp key:
  - conf/staf/2020w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/2020w
Loli Burgueño, Lars Michael Kristensen:
STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020. CEUR Workshop Proceedings 2707, CEUR-WS.org 2020 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09806
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR abs/2005.09806 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/WangKMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/WangKMS19
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104: 254-273 (2019)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/RodriguezDRK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/RodriguezDRK19
Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen:
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18(2): 4:1-21 (2019)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GkolfiDJKSY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GkolfiDJKSY19
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu:
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181: 1-26 (2019)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0006KR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0006KR19
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. 14: 126-145 (2019)
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/0006KR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0006KR19
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD 2019: 57-72
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/WangAKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/WangAKS19
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM 2019: 474-492
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/models/0006RKD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/0006RKD19
Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán:
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) 2019: 88-97
[c65]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/KristensenLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/KristensenLS19
Lars Michael Kristensen, Torgrim Log, Sindre Stokkenes:
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIK 2019
[e5]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/2019-14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2019-14
Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 [contents]
2018
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/SomappaKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/SomappaKP18
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz:
Model-based specification and validation of the dual-mode adaptive MAC protocol. Int. J. Crit. Comput. Based Syst. 8(2): 108-140 (2018)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WangKMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WangKMS18
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13: 158-180 (2018)
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/RodriguezKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RodriguezKR18
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD 2018: 99-118
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GkolfiJKY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GkolfiJKY18
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS 2018: 156-174
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/RodriguezRDKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RodriguezRDKM18
Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías:
Multilevel modelling of coloured petri nets. MoDELS (Workshops) 2018: 663-672
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RabbiKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RabbiKL18
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD 2018: 152-162
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RabbiLK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RabbiLK18
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) 2018: 284-307
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/WangKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/WangKS18
Rui Wang, Lars Michael Kristensen, Volker Stolz:
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS 2018: 97-113
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/2018-13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2018-13
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science 11090, Springer 2018, ISBN 978-3-662-58380-7 [contents]
2017
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/WangKMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WangKMS17
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets 2017: 177-196
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/KristensenTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenTV17
Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel:
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. PNSE @ Petri Nets 2017: 227-228
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RabbiKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RabbiKL17
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD 2017: 41-52
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RabbiLK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RabbiLK17
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) 2017: 198-221
[c54]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/LilleskareKH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/LilleskareKH17
Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland:
CTL Model Checking with the Sweep-line State Space Exploration Method. NIK 2017
2016
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ijismd/RabbiLYK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijismd/RabbiLYK16
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. 7(3): 93-114 (2016)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SimonsenKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SimonsenKK16
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Trans. Petri Nets Other Model. Concurr. 11: 1-27 (2016)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/SomappaOK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/SomappaOK16
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. ANT/SEIT 2016: 329-336
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KristensenV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenV16
Lars Michael Kristensen, Vegard Veiset:
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Petri Nets 2016: 135-154
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/RabbiLK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/RabbiLK16
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT 2016: 49-57
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RabbiLYK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RabbiLYK16
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD 2016: 87-98
[c49]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/KristensenKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/KristensenKS16
Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz:
Forord til NIK 2016 og UDIT 2016. NIK 2016
[e3]
- view
- export record
  dblp key:
  - conf/apn/2016pnse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2016pnse
Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. CEUR Workshop Proceedings 1591, CEUR-WS.org 2016 [contents]
2015
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/JensenK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/JensenK15
Kurt Jensen, Lars Michael Kristensen:
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6): 61-70 (2015)
[c48]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/SimonsenKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SimonsenKK15
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets 2015: 79-98
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/RabbiLYK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RabbiLYK15
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
A Diagrammatic Approach to Model Completion. AMT@MoDELS 2015: 56-65
[c46]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/RabbiLYK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/RabbiLYK15
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK 2015
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/simutools/SomappaKO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/SomappaKO15
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus:
Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control. SimuTools 2015: 218-227
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/vecos/SomappaPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/SomappaPK15
Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen:
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. VECoS 2015: 81-96
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/comsur/SOK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsur/SOK14
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. IEEE Commun. Surv. Tutorials 16(3): 1391-1412 (2014)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/EvangelistaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EvangelistaK14
Sami Evangelista, Lars Michael Kristensen:
A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131(1): 27-53 (2014)
[c43]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Kristensen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Kristensen14
Lars Michael Kristensen:
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. PNSE @ Petri Nets 2014: 13-14
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dais/SimonsenK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/SimonsenK14
Kent Inge Fagerland Simonsen, Lars Michael Kristensen:
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. DAIS 2014: 104-118
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fnc/SomappaOK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fnc/SomappaOK14
Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. FNC/MobiSPC 2014: 505-510
[c40]
- view
  - electronic edition @ bibsys.no (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nik/Kristensen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nik/Kristensen14
Lars Michael Kristensen:
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. NIK 2014
2013
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KristensenPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KristensenPP13
Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci:
Preface. Fundam. Informaticae 122(1-2) (2013)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EvangelistaK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EvangelistaK13
Sami Evangelista, Lars Michael Kristensen:
Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. 78(7): 778-795 (2013)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KristensenS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KristensenS13
Lars Michael Kristensen, Kent Inge Fagerland Simonsen:
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. Trans. Petri Nets Other Model. Concurr. 7: 56-115 (2013)
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/VeisetK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VeisetK13
Vegard Veiset, Lars Michael Kristensen:
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE 2013: 259-260
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaKP13
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci:
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA 2013: 208-223
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iswpc/SomappaKO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iswpc/SomappaKO13
Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus:
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. ISWPC 2013: 1-7
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SimonsenKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SimonsenKK13
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF 2013: 227-242
2012
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JensenKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JensenKM12
Kurt Jensen, Lars Michael Kristensen, Thomas Mailund:
The sweep-line state space exploration method. Theor. Comput. Sci. 429: 169-179 (2012)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WestergaardK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WestergaardK12
Michael Westergaard, Lars Michael Kristensen:
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. 5: 265-291 (2012)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EvangelistaK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EvangelistaK12
Sami Evangelista, Lars Michael Kristensen:
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets 2012: 248-267
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/SimonsenK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/SimonsenK12
Kent Inge Fagerland Simonsen, Lars Michael Kristensen:
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. MOMPES 2012: 106-125
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EvangelistaK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EvangelistaK12
Sami Evangelista, Lars Michael Kristensen:
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN 2012: 43-61
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/2012-6
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2012-6
Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5 [contents]
2011
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/gpc/TaktakK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpc/TaktakK11
Sami Taktak, Lars Michael Kristensen:
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. GPC 2011: 127-137
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2011
Lars Michael Kristensen, Laure Petrucci:
Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6709, Springer 2011, ISBN 978-3-642-21833-0 [contents]
2010
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/EvangelistaK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/EvangelistaK10
Sami Evangelista, Lars Michael Kristensen:
Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. 4: 21-41 (2010)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Kristensen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Kristensen10
Lars Michael Kristensen:
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Petri Nets 2010: 39-42
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KristensenW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KristensenW10
Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0023756
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0023756
Kurt Jensen, Lars Michael Kristensen:
Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer 2009, ISBN 978-3-642-00283-0, pp. I-XI, 1-384
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KristensenF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KristensenF09
Lars Michael Kristensen, Paul Fleischer:
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Informaticae 94(3-4): 361-386 (2009)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/EvangelistaWK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/EvangelistaWK09
Sami Evangelista, Michael Westergaard, Lars Michael Kristensen:
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. 3: 189-215 (2009)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardEK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardEK09
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardK09
Michael Westergaard, Lars Michael Kristensen:
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/EvangelistaK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/EvangelistaK09
Sami Evangelista, Lars Michael Kristensen:
Dynamic State Space Partitioning for External Memory Model Checking. FMICS 2009: 70-85
2008
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KristensenMZMG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KristensenMZMG08
Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10(1): 5-14 (2008)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KristensenJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KristensenJ08
Lars Michael Kristensen, Kurt Jensen:
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 19-34 (2008)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EspensenKK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EspensenKK08
Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen:
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Petri Nets 2008: 152-170
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FleischerK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FleischerK08
Paul Fleischer, Lars Michael Kristensen:
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets 2008: 171-190
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/simutools/FleischerK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/FleischerK08
Paul Fleischer, Lars Michael Kristensen:
Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16
2007
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenKW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenKW07
Kurt Jensen, Lars Michael Kristensen, Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3-4): 213-254 (2007)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MitchellKZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MitchellKZ07
Brice Mitchell, Lars Michael Kristensen, Lin Zhang:
Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. 9(3-4): 255-267 (2007)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GallaschBVK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GallaschBVK07
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9(3-4): 371-391 (2007)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardKBA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardKBA07
Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464
2006
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KristensenSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KristensenSV06
Lars Michael Kristensen, Karsten Schmidt, Antti Valmari:
Question-guided stubborn set methods for state properties. Formal Methods Syst. Des. 29(3): 215-251 (2006)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/anss/BronstedK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/anss/BronstedK06
Jeppe Brønsted, Lars Michael Kristensen:
Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Annual Simulation Symposium 2006: 68-79
2005
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LakosK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LakosK05
Charles A. Lakos, Lars Michael Kristensen:
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icps/BroenstedHK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icps/BroenstedHK05
J. Broensted, Klaus Marius Hansen, Lars Michael Kristensen:
An infrastructure for a traffic warning system. ICPS 2005: 136-145
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KristensenWN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KristensenWN05
Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard:
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM 2005: 266-286
2004
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KristensenC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KristensenC04
Lars Michael Kristensen, Søren Christensen:
Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. 17(3): 207-243 (2004)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/BillingtonGKM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/BillingtonGKM04
Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34(1): 23-37 (2004)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KristensenP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenP04
Lars Michael Kristensen, Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/KristensenJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/KristensenJ04
Lars Michael Kristensen, Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report 2004: 248-269
2003
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/KristensenJJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/KristensenJJ03
Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen:
Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets 2003: 626-685
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/PetrucciBKQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/PetrucciBKQ03
Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi:
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD 2003: 92-101
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KristensenM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KristensenM03
Lars Michael Kristensen, Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM 2003: 319-337
2002
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GordonKB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GordonKB02
Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/OuyangKB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/OuyangKB02
Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ecweb/OuyangKB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecweb/OuyangKB02
Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KristensenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KristensenM02
Lars Michael Kristensen, Thomas Mailund:
A Generalised Sweep-Line Method for Safety Properties. FME 2002: 549-567
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/KristensenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KristensenM02
Lars Michael Kristensen, Thomas Mailund:
A Compositional Sweep-Line State Space Exploration Method. FORTE 2002: 327-343
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LorentsenK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LorentsenK01
Louise Lorentsen, Lars Michael Kristensen:
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD 2001: 211-220
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChristensenKM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChristensenKM01
Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/WellsCKM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/WellsCKM01
Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen:
Simulation Based Performance Analysis of Web Servers. PNPM 2001: 59-68
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristensenKM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristensenKM01
Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464
2000
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KristensenV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenV00
Lars Michael Kristensen, Antti Valmari:
Improved Question-Guided Stubborn Set Methods for State Properties. ICATPN 2000: 282-302
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LorentsenK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LorentsenK00
Louise Lorentsen, Lars Michael Kristensen:
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN 2000: 346-366

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/JorgensenK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/JorgensenK99
Jens Bæk Jørgensen, Lars Michael Kristensen:
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distributed Syst. 10(7): 714-732 (1999)
1998
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KristensenCJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KristensenCJ98
Lars Michael Kristensen, Søren Christensen, Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 98-132 (1998)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KristensenV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenV98
Lars Michael Kristensen, Antti Valmari:
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. ICATPN 1998: 104-123
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristensenJK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristensenJK97
Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.