ASCoVeCo Project Homepage

DAIMI / Projects / ASCoVeCo / Publications

Journal Papers

P.Fleischer and L.M. Kristensen. Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Vol. 94, No. 3-4 of Fundamenta Informaticae, pp. 361-386, IOS Press, 2009.
S. Evangelista, M.Westergaard, and L.M. Kristensen. The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. In of Transactions on Petri Nets and Other Models of Concurrency Vol. 3, pp. 189-215. Subseries of LNCS, Springer, 2009.
K. Jensen, L.M. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, Vol 9, No. 3-4, pp. 213-254. Springer-Verlag, 2007.
G.E. Gallasch, J. Billington, S. Vanit-Anunchai, and L.M. Kristensen. Checking Safety Properties On-the-fly with the Sweep-Line Method. International Journal on Software Tools for Technology Transfer, Vol 9, No. 3-4, pp. 371-392. Springer-Verlag, 2007.

Conference Papers

S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory Model Checking. In Proc. Formal Methods for Industrial Critical Systems, Vol. 5825 of Springer Lecture Notes in Computer Science, pp. 70-85. Springer-Verlag, 2009.
M. Westergaard, S. Evangelista, and L.M. Kristensen. ASAP: An Extensible Platform for State Space Analysis. In Proc. of 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5606 of Springer Lectures Notes in Computer Science, pp. 303-312. Springer-Verlag, 2009.
M. Westergaard and L.M. Kristensen. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In Proc. of 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5606 of Springer Lectures Notes in Computer Science, pp. 313-322. Springer-Verlag, 2009.
K.L. Espensen, M.K. Kjeldsen, and L. M. Kristensen. Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In Proc. of 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5062 of Springer Lectures Notes in Computer Science, pp. 152-170. Springer-Verlag, 2008.
P. Fleischer and L.M. Kristensen. Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Proc. of 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5062 of Springer Lectures Notes in Computer Science, pp. 171-190. Springer-Verlag, 2008.
S. Evangelista. Dynamic Delayed Duplicate Detection for External Memory Breadth-First Search. In Proc. of SPIN Workshop on Model Checking of Software. Lecture Notes in Computer Science, Vol. 5156, pp. 77-94. Springer-Verlag, 2008.
M. Westergaard, L.M. Kristensen, G.S. Brodal and L. Arge. The ComBack Method - Extending Hash Compaction with Backtracking. In Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 4546 of Springer Lectures Notes in Computer Science, pp. 445-464. Springer-Verlag, 2007.

Reviewed Workshop Papers

S. Evangelista and L.M. Kristensen. Search-Order Independent State Caching. In Proc. of 10th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 219-240, 2009.
S. Evangelista, M.Westergaard, and L.M. Kristensen. The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. In Proc. of 9th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 63-82, 2008.
M. Westergaard and L.M. Kristensen. JoSEL: A Visual Language for Specification and Execution of Verification Jobs in Model Checking. In Proc. of 9th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 7-26, 2008.
P. Fleischer and L.M. Kristensen. Modelling the Configuration/Management API Middleware Using Coloured Petri Nets. In Proc. of 1st International Workshop on Petri Nets Tools and Applications, 2008.
L.M. Kristensen and M. Westergaard. The ASAP Platform: Next Generation Tool Support for State Space Analysis. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1-6, 2007.
K.L. Espensen, M.K. Kjeldsen, and L. M. Kristensen. Towards Modelling and Verification of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 243-263, 2007.
P. Fleischer and L.M. Kristensen. Towards Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 9-28, 2007.
P. Fleischer and L.M. Kristensen. Modelling the Configuration/Management API Middleware using Coloured Petri Nets. Proc. of PNTAP Workshop, International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, March 2008.
M. Westergaard A Game-theoretic View on Behavioural Visualisation. In Proc of 2nd International Workshop on Formal Methods for Interactive Systems. Lancaster, United Kingdom, September 2007.
P. Fleischer. Towards a Formal Specification of a Generic Access Network Architeture using Coloured Petri Nets. In Proc. of Workshop on Petri Nets and Software Engineering (PNSE'07), pp. 231-232, 2007.

Tutorials and Presentations

M. Westergaard and L.M. Kristensen. The ASCoVeCo project: State space Methods and Tool Support. Tutorial at the 10th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 2009.
M. Westergaard and Sami Evengelista. The ASAP Platform: Next Generation of Tool Support for State Space Analysis. Invited tutorial at the 9th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 2008.
L.M. Kristensen. The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models. Workshop on Petri Nets and Distributed Systems, June 2008.
L.M. Kristensen. Let's Aim at Going All the Way: From Formal Modelling and Verification to Implementation of Communication Protocols. Bergen, 2007, Hamburg, 2008.
L.M. Kristensen. The ASCoVeCo Project: Exploring Large State Spaces. DAIMI Research Seminar, November 2, 2007.
L.M. Kristensen and M. Westergaard. The ASAP Platform: Next Generation of Tool Support for State Space Analysis. Invited tutorial at the 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 2007.

Material from the tutorial:
- Part 1+2: Introduction and Background
- Part 3: Demonstration af ASAP (video)
- Part 4: The Job Execution Languge (JEL)
- Part 5: The Exclipse Rich Client Platform (RCP)
- Part 6: Simulator Interface
- Part 7: Test-suite
- Part 8: The ComBack Method
- Part 9: Outlook
L.M. Kristensen. Discovering the Critical Errors in a System Prior to Deployment. Invited talk at the annual Industrial Software Development conference organised by the Danish Technological Institute, June 2007.
L.M. Kristensen. Modelling and Verification of Communication Protocols using Coloured Petri Nets. Invited tutorial at FIRST PhD School on Verification of Protocols for Security and Mobility. University of Copenhagen, October 2006.