2008 |
34 | EE | 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 |
33 | EE | Paul Fleischer,
Lars Michael Kristensen:
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Petri Nets 2008: 171-190 |
32 | EE | Paul Fleischer,
Lars Michael Kristensen:
Modelling the configuration/management API middleware using coloured petri nets.
SimuTools 2008: 16 |
31 | EE | 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) |
30 | EE | 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) |
2007 |
29 | EE | Michael Westergaard,
Lars Michael Kristensen,
Gerth Stølting Brodal,
Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking.
ICATPN 2007: 445-464 |
28 | EE | 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) |
27 | EE | 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) |
26 | EE | 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) |
2006 |
25 | EE | 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 |
24 | EE | Lars Michael Kristensen,
K. Schmidt,
Antti Valmari:
Question-guided stubborn set methods for state properties.
Formal Methods in System Design 29(3): 215-251 (2006) |
2005 |
23 | EE | Charles A. Lakos,
Lars Michael Kristensen:
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.
ATVA 2005: 187-201 |
22 | EE | 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 |
21 | EE | Lars Michael Kristensen,
Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
ICATPN 2004: 474-483 |
20 | EE | 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 |
19 | EE | 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) |
18 | EE | 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) |
2003 |
17 | EE | 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 |
16 | EE | Lars Michael Kristensen,
Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage.
ICFEM 2003: 319-337 |
15 | EE | 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 |
2002 |
14 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol.
EC-Web 2002: 377-387 |
13 | EE | Lars Michael Kristensen,
Thomas Mailund:
A Generalised Sweep-Line Method for Safety Properties.
FME 2002: 549-567 |
12 | EE | Lars Michael Kristensen,
Thomas Mailund:
A Compositional Sweep-Line State Space Exploration Method.
FORTE 2002: 327-343 |
11 | EE | Steven Gordon,
Lars Michael Kristensen,
Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol.
ICATPN 2002: 182-202 |
10 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol.
ICATPN 2002: 352-373 |
2001 |
9 | EE | Louise Lorentsen,
Lars Michael Kristensen:
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method.
ACSD 2001: 211-220 |
8 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
Condensed State Spaces for Timed Petri Nets.
ICATPN 2001: 101-120 |
7 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
A Sweep-Line Method for State Space Exploration.
TACAS 2001: 450-464 |
2000 |
6 | EE | Lars Michael Kristensen,
Antti Valmari:
Improved Question-Guided Stubborn Set Methods for State Properties.
ICATPN 2000: 282-302 |
5 | EE | Louise Lorentsen,
Lars Michael Kristensen:
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.
ICATPN 2000: 346-366 |
1999 |
4 | EE | 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) |
1998 |
3 | EE | Lars Michael Kristensen,
Antti Valmari:
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.
ICATPN 1998: 104-123 |
2 | EE | Lars Michael Kristensen,
Søren Christensen,
Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets.
STTT 2(2): 98-132 (1998) |
1997 |
1 | | Søren Christensen,
Jens Bæk Jørgensen,
Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets.
TACAS 1997: 209-223 |