Lars Michael Kristensen

Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci: Preface. Fundam. Inform. 122(1-2) (2013)

Kurt Jensen, Lars Michael Kristensen, Thomas Mailund: The sweep-line state space exploration method. Theor. Comput. Sci. 429: 169-179 (2012)

Michael Westergaard, Lars Michael Kristensen: A Graphical Approach to Component-Based and Extensible Model Checking Platforms. T. Petri Nets and Other Models of Concurrency 5: 265-291 (2012)

Sami Evangelista, Lars Michael Kristensen: Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets 2012: 248-267

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

Sami Evangelista, Lars Michael Kristensen: Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN 2012: 43-61

Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (Eds.): Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, isbn 978-3-642-35178-5

Lars Michael Kristensen, Laure Petrucci (Eds.): 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

Sami Evangelista, Lars Michael Kristensen: Search-Order Independent State Caching. T. Petri Nets and Other Models of Concurrency 4: 21-41 (2010)

Lars Michael Kristensen: A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Petri Nets 2010: 39-42

Lars Michael Kristensen, Michael Westergaard: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230

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

Lars Michael Kristensen, Paul Fleischer: Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Fundam. Inform. 94(3-4): 361-386 (2009)

Sami Evangelista, Michael Westergaard, Lars Michael Kristensen: The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. T. Petri Nets and Other Models of Concurrency 3: 189-215 (2009)

Michael Westergaard, Sami Evangelista, Lars Michael Kristensen: ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312

Michael Westergaard, Lars Michael Kristensen: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322

Sami Evangelista, Lars Michael Kristensen: Dynamic State Space Partitioning for External Memory Model Checking. FMICS 2009: 70-85

Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch: Model-based development of a course of action scheduling tool. STTT 10(1): 5-14 (2008)

Lars Michael Kristensen, Kurt Jensen: Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 19-34 (2008)

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

Paul Fleischer, Lars Michael Kristensen: Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets 2008: 171-190

Paul Fleischer, Lars Michael Kristensen: Modelling the configuration/management API middleware using coloured petri nets. SimuTools 2008: 16

Kurt Jensen, Lars Michael Kristensen, Lisa Wells: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9(3-4): 213-254 (2007)

Brice Mitchell, Lars Michael Kristensen, Lin Zhang: Formal specification and state space analysis of an operational planning process. STTT 9(3-4): 255-267 (2007)

Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen: Checking safety properties on-the-fly with the sweep-line method. STTT 9(3-4): 371-391 (2007)

Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge: The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464

Lars Michael Kristensen, Karsten Schmidt, Antti Valmari: Question-guided stubborn set methods for state properties. Formal Methods in System Design 29(3): 215-251 (2006)

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

Charles A. Lakos, Lars Michael Kristensen: State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201

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

Lars Michael Kristensen, Søren Christensen: Implementing Coloured Petri Nets Using a Functional Programming Language. Higher-Order and Symbolic Computation 17(3): 207-243 (2004)

Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund: Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 23-37 (2004)

Lars Michael Kristensen, Laure Petrucci: An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483

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

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

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

Lars Michael Kristensen, Thomas Mailund: Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM 2003: 319-337

Steven Gordon, Lars Michael Kristensen, Jonathan Billington: Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387

Lars Michael Kristensen, Thomas Mailund: A Generalised Sweep-Line Method for Safety Properties. FME 2002: 549-567

Lars Michael Kristensen, Thomas Mailund: A Compositional Sweep-Line State Space Exploration Method. FORTE 2002: 327-343

Louise Lorentsen, Lars Michael Kristensen: Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD 2001: 211-220

Søren Christensen, Lars Michael Kristensen, Thomas Mailund: Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120

Søren Christensen, Lars Michael Kristensen, Thomas Mailund: A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464

Lars Michael Kristensen, Antti Valmari: Improved Question-Guided Stubborn Set Methods for State Properties. ICATPN 2000: 282-302

Louise Lorentsen, Lars Michael Kristensen: Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN 2000: 346-366

Jens Bæk Jørgensen, Lars Michael Kristensen: Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distrib. Syst. 10(7): 714-732 (1999)

Lars Michael Kristensen, Søren Christensen, Kurt Jensen: The Practitioner's Guide to Coloured Petri Nets. STTT 2(2): 98-132 (1998)

Lars Michael Kristensen, Antti Valmari: Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. ICATPN 1998: 104-123

Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen: Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223