Publications

This post has 422 words. Reading it will take approximately 2 minutes.

Bacon Number 4
Erdös Number 3
h-index 20
i10-index 30
Citations ≥ 2300

Some of my publications can be seen on DBLP, via CiteSeer, or on Google Scholar.

 
”Journals”
[bibtex file=journals.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”]
”Conferences”
❗ These are all reviewed papers published at conferences.  ❗
[bibtex file=conferences.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”]
”Tools”
❗ These are all reviewed tool papers published at conferences. ❗
[bibtex file=tools.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”]
”Workshops”
❗ These are all reviewed papers published at workshops. ❗
[bibtex file=workshops.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”]
”Theses”
[bibtex file=theses.bib order=desc sort=year sort=firstauthor order=asc highlight=”M. Westergaard”]
”Technical
[bibtex file=invited.bib,tech.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”]
”Slides”

L.M. Kristensen and M. Westergaard

State space exploration of Coloured Petri Nets and the ASAP model checking platform

  • Part 1: Introduction [PDF]
  • Part 2: User perspective [PDF, MOV]
  • Part 3: Advanced methods [PDF]
  • Part 4: Research perspective [PDF, MOV]

Slides from tutorial at the Petri net confenrence. Braga, Portugal, June 2010.

M. Westergaard

Stuff About CPN Tools [PDF with builds, PDF]

Slides from presentation of the structure of CPN Tools. Eindhoven, Holland, April 2010.

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.