default search action
Lars Michael Kristensen
Person information
- affiliation: Western Norway University of Applied Sciences, Department of Computing, Mathematics, and Physics, Bergen, Norway
- affiliation: Bergen University College, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j36]Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20(1): 17-30 (2024) - [c81]Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss:
A Data-Flow Oriented Software Architecture for Heterogeneous Marine Data Streams. ICSA 2024: 146-157 - [e8]Lars Michael Kristensen, Jan Martijn E. M. van der Werf:
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Lecture Notes in Computer Science 14628, Springer 2024, ISBN 978-3-031-61432-3 [contents] - [i3]Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss:
A data-flow oriented software architecture for heterogeneous marine data streams. CoRR abs/2407.13231 (2024) - 2023
- [j35]Ngoc-Thanh Nguyen, Rogardt Heldal, Keila Lima, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen, Kjetil Waldeland Høydal, Pål Asle Reiersgaard, Yngve Kvinnsland:
Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems. IEEE Internet Things J. 10(16): 14712-14724 (2023) - [j34]Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci:
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. 17: 27-53 (2023) - [c80]Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen:
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. PNSE@Petri Nets 2023: 110-125 - [c79]Ruben Dobler Strand, Lars Michael Kristensen, Thorbjørn Svendal, Emilie H. Fisketjøn, Abu T. Hussain:
A Mobile Application for Wooden House Fire Risk Notifications Based on Edge Computing. WorldCIST (2) 2023: 238-248 - 2022
- [j33]Ruben Dobler Strand, Sindre Stokkenes, Lars Michael Kristensen, Torgrim Log:
Fire Risk Prediction Using Cloud-based Weather Data Services. J. Ubiquitous Syst. Pervasive Networks 16(1): 37-47 (2022) - [j32]Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen:
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21(2): 561-586 (2022) - [j31]Michele Gazzea, Lars Michael Kristensen, Francesco Pirotti, Eren Erman Ozguven, Reza Arghandeh:
Tree Species Classification Using High-Resolution Satellite Imagery and Weakly Supervised Learning. IEEE Trans. Geosci. Remote. Sens. 60: 1-11 (2022) - [c78]Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci:
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE@Petri Nets 2022: 1-20 - [c77]Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang:
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. Petri Nets 2022: 3-22 - [c76]Sami Evangelista, Laure Petrucci, Lars Michael Kristensen:
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS 2022: 107-116 - [c75]Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen:
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes. PROFES 2022: 124-140 - [i2]Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang:
Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets. CoRR abs/2212.06781 (2022) - 2021
- [j30]Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Trans. Petri Nets Other Model. Concurr. 15: 165-183 (2021) - [c74]Sindre Stokkenes, Ruben Dobler Strand, Lars Michael Kristensen, Torgrim Log:
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. ANT/EDI40 2021: 186-193 - [c73]Michele Gazzea, Sindre Aalhus, Lars Michael Kristensen, Eren Erman Ozguven, Reza Arghandeh:
Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning. IGARSS 2021: 3721-3724 - [c72]Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197 - [e7]Ludovico Iovino, Lars Michael Kristensen:
STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021. CEUR Workshop Proceedings 2999, CEUR-WS.org 2021 [contents] - 2020
- [c71]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets 2020: 68-85 - [c70]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Multi-objective Search for Model-based Testing. QRS 2020: 130-141 - [c69]Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS 2020: 68-83 - [e6]Loli Burgueño, Lars Michael Kristensen:
STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020. CEUR Workshop Proceedings 2707, CEUR-WS.org 2020 [contents] - [i1]Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR abs/2005.09806 (2020)
2010 – 2019
- 2019
- [j29]Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104: 254-273 (2019) - [j28]Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen:
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18(2): 4:1-21 (2019) - [j27]Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu:
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181: 1-26 (2019) - [j26]Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. Trans. Petri Nets Other Model. Concurr. 14: 126-145 (2019) - [c68]Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD 2019: 57-72 - [c67]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM 2019: 474-492 - [c66]Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán:
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) 2019: 88-97 - [c65]Lars Michael Kristensen, Torgrim Log, Sindre Stokkenes:
Cloud-based Implementation and Validation of a Predictive Fire Risk Indication Model. NIK 2019 - [e5]Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 [contents] - 2018
- [j25]Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz:
Model-based specification and validation of the dual-mode adaptive MAC protocol. Int. J. Crit. Comput. Based Syst. 8(2): 108-140 (2018) - [j24]Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13: 158-180 (2018) - [c64]Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. PNSE@Petri Nets/ACSD 2018: 99-118 - [c63]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS 2018: 156-174 - [c62]Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías:
Multilevel modelling of coloured petri nets. MoDELS (Workshops) 2018: 663-672 - [c61]Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD 2018: 152-162 - [c60]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) 2018: 284-307 - [c59]Rui Wang, Lars Michael Kristensen, Volker Stolz:
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS 2018: 97-113 - [e4]Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science 11090, Springer 2018, ISBN 978-3-662-58380-7 [contents] - 2017
- [c58]Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets 2017: 177-196 - [c57]Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel:
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. PNSE @ Petri Nets 2017: 227-228 - [c56]Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD 2017: 41-52 - [c55]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) 2017: 198-221 - [c54]Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland:
CTL Model Checking with the Sweep-line State Space Exploration Method. NIK 2017 - 2016
- [j23]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. 7(3): 93-114 (2016) - [j22]Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Trans. Petri Nets Other Model. Concurr. 11: 1-27 (2016) - [c53]Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. ANT/SEIT 2016: 329-336 - [c52]Lars Michael Kristensen, Vegard Veiset:
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Petri Nets 2016: 135-154 - [c51]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT 2016: 49-57 - [c50]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD 2016: 87-98 - [c49]Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz:
Forord til NIK 2016 og UDIT 2016. NIK 2016 - [e3]Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. CEUR Workshop Proceedings 1591, CEUR-WS.org 2016 [contents] - 2015
- [j21]Kurt Jensen, Lars Michael Kristensen:
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6): 61-70 (2015) - [c48]Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets 2015: 79-98 - [c47]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
A Diagrammatic Approach to Model Completion. AMT@MoDELS 2015: 56-65 - [c46]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK 2015 - [c45]Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus:
Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control. SimuTools 2015: 218-227 - [c44]Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen:
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. VECoS 2015: 81-96 - 2014
- [j20]Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. IEEE Commun. Surv. Tutorials 16(3): 1391-1412 (2014) - [j19]Sami Evangelista, Lars Michael Kristensen:
A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131(1): 27-53 (2014) - [c43]Lars Michael Kristensen:
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. PNSE @ Petri Nets 2014: 13-14 - [c42]Kent Inge Fagerland Simonsen, Lars Michael Kristensen:
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. DAIS 2014: 104-118 - [c41]Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen:
Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. FNC/MobiSPC 2014: 505-510 - [c40]Lars Michael Kristensen:
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. NIK 2014 - 2013
- [j18]Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci:
Preface. Fundam. Informaticae 122(1-2) (2013) - [j17]Sami Evangelista, Lars Michael Kristensen:
Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. 78(7): 778-795 (2013) - [j16]Lars Michael Kristensen, Kent Inge Fagerland Simonsen:
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. Trans. Petri Nets Other Model. Concurr. 7: 56-115 (2013) - [c39]Vegard Veiset, Lars Michael Kristensen:
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE 2013: 259-260 - [c38]Sami Evangelista, Lars Michael Kristensen, Laure Petrucci:
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA 2013: 208-223 - [c37]Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Øvsthus:
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. ISWPC 2013: 1-7 - [c36]Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF 2013: 227-242 - 2012
- [j15]Kurt Jensen, Lars Michael Kristensen, Thomas Mailund:
The sweep-line state space exploration method. Theor. Comput. Sci. 429: 169-179 (2012) - [j14]Michael Westergaard, Lars Michael Kristensen:
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. 5: 265-291 (2012) - [c35]Sami Evangelista, Lars Michael Kristensen:
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets 2012: 248-267 - [c34]Kent Inge Fagerland Simonsen, Lars Michael Kristensen:
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. MOMPES 2012: 106-125 - [c33]Sami Evangelista, Lars Michael Kristensen:
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN 2012: 43-61 - [e2]Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5 [contents] - 2011
- [c32]Sami Taktak, Lars Michael Kristensen:
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. GPC 2011: 127-137 - [e1]Lars Michael Kristensen, Laure Petrucci:
Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6709, Springer 2011, ISBN 978-3-642-21833-0 [contents] - 2010
- [j13]Sami Evangelista, Lars Michael Kristensen:
Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. 4: 21-41 (2010) - [c31]Lars Michael Kristensen:
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Petri Nets 2010: 39-42 - [c30]Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230
2000 – 2009
- 2009
- [b1]Kurt Jensen, Lars Michael Kristensen:
Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer 2009, ISBN 978-3-642-00283-0, pp. I-XI, 1-384 - [j12]Lars Michael Kristensen, Paul Fleischer:
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Informaticae 94(3-4): 361-386 (2009) - [j11]Sami Evangelista, Michael Westergaard, Lars Michael Kristensen:
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. 3: 189-215 (2009) - [c29]Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312 - [c28]Michael Westergaard, Lars Michael Kristensen:
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322 - [c27]Sami Evangelista, Lars Michael Kristensen:
Dynamic State Space Partitioning for External Memory Model Checking. FMICS 2009: 70-85 - 2008
- [j10]Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10(1): 5-14 (2008) - [j9]Lars Michael Kristensen, Kurt Jensen:
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 19-34 (2008) - [c26]Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen:
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Petri Nets 2008: 152-170 - [c25]Paul Fleischer, Lars Michael Kristensen:
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets 2008: 171-190 - [c24]Paul Fleischer, Lars Michael Kristensen:
Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16 - 2007
- [j8]Kurt Jensen, Lars Michael Kristensen, Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3-4): 213-254 (2007) - [j7]Brice Mitchell, Lars Michael Kristensen, Lin Zhang:
Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. 9(3-4): 255-267 (2007) - [j6]Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9(3-4): 371-391 (2007) - [c23]Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464 - 2006
- [j5]Lars Michael Kristensen, Karsten Schmidt, Antti Valmari:
Question-guided stubborn set methods for state properties. Formal Methods Syst. Des. 29(3): 215-251 (2006) - [c22]Jeppe Brønsted, Lars Michael Kristensen:
Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Annual Simulation Symposium 2006: 68-79 - 2005
- [c21]Charles A. Lakos, Lars Michael Kristensen:
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201 - [c20]J. Broensted, Klaus Marius Hansen, Lars Michael Kristensen:
An infrastructure for a traffic warning system. ICPS 2005: 136-145 - [c19]Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard:
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM 2005: 266-286 - 2004
- [j4]Lars Michael Kristensen, Søren Christensen:
Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. 17(3): 207-243 (2004) - [j3]Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34(1): 23-37 (2004) - [c18]Lars Michael Kristensen, Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483 - [c17]Lars Michael Kristensen, Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report 2004: 248-269 - 2003
- [c16]Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen:
Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets 2003: 626-685 - [c15]Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi:
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD 2003: 92-101 - [c14]Lars Michael Kristensen, Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM 2003: 319-337 - 2002
- [c13]Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202 - [c12]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373 - [c11]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387 - [c10]Lars Michael Kristensen, Thomas Mailund:
A Generalised Sweep-Line Method for Safety Properties. FME 2002: 549-567 - [c9]Lars Michael Kristensen, Thomas Mailund:
A Compositional Sweep-Line State Space Exploration Method. FORTE 2002: 327-343 - 2001
- [c8]