Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lars Michael Kristensen
@article{DBLP:journals/isse/AhishakiyeJKS24,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
title = {Coverage visualization and analysis of net inscriptions in coloured
Petri net models},
journal = {Innov. Syst. Softw. Eng.},
volume = {20},
number = {1},
pages = {17--30},
year = {2024},
url = {https://doi.org/10.1007/s11334-023-00528-z},
doi = {10.1007/S11334-023-00528-Z},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/AhishakiyeJKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/NguyenHLOPKHRK23,
author = {Ngoc{-}Thanh Nguyen and
Rogardt Heldal and
Keila Lima and
Tosin Daniel Oyetoyan and
Patrizio Pelliccione and
Lars Michael Kristensen and
Kjetil Waldeland H{\o}ydal and
P{\aa}l Asle Reiersgaard and
Yngve Kvinnsland},
title = {Engineering Challenges of Stationary Wireless Smart Ocean Observation
Systems},
journal = {{IEEE} Internet Things J.},
volume = {10},
number = {16},
pages = {14712--14724},
year = {2023},
url = {https://doi.org/10.1109/JIOT.2023.3283252},
doi = {10.1109/JIOT.2023.3283252},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iotj/NguyenHLOPKHRK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/StrandKP23,
author = {Ruben Dobler Strand and
Lars Michael Kristensen and
Laure Petrucci},
title = {Development and Verification of a Microservice Architecture for a
Fire Risk Notification System},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {27--53},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_2},
doi = {10.1007/978-3-662-68191-6\_2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/StrandKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeldalKLON23,
author = {Rogardt Heldal and
Lars Michael Kristensen and
Keila Lima and
Tosin Daniel Oyetoyan and
Ngoc{-}Thanh Nguyen},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Towards a Formal and Executable Software Architecture Specification
of the Smart Ocean Data Service Platform},
booktitle = {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), June 27, 2023, Lisbon, Portugal},
series = {{CEUR} Workshop Proceedings},
volume = {3430},
pages = {110--125},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3430/paper7.pdf},
timestamp = {Fri, 04 Aug 2023 23:51:40 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeldalKLON23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/StrandKSFH23,
author = {Ruben Dobler Strand and
Lars Michael Kristensen and
Thorbj{\o}rn Svendal and
Emilie H. Fisketj{\o}n and
Abu T. Hussain},
editor = {{\'{A}}lvaro Rocha and
Hojjat Adeli and
Gintautas Dzemyda and
Fernando Moreira and
Valentina Colla},
title = {A Mobile Application for Wooden House Fire Risk Notifications Based
on Edge Computing},
booktitle = {Information Systems and Technologies - WorldCIST 2023, Volume 2, Pisa,
Italy, April 4-6, 2023},
series = {Lecture Notes in Networks and Systems},
volume = {800},
pages = {238--248},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45645-9\_23},
doi = {10.1007/978-3-031-45645-9\_23},
timestamp = {Fri, 23 Feb 2024 11:54:44 +0100},
biburl = {https://dblp.org/rec/conf/worldcist/StrandKSFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/juspn/StrandSKL22,
author = {Ruben Dobler Strand and
Sindre Stokkenes and
Lars Michael Kristensen and
Torgrim Log},
title = {Fire Risk Prediction Using Cloud-based Weather Data Services},
journal = {J. Ubiquitous Syst. Pervasive Networks},
volume = {16},
number = {1},
pages = {37--47},
year = {2022},
url = {https://doi.org/10.5383/juspn.16.01.005},
doi = {10.5383/JUSPN.16.01.005},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/juspn/StrandSKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RodriguezDK22,
author = {Alejandro Rodr{\'{\i}}guez and
Francisco Dur{\'{a}}n and
Lars Michael Kristensen},
title = {Simulation and analysis of MultEcore multilevel models based on rewriting
logic},
journal = {Softw. Syst. Model.},
volume = {21},
number = {2},
pages = {561--586},
year = {2022},
url = {https://doi.org/10.1007/s10270-021-00947-1},
doi = {10.1007/S10270-021-00947-1},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RodriguezDK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/GazzeaKPOA22,
author = {Michele Gazzea and
Lars Michael Kristensen and
Francesco Pirotti and
Eren Erman Ozguven and
Reza Arghandeh},
title = {Tree Species Classification Using High-Resolution Satellite Imagery
and Weakly Supervised Learning},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {60},
pages = {1--11},
year = {2022},
url = {https://doi.org/10.1109/TGRS.2022.3210275},
doi = {10.1109/TGRS.2022.3210275},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/GazzeaKPOA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/StrandKP22,
author = {Ruben Dobler Strand and
Lars Michael Kristensen and
Laure Petrucci},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Formal Specification and Validation of a Data-driven Software System
for Fire Risk Prediction},
booktitle = {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), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {1--20},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/StrandKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SteinslandKZ22,
author = {Vegard Steinsland and
Lars Michael Kristensen and
Shujun Zhang},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {Towards the Application of Coloured Petri Nets for Design and Validation
of Power Electronics Converter Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {3--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_1},
doi = {10.1007/978-3-031-06653-5\_1},
timestamp = {Mon, 20 Jun 2022 16:55:49 +0200},
biburl = {https://dblp.org/rec/conf/apn/SteinslandKZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/EvangelistaPK22,
author = {Sami Evangelista and
Laure Petrucci and
Lars Michael Kristensen},
title = {Distributed Explicit State Space Exploration with State Reconstruction
for {RDMA} Networks},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {107--116},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00021},
doi = {10.1109/ICECCS54210.2022.00021},
timestamp = {Thu, 12 May 2022 09:47:03 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/EvangelistaPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/LimaNHKOPK22,
author = {Keila Lima and
Ngoc{-}Thanh Nguyen and
Rogardt Heldal and
Eric Knauss and
Tosin Daniel Oyetoyan and
Patrizio Pelliccione and
Lars Michael Kristensen},
editor = {Davide Taibi and
Marco Kuhrmann and
Tommi Mikkonen and
Jil Kl{\"{u}}nder and
Pekka Abrahamsson},
title = {Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes},
booktitle = {Product-Focused Software Process Improvement - 23rd International
Conference, {PROFES} 2022, Jyv{\"{a}}skyl{\"{a}}, Finland,
November 21-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13709},
pages = {124--140},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21388-5\_9},
doi = {10.1007/978-3-031-21388-5\_9},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/LimaNHKOPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06781,
author = {Vegard Steinsland and
Lars Michael Kristensen and
Shujun Zhang},
title = {Modelling and Validation of Power Electronics Converter Systems using
Coloured Petri Nets},
journal = {CoRR},
volume = {abs/2212.06781},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06781},
doi = {10.48550/ARXIV.2212.06781},
eprinttype = {arXiv},
eprint = {2212.06781},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0006KR21,
author = {Alejandro Rodr{\'{\i}}guez and
Lars Michael Kristensen and
Adrian Rutle},
title = {Verification of the {MQTT} IoT Protocol Using Property-Specific {CTL}
Sweep-Line Algorithms},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {165--183},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_8},
doi = {10.1007/978-3-662-63079-2\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/0006KR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/StokkenesSKL21,
author = {Sindre Stokkenes and
Ruben Dobler Strand and
Lars Michael Kristensen and
Torgrim Log},
editor = {Elhadi M. Shakshuki and
Ansar{-}Ul{-}Haque Yasar},
title = {Validation of a Predictive Fire Risk Indication Model using Cloud-based
Weather Data Services},
booktitle = {The 12th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2021) / The 4th International Conference on Emerging
Data and Industry 4.0 {(EDI40} 2021) / Affiliated Workshops, March
23-26, 2021, Warsaw, Poland},
series = {Procedia Computer Science},
volume = {184},
pages = {186--193},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.procs.2021.03.029},
doi = {10.1016/J.PROCS.2021.03.029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ant/StokkenesSKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/GazzeaAKOA21,
author = {Michele Gazzea and
Sindre Aalhus and
Lars Michael Kristensen and
Eren Erman Ozguven and
Reza Arghandeh},
title = {Automated 3D Vegetation Detection Along Power Lines using Monocular
Satellite Imagery and Deep Learning},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2021, Brussels, Belgium, July 11-16, 2021},
pages = {3721--3724},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IGARSS47720.2021.9554938},
doi = {10.1109/IGARSS47720.2021.9554938},
timestamp = {Mon, 18 Oct 2021 10:57:39 +0200},
biburl = {https://dblp.org/rec/conf/igarss/GazzeaAKOA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AhishakiyeJKS21,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{MC/DC} Test Cases Generation Based on BDDs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {178--197},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_10},
doi = {10.1007/978-3-030-91265-9\_10},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/AhishakiyeJKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2021w,
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {{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},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999},
urn = {urn:nbn:de:0074-2999-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GkolfiJKY20,
author = {Anastasia Gkolfi and
Einar Broch Johnsen and
Lars Michael Kristensen and
Ingrid Chieh Yu},
editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Ekkart Kindler and
Heiko R{\"{o}}lke},
title = {Model Checking Starvation for Resource-aware Active Objects with Coloured
Petri Nets},
booktitle = {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), Paris,
France, June 24, 2020 (due to {COVID-19:} virtual conference)},
series = {{CEUR} Workshop Proceedings},
volume = {2651},
pages = {68--85},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2651/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/GkolfiJKY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/0048AKS20,
author = {Rui Wang and
Cyrille Artho and
Lars Michael Kristensen and
Volker Stolz},
title = {Multi-objective Search for Model-based Testing},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {130--141},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00029},
doi = {10.1109/QRS51102.2020.00029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/0048AKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhishakiyeJKS20,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {68--83},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_6},
doi = {10.1007/978-3-030-65955-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AhishakiyeJKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2020w,
editor = {Loli Burgue{\~{n}}o and
Lars Michael Kristensen},
title = {{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},
series = {{CEUR} Workshop Proceedings},
volume = {2707},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2707},
urn = {urn:nbn:de:0074-2707-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09806,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
journal = {CoRR},
volume = {abs/2005.09806},
year = {2020},
url = {https://arxiv.org/abs/2005.09806},
eprinttype = {arXiv},
eprint = {2005.09806},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/WangKMS19,
author = {Rui Wang and
Lars Michael Kristensen and
Hein Meling and
Volker Stolz},
title = {Automated test case generation for the Paxos single-decree protocol
using a Coloured Petri Net model},
journal = {J. Log. Algebraic Methods Program.},
volume = {104},
pages = {254--273},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.02.004},
doi = {10.1016/J.JLAMP.2019.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/WangKMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/RodriguezDRK19,
author = {Alejandro Rodr{\'{\i}}guez and
Francisco Dur{\'{a}}n and
Adrian Rutle and
Lars Michael Kristensen},
title = {Executing Multilevel Domain-Specific Models in Maude},
journal = {J. Object Technol.},
volume = {18},
number = {2},
pages = {4:1--21},
year = {2019},
url = {https://doi.org/10.5381/jot.2019.18.2.a4},
doi = {10.5381/JOT.2019.18.2.A4},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/RodriguezDRK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GkolfiDJKSY19,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Lars Michael Kristensen and
Martin Steffen and
Ingrid Chieh Yu},
title = {Translating active objects into colored Petri nets for communication
analysis},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.04.002},
doi = {10.1016/J.SCICO.2019.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GkolfiDJKSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0006KR19,
author = {Alejandro Rodr{\'{\i}}guez and
Lars Michael Kristensen and
Adrian Rutle},
title = {Formal Modelling and Incremental Verification of the {MQTT} IoT Protocol},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {14},
pages = {126--145},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3\_5},
doi = {10.1007/978-3-662-60651-3\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/0006KR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/0006KR19,
author = {Alejandro Rodr{\'{\i}}guez and
Lars Michael Kristensen and
Adrian Rutle},
editor = {Daniel Moldt and
Ekkart Kindler and
Manuel Wimmer},
title = {On {CTL} Model Checking of the {MQTT} IoT Protocol using the Sweep-Line
Method},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering {(PNSE} 2019), co-located with the 40th International
Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2019 and the 19th International Conference on Application
of Concurrency to System Design {ACSD} 2019 and the 1st {IEEE} International
Conference on Process Mining Process Mining 2019, Aachen, Germany,
June 23-28, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2424},
pages = {57--72},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2424/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/0006KR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WangAKS19,
author = {Rui Wang and
Cyrille Artho and
Lars Michael Kristensen and
Volker Stolz},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Visualization and Abstractions for Execution Paths in Model-Based
Software Testing},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {474--492},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_26},
doi = {10.1007/978-3-030-34968-4\_26},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WangAKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0006RKD19,
author = {Alejandro Rodr{\'{\i}}guez and
Adrian Rutle and
Lars Michael Kristensen and
Francisco Dur{\'{a}}n},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {A Foundation for the Composition of Multilevel Domain-Specific Languages},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {88--97},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00018},
doi = {10.1109/MODELS-C.2019.00018},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/0006RKD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/KristensenLS19,
author = {Lars Michael Kristensen and
Torgrim Log and
Sindre Stokkenes},
title = {Cloud-based Implementation and Validation of a Predictive Fire Risk
Indication Model},
booktitle = {32nd Norsk Informatikkonferanse, {NIK} 2019, {UIT} Norges Arktiske
Universitet, Narvik, Norway, November 25-27, 2019},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2019},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/642},
timestamp = {Fri, 05 Feb 2021 11:08:05 +0100},
biburl = {https://dblp.org/rec/conf/nik/KristensenLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2019-14,
editor = {Maciej Koutny and
Lucia Pomello and
Lars Michael Kristensen},
title = {Transactions on Petri Nets and Other Models of Concurrency {XIV}},
series = {Lecture Notes in Computer Science},
volume = {11790},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3},
doi = {10.1007/978-3-662-60651-3},
isbn = {978-3-662-60650-6},
timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/2019-14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/SomappaKP18,
author = {Admar Ajith Kumar Somappa and
Lars Michael Kristensen and
Andreas Prinz},
title = {Model-based specification and validation of the dual-mode adaptive
{MAC} protocol},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {8},
number = {2},
pages = {108--140},
year = {2018},
url = {https://doi.org/10.1504/IJCCBS.2018.096190},
doi = {10.1504/IJCCBS.2018.096190},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/SomappaKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WangKMS18,
author = {Rui Wang and
Lars Michael Kristensen and
Hein Meling and
Volker Stolz},
title = {Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed
Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {158--180},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_8},
doi = {10.1007/978-3-662-58381-4\_8},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/WangKMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RodriguezKR18,
author = {Alejandro Rodr{\'{\i}}guez and
Lars Michael Kristensen and
Adrian Rutle},
editor = {Daniel Moldt and
Ekkart Kindler and
Heiko R{\"{o}}lke},
title = {On Modelling and Validation of the {MQTT} IoT Protocol for {M2M} Communication},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'18), co-located with the39th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2018 and the 18th International Conference on Application of Concurrency
to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2138},
pages = {99--118},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2138/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/RodriguezKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GkolfiJKY18,
author = {Anastasia Gkolfi and
Einar Broch Johnsen and
Lars Michael Kristensen and
Ingrid Chieh Yu},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Using Coloured Petri Nets for Resource Analysis of Active Objects},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {156--174},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_8},
doi = {10.1007/978-3-030-02146-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/GkolfiJKY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezRDKM18,
author = {Alejandro Rodr{\'{\i}}guez and
Adrian Rutle and
Francisco Dur{\'{a}}n and
Lars Michael Kristensen and
Fernando Mac{\'{\i}}as},
editor = {Regina Hebig and
Thorsten Berger},
title = {Multilevel modelling of coloured petri nets},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {663--672},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/multi\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/RodriguezRDKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL18,
author = {Fazle Rabbi and
Lars Michael Kristensen and
Yngve Lamo},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Static Analysis of Conformance Preserving Model Transformation Rules},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {152--162},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006602601520162},
doi = {10.5220/0006602601520162},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RabbiKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK18,
author = {Fazle Rabbi and
Yngve Lamo and
Lars Michael Kristensen},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Analysis and Evaluation of Conformance Preserving Graph Transformation
Rules},
booktitle = {Model-Driven Engineering and Software Development - 6th International
Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
22-24, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {991},
pages = {284--307},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11030-7\_13},
doi = {10.1007/978-3-030-11030-7\_13},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RabbiLK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WangKS18,
author = {Rui Wang and
Lars Michael Kristensen and
Volker Stolz},
editor = {Mohamed Faouzi Atig and
Saddek Bensalem and
Simon Bliudze and
Bruno Monsuez},
title = {{MBT/CPN:} {A} Tool for Model-Based Software Testing of Distributed
Systems Protocols Using Coloured Petri Nets},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 12th International Conference, VECoS 2018, Grenoble, France, September
26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11181},
pages = {97--113},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00359-3\_7},
doi = {10.1007/978-3-030-00359-3\_7},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/WangKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
editor = {Maciej Koutny and
Lars Michael Kristensen and
Wojciech Penczek},
title = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
series = {Lecture Notes in Computer Science},
volume = {11090},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4},
doi = {10.1007/978-3-662-58381-4},
isbn = {978-3-662-58380-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2018-13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WangKMS17,
author = {Rui Wang and
Lars Michael Kristensen and
Hein Meling and
Volker Stolz},
editor = {Daniel Moldt and
Lawrence Cabac and
Heiko R{\"{o}}lke},
title = {Application of Model-based Testing on a Quorum-based Distributed Storage},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'17), co-located with the38th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2017 and the 17th International Conference on Application of Concurrency
to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1846},
pages = {177--196},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1846/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/WangKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenTV17,
author = {Lars Michael Kristensen and
Gabriele Taentzer and
Steffen Vaupel},
editor = {Daniel Moldt and
Lawrence Cabac and
Heiko R{\"{o}}lke},
title = {Towards Verification of Connection-Aware Transaction Models for Mobile
Applications},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'17), co-located with the38th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2017 and the 17th International Conference on Application of Concurrency
to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1846},
pages = {227--228},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1846/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/KristensenTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL17,
author = {Fazle Rabbi and
Lars Michael Kristensen and
Yngve Lamo},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Optimizing Distributed Resource Allocation using Epistemic Game Theory:
{A} Model-driven Engineering Approach},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {41--52},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006121400410052},
doi = {10.5220/0006121400410052},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RabbiKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK17,
author = {Fazle Rabbi and
Yngve Lamo and
Lars Michael Kristensen},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {A Model Driven Engineering Approach for Heterogeneous Model Composition},
booktitle = {Model-Driven Engineering and Software Development - 5th International
Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {880},
pages = {198--221},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94764-8\_9},
doi = {10.1007/978-3-319-94764-8\_9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RabbiLK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/LilleskareKH17,
author = {Andreas Lilleskare and
Lars Michael Kristensen and
Sven{-}Olai H{\o}yland},
title = {{CTL} Model Checking with the Sweep-line State Space Exploration Method},
booktitle = {30th Norsk Informatikkonferanse, {NIK} 2017, Westerdals Oslo ACT,
Oslo, Norway, November 27-29, 2017},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2017},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/394},
timestamp = {Fri, 05 Feb 2021 11:08:02 +0100},
biburl = {https://dblp.org/rec/conf/nik/LilleskareKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/RabbiLYK16,
author = {Fazle Rabbi and
Yngve Lamo and
Ingrid Chieh Yu and
Lars Michael Kristensen},
title = {Diagrammatic Development of Domain Specific Modelling Languages with
WebDPF},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {7},
number = {3},
pages = {93--114},
year = {2016},
url = {https://doi.org/10.4018/IJISMD.2016070105},
doi = {10.4018/IJISMD.2016070105},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijismd/RabbiLYK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SimonsenKK16,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen and
Ekkart Kindler},
title = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
and Verification},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {1--27},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_1},
doi = {10.1007/978-3-662-53401-4\_1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/SimonsenKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/SomappaOK16,
author = {Admar Ajith Kumar Somappa and
Knut {\O}vsthus and
Lars Michael Kristensen},
editor = {Elhadi M. Shakshuki},
title = {Implementation and Deployment Evaluation of the {DMAMAC} Protocol
for Wireless Sensor Actuator Networks},
booktitle = {The 7th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2016) / The 6th International Conference on Sustainable
Energy Information Technology {(SEIT-2016)} / Affiliated Workshops,
May 23-26, 2016, Madrid, Spain},
series = {Procedia Computer Science},
volume = {83},
pages = {329--336},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.04.133},
doi = {10.1016/J.PROCS.2016.04.133},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/ant/SomappaOK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV16,
author = {Lars Michael Kristensen and
Vegard Veiset},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {Transforming {CPN} Models into Code for TinyOS: {A} Case Study of
the {RPL} Protocol},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {135--154},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_10},
doi = {10.1007/978-3-319-39086-4\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KristensenV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/RabbiLK16,
author = {Fazle Rabbi and
Yngve Lamo and
Lars Michael Kristensen},
editor = {Natalia Criado Pacheco and
Carlos Carrascosa and
Nardine Osman and
Vicente Juli{\'{a}}n Inglada},
title = {An {MDE} Approach for Modelling and Reasoning About Multi-agent Systems},
booktitle = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
{EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
Spain, December 15-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10207},
pages = {49--57},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-59294-7\_5},
doi = {10.1007/978-3-319-59294-7\_5},
timestamp = {Thu, 08 Sep 2022 19:48:32 +0200},
biburl = {https://dblp.org/rec/conf/eumas/RabbiLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLYK16,
author = {Fazle Rabbi and
Yngve Lamo and
Ingrid Chieh Yu and
Lars Michael Kristensen},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {WebDPF: {A} Web-based Metamodelling and Model Transformation Environment},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {87--98},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005686900870098},
doi = {10.5220/0005686900870098},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RabbiLYK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/KristensenKS16,
author = {Lars Michael Kristensen and
Birgit Rognebakke Krogstie and
Volker Stolz},
title = {Forord til {NIK} 2016 og {UDIT} 2016},
booktitle = {29th Norsk Informatikkonferanse, {NIK} 2016, H{\o}gskolen i Bergen,
Bergen, Norway, November 28-30, 2016},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2016},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/368},
timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
biburl = {https://dblp.org/rec/conf/nik/KristensenKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2016pnse,
editor = {Lawrence Cabac and
Lars Michael Kristensen and
Heiko R{\"{o}}lke},
title = {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{\'{n}}, Poland,
June 20-21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1591},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1591},
urn = {urn:nbn:de:0074-1591-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2016pnse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JensenK15,
author = {Kurt Jensen and
Lars Michael Kristensen},
title = {Colored Petri nets: a graphical language for formal modeling and validation
of concurrent systems},
journal = {Commun. {ACM}},
volume = {58},
number = {6},
pages = {61--70},
year = {2015},
url = {https://doi.org/10.1145/2663340},
doi = {10.1145/2663340},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/JensenK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SimonsenKK15,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen and
Ekkart Kindler},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke and
Harald St{\"{o}}rrle},
title = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
and Verification},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'15), including the International Workshop on Petri
Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
satellite event of the conferences: 36th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2015 and 15th International Conference on Application of Concurrency
to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1372},
pages = {79--98},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1372/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/SimonsenKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RabbiLYK15,
author = {Fazle Rabbi and
Yngve Lamo and
Ingrid Chieh Yu and
Lars Michael Kristensen},
editor = {J{\"{u}}rgen Dingel and
Sahar Kokaly and
Levi Lucio and
Rick Salay and
Hans Vangheluwe},
title = {A Diagrammatic Approach to Model Completion},
booktitle = {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), Ottawa, Canada,
September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1500},
pages = {56--65},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1500/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/RabbiLYK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/RabbiLYK15,
author = {Fazle Rabbi and
Yngve Lamo and
Ingrid Chieh Yu and
Lars Michael Kristensen},
title = {Towards a Multi Metamodelling Approach for Developing Distributed
Healthcare Applications},
booktitle = {28th Norsk Informatikkonferanse, {NIK} 2015, H{\o}gskolen i {\AA}lesund,
{\AA}lesund, Norway, November 23-25, 2015},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2015},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/249},
timestamp = {Fri, 05 Feb 2021 11:08:02 +0100},
biburl = {https://dblp.org/rec/conf/nik/RabbiLYK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/SomappaKO15,
author = {Admar Ajith Kumar Somappa and
Lars Michael Kristensen and
Knut {\O}vsthus},
editor = {Georgios Theodoropoulos},
title = {Simulation-based evaluation of {DMAMAC:} a dual-mode adaptive mac
protocol for process control},
booktitle = {Proceedings of the 8th International Conference on Simulation Tools
and Techniques, Athens, Greece, August 24-26, 2015},
pages = {218--227},
publisher = {{ICST/ACM}},
year = {2015},
url = {https://doi.org/10.4108/eai.24-8-2015.2260868},
doi = {10.4108/EAI.24-8-2015.2260868},
timestamp = {Tue, 01 Oct 2019 07:26:13 +0200},
biburl = {https://dblp.org/rec/conf/simutools/SomappaKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SomappaPK15,
author = {Admar Ajith Kumar Somappa and
Andreas Prinz and
Lars Michael Kristensen},
editor = {Belgacem Ben Hedia and
Florin Popentiu Vladicescu},
title = {Model-Based Verification of the {DMAMAC} Protocol for Real-time Process
Control},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
September 10-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1431},
pages = {81--96},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1431/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SomappaPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/SOK14,
author = {Admar Ajith Kumar Somappa and
Knut {\O}vsthus and
Lars Michael Kristensen},
title = {An Industrial Perspective on Wireless Sensor Networks - {A} Survey
of Requirements, Protocols, and Challenges},
journal = {{IEEE} Commun. Surv. Tutorials},
volume = {16},
number = {3},
pages = {1391--1412},
year = {2014},
url = {https://doi.org/10.1109/SURV.2014.012114.00058},
doi = {10.1109/SURV.2014.012114.00058},
timestamp = {Sat, 11 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsur/SOK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EvangelistaK14,
author = {Sami Evangelista and
Lars Michael Kristensen},
title = {A Sweep-Line Method for B{\"{u}}chi Automata-based Model Checking},
journal = {Fundam. Informaticae},
volume = {131},
number = {1},
pages = {27--53},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1003},
doi = {10.3233/FI-2014-1003},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EvangelistaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen14,
author = {Lars Michael Kristensen},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {An Approach for the Engineering of Protocol Software from Coloured
Petri Net Models: {A} Case Study of the {IETF} WebSocket Protocol},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {13--14},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/Kristensen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/SimonsenK14,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen},
editor = {Kostas Magoutis and
Peter R. Pietzuch},
title = {Implementing the WebSocket Protocol Based on Formal Modelling and
Automated Code Generation},
booktitle = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
International Federated Conference on Distributed Computing Techniques,
DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8460},
pages = {104--118},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43352-2\_9},
doi = {10.1007/978-3-662-43352-2\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dais/SimonsenK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fnc/SomappaOK14,
author = {Admar Ajith Kumar Somappa and
Knut {\O}vsthus and
Lars Michael Kristensen},
title = {Towards a Dual-mode Adaptive {MAC} Protocol {(DMA-MAC)} for Feedback-based
Networked Control Systems},
booktitle = {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, August 17-20,
2014, Niagara Falls, Canada},
series = {Procedia Computer Science},
volume = {34},
pages = {505--510},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.07.056},
doi = {10.1016/J.PROCS.2014.07.056},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/fnc/SomappaOK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/Kristensen14,
author = {Lars Michael Kristensen},
title = {Investigating Optimal Progress Measures for Verification of the WebSocket
Protocol},
booktitle = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
Fredrikstad, Norway, November 17-19, 2014},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2014},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/25},
timestamp = {Fri, 05 Feb 2021 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/nik/Kristensen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenPP13,
author = {Lars Michael Kristensen and
Wojciech Penczek and
Laure Petrucci},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-780},
doi = {10.3233/FI-2013-780},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KristensenPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EvangelistaK13,
author = {Sami Evangelista and
Lars Michael Kristensen},
title = {Dynamic state space partitioning for external memory state space exploration},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {778--795},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.09.005},
doi = {10.1016/J.SCICO.2011.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EvangelistaK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KristensenS13,
author = {Lars Michael Kristensen and
Kent Inge Fagerland Simonsen},
title = {Applications of Coloured Petri Nets for Functional Validation of Protocol
Designs},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {7},
pages = {56--115},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0\_3},
doi = {10.1007/978-3-642-38143-0\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KristensenS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VeisetK13,
author = {Vegard Veiset and
Lars Michael Kristensen},
editor = {Daniel Moldt},
title = {Transforming Platform Independent {CPN} Models into Code for the TinyOS
Platform: {A} Case Study of the {RPL} Protocol},
booktitle = {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 - 25,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {989},
pages = {259--260},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-989/paper25.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/VeisetK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaKP13,
author = {Sami Evangelista and
Lars Michael Kristensen and
Laure Petrucci},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Multi-threaded Explicit State Space Exploration with State Reconstruction},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {208--223},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_16},
doi = {10.1007/978-3-319-02444-8\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/EvangelistaKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswpc/SomappaKO13,
author = {Admar Ajith Kumar Somappa and
Lars Michael Kristensen and
Knut {\O}vsthus},
title = {A formal executable specification of the GinMAC protocol for Wireless
Sensor Actuator Networks},
booktitle = {International Symposium on Wireless and pervasive Computing, {ISWPC}
2013, Taipei, Taiwan, November 20-22, 2013},
pages = {1--7},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISWPC.2013.6707433},
doi = {10.1109/ISWPC.2013.6707433},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iswpc/SomappaKO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SimonsenKK13,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen and
Ekkart Kindler},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Generating Protocol Software from {CPN} Models Annotated with Pragmatics},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {227--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_16},
doi = {10.1007/978-3-642-41071-0\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SimonsenKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JensenKM12,
author = {Kurt Jensen and
Lars Michael Kristensen and
Thomas Mailund},
title = {The sweep-line state space exploration method},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {169--179},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.036},
doi = {10.1016/J.TCS.2011.12.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JensenKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WestergaardK12,
author = {Michael Westergaard and
Lars Michael Kristensen},
title = {A Graphical Approach to Component-Based and Extensible Model Checking
Platforms},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {5},
pages = {265--291},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5\_12},
doi = {10.1007/978-3-642-29072-5\_12},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/WestergaardK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EvangelistaK12,
author = {Sami Evangelista and
Lars Michael Kristensen},
editor = {Serge Haddad and
Lucia Pomello},
title = {Hybrid On-the-Fly {LTL} Model Checking with the Sweep-Line Method},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {248--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_14},
doi = {10.1007/978-3-642-31131-4\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/EvangelistaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/SimonsenK12,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen},
editor = {Ricardo Jorge Machado and
Rita Suzana Pitangueira Maciel and
Julia Rubin and
Goetz Botterweck},
title = {Towards a CPN-Based Modelling Approach for Reconciling Verification
and Implementation of Protocol Models},
booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th
International Workshop, {MOMPES} 2012, Essen, Germany, September 4,
2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7706},
pages = {106--125},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38209-3\_7},
doi = {10.1007/978-3-642-38209-3\_7},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/SimonsenK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EvangelistaK12,
author = {Sami Evangelista and
Lars Michael Kristensen},
editor = {Alastair F. Donaldson and
David Parker},
title = {Combining the Sweep-Line Method with the Use of an External-Memory
Priority Queue},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {43--61},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_6},
doi = {10.1007/978-3-642-31759-0\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/EvangelistaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-6,
editor = {Kurt Jensen and
Wil M. P. van der Aalst and
Marco Ajmone Marsan and
Giuliana Franceschinis and
Jetty Kleijn and
Lars Michael Kristensen},
title = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
series = {Lecture Notes in Computer Science},
volume = {7400},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2},
doi = {10.1007/978-3-642-35179-2},
isbn = {978-3-642-35178-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2012-6.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/TaktakK11,
author = {Sami Taktak and
Lars Michael Kristensen},
editor = {Jukka Riekki and
Mika Ylianttila and
Minyi Guo},
title = {Formal Modelling and Initial Validation of the Chelonia Distributed
Storage System},
booktitle = {Advances in Grid and Pervasive Computing - 6th International Conference,
{GPC} 2011, Oulu, Finland, May 11-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6646},
pages = {127--137},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20754-9\_14},
doi = {10.1007/978-3-642-20754-9\_14},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpc/TaktakK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011,
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7},
doi = {10.1007/978-3-642-21834-7},
isbn = {978-3-642-21833-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaK10,
author = {Sami Evangelista and
Lars Michael Kristensen},
title = {Search-Order Independent State Caching},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {21--41},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_2},
doi = {10.1007/978-3-642-18222-8\_2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/EvangelistaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen10,
author = {Lars Michael Kristensen},
editor = {Johan Lilius and
Wojciech Penczek},
title = {A Perspective on Explicit State Space Exploration of Coloured Petri
Nets: Past, Present, and Future},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {39--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_4},
doi = {10.1007/978-3-642-13675-7\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Kristensen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KristensenW10,
author = {Lars Michael Kristensen and
Michael Westergaard},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Automatic Structure-Based Code Generation from Coloured Petri Nets:
{A} Proof of Concept},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {215--230},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_14},
doi = {10.1007/978-3-642-15898-8\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KristensenW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023756,
author = {Kurt Jensen and
Lars Michael Kristensen},
title = {Coloured Petri Nets - Modelling and Validation of Concurrent Systems},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/b95112},
doi = {10.1007/B95112},
isbn = {978-3-642-00283-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenF09,
author = {Lars Michael Kristensen and
Paul Fleischer},
title = {Modelling and Validation of Secure Connection Establishment in a Generic
Access Network Scenario},
journal = {Fundam. Informaticae},
volume = {94},
number = {3-4},
pages = {361--386},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-135},
doi = {10.3233/FI-2009-135},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KristensenF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaWK09,
author = {Sami Evangelista and
Michael Westergaard and
Lars Michael Kristensen},
title = {The ComBack Method Revisited: Caching Strategies and Extension with
Delayed Duplicate Detection},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {3},
pages = {189--215},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2\_8},
doi = {10.1007/978-3-642-04856-2\_8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/EvangelistaWK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardEK09,
author = {Michael Westergaard and
Sami Evangelista and
Lars Michael Kristensen},
editor = {Giuliana Franceschinis and
Karsten Wolf},
title = {{ASAP:} An Extensible Platform for State Space Analysis},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
{PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5606},
pages = {303--312},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02424-5\_18},
doi = {10.1007/978-3-642-02424-5\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/WestergaardEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardK09,
author = {Michael Westergaard and
Lars Michael Kristensen},
editor = {Giuliana Franceschinis and
Karsten Wolf},
title = {The Access/CPN Framework: {A} Tool for Interacting with the {CPN}
Tools Simulator},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
{PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5606},
pages = {313--322},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02424-5\_19},
doi = {10.1007/978-3-642-02424-5\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WestergaardK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/EvangelistaK09,
author = {Sami Evangelista and
Lars Michael Kristensen},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Dynamic State Space Partitioning for External Memory Model Checking},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {70--85},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_7},
doi = {10.1007/978-3-642-04570-7\_7},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/EvangelistaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KristensenMZMG08,
author = {Lars Michael Kristensen and
Peter Mechlenborg and
Lin Zhang and
Brice Mitchell and
Guy Edward Gallasch},
title = {Model-based development of a course of action scheduling tool},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {1},
pages = {5--14},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0053-y},
doi = {10.1007/S10009-007-0053-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KristensenMZMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KristensenJ08,
author = {Lars Michael Kristensen and
Kurt Jensen},
title = {Teaching Modelling and Validation of Concurrent Systems Using Coloured
Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {19--34},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_2},
doi = {10.1007/978-3-540-89287-8\_2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KristensenJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EspensenKK08,
author = {Kristian L. Espensen and
Mads K. Kjeldsen and
Lars Michael Kristensen},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Modelling and Initial Validation of the {DYMO} Routing Protocol for
Mobile Ad-Hoc Networks},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {152--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_13},
doi = {10.1007/978-3-540-68746-7\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/EspensenKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleischerK08,
author = {Paul Fleischer and
Lars Michael Kristensen},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Formal Specification and Validation of Secure Connection Establishment
in a Generic Access Network Scenario},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {171--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_14},
doi = {10.1007/978-3-540-68746-7\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FleischerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/FleischerK08,
author = {Paul Fleischer and
Lars Michael Kristensen},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {Modelling the configuration/management {API} middleware using coloured
petri nets},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {16},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3043},
doi = {10.4108/ICST.SIMUTOOLS2008.3043},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/FleischerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JensenKW07,
author = {Kurt Jensen and
Lars Michael Kristensen and
Lisa Wells},
title = {Coloured Petri Nets and {CPN} Tools for modelling and validation of
concurrent systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {213--254},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0038-x},
doi = {10.1007/S10009-007-0038-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JensenKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MitchellKZ07,
author = {Brice Mitchell and
Lars Michael Kristensen and
Lin Zhang},
title = {Formal specification and state space analysis of an operational planning
process},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {255--267},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0032-3},
doi = {10.1007/S10009-007-0032-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MitchellKZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallaschBVK07,
author = {Guy Edward Gallasch and
Jonathan Billington and
Somsak Vanit{-}Anunchai and
Lars Michael Kristensen},
title = {Checking safety properties on-the-fly with the sweep-line method},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {371--391},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0031-4},
doi = {10.1007/S10009-007-0031-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GallaschBVK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardKBA07,
author = {Michael Westergaard and
Lars Michael Kristensen and
Gerth St{\o}lting Brodal and
Lars Arge},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {The ComBack Method - Extending Hash Compaction with Backtracking},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {445--464},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_26},
doi = {10.1007/978-3-540-73094-1\_26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WestergaardKBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KristensenSV06,
author = {Lars Michael Kristensen and
Karsten Schmidt and
Antti Valmari},
title = {Question-guided stubborn set methods for state properties},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {3},
pages = {215--251},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0006-1},
doi = {10.1007/S10703-006-0006-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KristensenSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BronstedK06,
author = {Jeppe Br{\o}nsted and
Lars Michael Kristensen},
title = {Specification and Performance Evaluation of Two Zone Dissemination
Protocols for Vehicular Ad-hoc Networks},
booktitle = {Proceedings 39th Annual Simulation Symposium {(ANSS-39} 2006), 2-6
April 2006, Huntsville, Alabama, {USA}},
pages = {68--79},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ANSS.2006.43},
doi = {10.1109/ANSS.2006.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/BronstedK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LakosK05,
author = {Charles A. Lakos and
Lars Michael Kristensen},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {State Space Exploration of Object-Based Systems Using Equivalence
Reduction and the Sweepline Method},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {187--201},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_16},
doi = {10.1007/11562948\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/LakosK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/BroenstedHK05,
author = {J. Broensted and
Klaus Marius Hansen and
Lars Michael Kristensen},
title = {An infrastructure for a traffic warning system},
booktitle = {Proceedings of the International Conference on Pervasive Services
2005, {ICPS} '05, Santorini, Greece, July 11-14, 2005},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PERSER.2005.1506402},
doi = {10.1109/PERSER.2005.1506402},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icps/BroenstedHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KristensenWN05,
author = {Lars Michael Kristensen and
Michael Westergaard and
Peder Christian N{\o}rgaard},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Model-Based Prototyping of an Interoperability Protocol for Mobile
Ad-Hoc Networks},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {266--286},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_16},
doi = {10.1007/11589976\_16},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KristensenWN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KristensenC04,
author = {Lars Michael Kristensen and
S{\o}ren Christensen},
title = {Implementing Coloured Petri Nets Using a Functional Programming Language},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {3},
pages = {207--243},
year = {2004},
url = {https://doi.org/10.1023/B:LISP.0000029445.29210.ca},
doi = {10.1023/B:LISP.0000029445.29210.CA},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/KristensenC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BillingtonGKM04,
author = {Jonathan Billington and
Guy Edward Gallasch and
Lars Michael Kristensen and
Thomas Mailund},
title = {Exploiting equivalence reduction and the sweep-line method for detecting
terminal states},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {34},
number = {1},
pages = {23--37},
year = {2004},
url = {https://doi.org/10.1109/TSMCA.2003.820582},
doi = {10.1109/TSMCA.2003.820582},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BillingtonGKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenP04,
author = {Lars Michael Kristensen and
Laure Petrucci},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {An Approach to Distributed State Space Exploration for Coloured Petri
Nets},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {474--483},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_28},
doi = {10.1007/978-3-540-27793-4\_28},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KristensenP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KristensenJ04,
author = {Lars Michael Kristensen and
Kurt Jensen},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Specification and Validation of an Edge Router Discovery Protocol
for Mobile Ad Hoc Networks},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {248--269},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_15},
doi = {10.1007/978-3-540-27863-4\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/KristensenJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/KristensenJJ03,
author = {Lars Michael Kristensen and
Jens B{\ae}k J{\o}rgensen and
Kurt Jensen},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Application of Coloured Petri Nets in System Development},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {626--685},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_18},
doi = {10.1007/978-3-540-27755-2\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/KristensenJJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PetrucciBKQ03,
author = {Laure Petrucci and
Jonathan Billington and
Lars Michael Kristensen and
Zahid H. Qureshi},
title = {Developing a Formal Specification for the Mission System of a Maritime
Surveillance Aircraft},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207703},
doi = {10.1109/CSD.2003.1207703},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PetrucciBKQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KristensenM03,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Efficient Path Finding with the Sweep-Line Method Using External Storage},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {319--337},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_19},
doi = {10.1007/978-3-540-39893-6\_19},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KristensenM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GordonKB02,
author = {Steven Gordon and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Javier Esparza and
Charles Lakos},
title = {Verification of a Revised {WAP} Wireless Transaction Protocol},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {182--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_12},
doi = {10.1007/3-540-48068-4\_12},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/GordonKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/OuyangKB02,
author = {Chun Ouyang and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Javier Esparza and
Charles Lakos},
title = {A Formal Service Specification for the Internet Open Trading Protocol},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {352--373},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_21},
doi = {10.1007/3-540-48068-4\_21},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/OuyangKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/OuyangKB02,
author = {Chun Ouyang and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Kurt Bauknecht and
A Min Tjoa and
Gerald Quirchmayr},
title = {A Formal and Executable Specification of the Internet Open Trading
Protocol},
booktitle = {E-Commerce and Web Technologies, Third International Conference, EC-Web
2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2455},
pages = {377--387},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45705-4\_39},
doi = {10.1007/3-540-45705-4\_39},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecweb/OuyangKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KristensenM02,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {A Generalised Sweep-Line Method for Safety Properties},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {549--567},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_31},
doi = {10.1007/3-540-45614-7\_31},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/KristensenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KristensenM02,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Compositional Sweep-Line State Space Exploration Method},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {327--343},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_21},
doi = {10.1007/3-540-36135-9\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/KristensenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LorentsenK01,
author = {Louise Lorentsen and
Lars Michael Kristensen},
title = {Exploiting Stabilizers and Parallelism in State Space Generation with
the Symmetry Method},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981778},
doi = {10.1109/CSD.2001.981778},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LorentsenK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenKM01,
author = {S{\o}ren Christensen and
Lars Michael Kristensen and
Thomas Mailund},
editor = {Jos{\'{e}} Manuel Colom and
Maciej Koutny},
title = {Condensed State Spaces for Timed Petri Nets},
booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
{ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2075},
pages = {101--120},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45740-2\_8},
doi = {10.1007/3-540-45740-2\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChristensenKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WellsCKM01,
author = {Lisa Wells and
S{\o}ren Christensen and
Lars Michael Kristensen and
Kjeld H{\o}yer Mortensen},
editor = {Reinhard German and
Boudewijn R. Haverkort},
title = {Simulation Based Performance Analysis of Web Servers},
booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PNPM.2001.953356},
doi = {10.1109/PNPM.2001.953356},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/WellsCKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristensenKM01,
author = {S{\o}ren Christensen and
Lars Michael Kristensen and
Thomas Mailund},
editor = {Tiziana Margaria and
Wang Yi},
title = {A Sweep-Line Method for State Space Exploration},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {450--464},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_31},
doi = {10.1007/3-540-45319-9\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChristensenKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV00,
author = {Lars Michael Kristensen and
Antti Valmari},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Improved Question-Guided Stubborn Set Methods for State Properties},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {282--302},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_17},
doi = {10.1007/3-540-44988-4\_17},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/KristensenV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LorentsenK00,
author = {Louise Lorentsen and
Lars Michael Kristensen},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Modelling and Analysis of a {DANFOSS} Flowmeter System Using Coloured
Petri Nets},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {346--366},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_20},
doi = {10.1007/3-540-44988-4\_20},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LorentsenK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/JorgensenK99,
author = {Jens B{\ae}k J{\o}rgensen and
Lars Michael Kristensen},
title = {Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm
Using Colored Petri Nets and Occurrence Graphs with Symmetries},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {10},
number = {7},
pages = {714--732},
year = {1999},
url = {https://doi.org/10.1109/71.780866},
doi = {10.1109/71.780866},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/JorgensenK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KristensenCJ98,
author = {Lars Michael Kristensen and
S{\o}ren Christensen and
Kurt Jensen},
title = {The Practitioner's Guide to Coloured Petri Nets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {2},
pages = {98--132},
year = {1998},
url = {https://doi.org/10.1007/s100090050021},
doi = {10.1007/S100090050021},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KristensenCJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV98,
author = {Lars Michael Kristensen and
Antti Valmari},
editor = {J{\"{o}}rg Desel and
Manuel Silva Su{\'{a}}rez},
title = {Finding Stubborn Sets of Coloured Petri Nets Without Unfolding},
booktitle = {Application and Theory of Petri Nets 1998, 19th International Conference,
{ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1420},
pages = {104--123},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69108-1\_7},
doi = {10.1007/3-540-69108-1\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KristensenV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristensenJK97,
author = {S{\o}ren Christensen and
Jens B{\ae}k J{\o}rgensen and
Lars Michael Kristensen},
editor = {Ed Brinksma},
title = {Design/CPN - {A} Computer Tool for Coloured Petri Nets},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {209--223},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035390},
doi = {10.1007/BFB0035390},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChristensenJK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-03-24 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
