The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lars Michael Kristensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Application of Coloured Petri Nets in System Development. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:626-685 [Conf]
  2. Louise Lorentsen, Lars Michael Kristensen
    Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:211-220 [Conf]
  3. Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
    Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:92-101 [Conf]
  4. Jeppe Brønsted, Lars Michael Kristensen
    Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2006, pp:68-79 [Conf]
  5. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
    Condensed State Spaces for Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:101-120 [Conf]
  6. Steven Gordon, Lars Michael Kristensen, Jonathan Billington
    Verification of a Revised WAP Wireless Transaction Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:182-202 [Conf]
  7. Lars Michael Kristensen, Laure Petrucci
    An Approach to Distributed State Space Exploration for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:474-483 [Conf]
  8. Lars Michael Kristensen, Antti Valmari
    Improved Question-Guided Stubborn Set Methods for State Properties. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:282-302 [Conf]
  9. Lars Michael Kristensen, Antti Valmari
    Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:104-123 [Conf]
  10. Louise Lorentsen, Lars Michael Kristensen
    Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:346-366 [Conf]
  11. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal Service Specification for the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:352-373 [Conf]
  12. Charles A. Lakos, Lars M. Kristensen
    State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:187-201 [Conf]
  13. Lars Michael Kristensen, Kurt Jensen
    Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:248-269 [Conf]
  14. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal and Executable Specification of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2002, pp:377-387 [Conf]
  15. Lars Michael Kristensen, Thomas Mailund
    A Generalised Sweep-Line Method for Safety Properties. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:549-567 [Conf]
  16. Lars Michael Kristensen, Thomas Mailund
    A Compositional Sweep-Line State Space Exploration Method. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:327-343 [Conf]
  17. Lars Michael Kristensen, Thomas Mailund
    Efficient Path Finding with the Sweep-Line Method Using External Storage. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:319-337 [Conf]
  18. Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
    Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:266-286 [Conf]
  19. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
    A Sweep-Line Method for State Space Exploration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:450-464 [Conf]
  20. Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
    Design/CPN - A Computer Tool for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:209-223 [Conf]
  21. Lars Michael Kristensen, K. Schmidt, Antti Valmari
    Question-guided stubborn set methods for state properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:215-251 [Journal]
  22. Lars Michael Kristensen, Søren Christensen
    Implementing Coloured Petri Nets Using a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:207-243 [Journal]
  23. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
    The Practitioner's Guide to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:98-132 [Journal]
  24. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:7, pp:714-732 [Journal]
  25. Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
    Exploiting equivalence reduction and the sweep-line method for detecting terminal states. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2004, v:34, n:1, pp:23-37 [Journal]
  26. Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
    The ComBack Method - Extending Hash Compaction with Backtracking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:445-464 [Conf]
  27. Kurt Jensen, Lars Michael Kristensen, Lisa Wells
    Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:213-254 [Journal]
  28. Brice Mitchell, Lars Michael Kristensen, Lin Zhang
    Formal specification and state space analysis of an operational planning process. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:255-267 [Journal]
  29. Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
    Checking safety properties on-the-fly with the sweep-line method. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:371-391 [Journal]

  30. Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. [Citation Graph (, )][DBLP]


  31. Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  32. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. [Citation Graph (, )][DBLP]


  33. ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]


  34. A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. [Citation Graph (, )][DBLP]


  35. Dynamic State Space Partitioning for External Memory Model Checking. [Citation Graph (, )][DBLP]


  36. Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. [Citation Graph (, )][DBLP]


  37. Modelling the configuration/management API middleware using coloured petri nets. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002