Some of my publications can be seen on DBLP, via CiteSeer, or in my official PURE page.
Journals
- S. Evangelista, M. Westergaard, and L.M. Kristensen
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
Transactions on Petri Nets and Other Models of Concurrency, 2009. To appear.
Conferences, reviewed
- M. Westergaarda, L.M. Kristensen, and M. Kuusela
Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation
Proceedings of 21st European Modeling and Simulation Symposium. Puerto de la Cruz, Tenerife - Canary Islands, September 2009. - M. Westergaarda and L.M. Kristensen
The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator [PDF]
Proceedings of 30th International Conference on Application and Theory of Petri Nets. Paris, France, June 2009. - M. Westergaard, S. Evangelista, and L.M. Kristensen
ASAP: An Extensible Platform for State Space Analysis [PDF]
Proceedings of 30th International Conference on Application and Theory of Petri Nets. Paris, France, June 2009. - M. Westergaard, L.M. Kristensen, G.S. Brodal, and L. Arge
The ComBack Method -- Extending Hash Compaction with Backtracking [PDF, PostScript]
Proceedings of 28th International Conference on Application and Theory of Petri Nets. Siedlce, Poland, June 2007. - M. Westergaard and K.B. Lassen
The BRITNeY Suite Animation Tool [PDF, PostScript; slides: KeyNote.zip, PDF]
Proceedings of 27th International Conference on Application and Theory of Petri Nets. Turku, Finland, June 2006. - L.M. Kristensen, M. Westergaard, and P.C. Nørgaard
Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks [PDF, PostScript; slides: KeyNote.zip, PDF]
Proceedings of Fifth International Conference on Integrated Formal Methods. Eindhoven, The Netherlands, November, December 2005. - T. Mailund and M. Westergaard
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method [PDF, PostScript; slides: PowerPoint]
Proceedings of Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Barcelona, Spain, March, April 2004. - A.V. Ratzer, L. Wells, H.M. Lassen, M. Laursen, J.F. Qvortrup, M.S. Stissing, M. Westergaard, S. Christensen, and K. Jensen
CPN Tools for Editing, Simulating and Analysing Coloured Petri Nets [PDF]
Proceedings of 24th International Conference on Application and Theory of Petri Nets. Eindhoven, The Netherlands, June 2003.
Workshops, reviewed
This includes my much sought-after paper "Supporting Multiple Pointing Devices in Microsoft Windows".
Please refer to my list of workshop publications.
Theses, Technical Reports, Other, and Slides from other presentations
Please refer to my list of secondary publications.
