Journals and Conferences, reviewed
Please refer to my list of journal and conference publications.
Workshops, reviewed
Please refer to my list of workshop publications.
Theses
- M. Westergaard
Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems [More information]
PhD Dissertation, Department of Computer Science, University of Aarhus, Denmark. July 2007. - M. Westergaard
Building Verifiable Software Prototypes Using Coloured Petri Nets [PDF, PostScript; slides: PowerPoint]
Progress report, Department of Computer Science, University of Aarhus, Denmark. June 2005.
Technical Reports
- K.B. Lassen and M. Westergaard
Embedding Java Types in CPN Tools [PDF]
Other
- L.M. Kristenisen and M. Westergaard
The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis [PDF]
Extended Abstract for Invited Tutorial at Eigth Workshop in Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2007.
Slides from other presentations
- M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [KeyNote.zip, PDF]
Slides from University of Aarhus course"Advanced Behaviour Modelling". Aarhus, Denmark, November 2006. - M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [KeyNote.zip, PDF]
Slides from IT University of Copenhagen PhD School "Verification of Protocols for Security and Mobility". Copenhagen, Denmark, October 2006. - M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [PDF]
Slides from University of Aarhus undergraduate course "Computer Science - in perspective". Århus, Denmark, September 2006. - M. Westergaard
Looking good, bahaving well [KeyNote.zip, PDF]
Slides from Brics Seminar. Aalborg, Denmark, February 2006. - M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [PDF]
Slides from University of aarhus undergraduate course "Computer Science - in perspective". Århus, Denmark, September 2005. - M. Westergaard
Petri-net Based Animation with CPN Tools and BRITNeY animation [PDF]
Slides from Tutorial on CPN Tools at Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2004.
