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, PS; 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]
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, PDF]
Slides from University of Aarhus course“Advanced Behaviour Modelling”. Aarhus, Denmark, November 2006.
M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [Keynote, 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, behaving well [Keynote, 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.
