Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. / Westergaard, Michael ; Kristensen, Lars Michael ; Kuusela, Maija.

I: 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference. red. / Claudia Frydman ; Francesco Longo ; Khalid Mekouar. Universidad De La Laguna, 2009. s. 47-53.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

JoSEL: A Job Specification and Execution Language for Model Checking. / Westergaard, Michael ; Kristensen, Lars Michael.

I: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Department of Computer Science, 2008. s. 7-26 (DAIMI; PB-588).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. / Evangelista, Sami ; Westergaard, Michael ; Kristensen, Lars Michael.

I: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Department of Computer Science, 2008. s. 63-82 (DAIMI; PB-588).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Two Interfaces to the CPN Tools Simulator. / Westergaard, Michael ; Kristensen, Lars Michael.

I: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Department of Computer Science, 2008. s. 83-102 (DAIMI; PB-588).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

A Game-theoretic View on Behavioural Visualisation. / Westergaard, Michael.

I: Electronic Notes in Theoretical Computer Science: Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). red. / Antonio Cerone ; Paul Curzon. Vol. 208 Pergamon Press, 2007. s. 113-129.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

The ComBack Method - Extending Hash Compaction with Backtracking. / Westergaard, Michael ; Kristensen, Lars Michael ; Brodal, Gerth Stølting ; Arge, Lars.

I: Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Springer Verlag. ISBN-rødder: 0-978, 2007. s. 455-464 (Lecture Notes in Computer Science).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. / Westergaard, Michael ; Lassen, Kristian Bisgaard.

I: Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI. 2006. s. 119-136.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Game Coloured Petri Nets. / Westergaard, Michael.

I: Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. red. / Kurt Jensen. Vol. PB-579 Aarhus Universitetsforlag, 2006. s. 281-301.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

The BRITNeY Suite: A Platfor for Experiments. / Westergaard, Michael.

I: Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: CPN'06 workshop. Vol. www.daimi.au.dk/CPnets/workshop06/cpn/papers/ Aarhus Universitetsforlag, 2006. s. 97-116.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

The BRITNeY Suite Animation Tool. / Westergaard, Michael ; Lassen, Kristian Bisgaard.

I: Petri Nets and Other Models of Concurrency ICATPN 2006. Vol. 4024 Springer, 2006. s. 331-340.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. / Kristensen, Lars Michael ; Westergaard, Michael ; Nørgaard, Peder Christian.

I: IFM 2005. Springer LNCS 3771, 2005. s. 266-286.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Obtaining Memory-Efficient Reachability Graph. / Mailund, T. ; Westergaard, M..

I: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. red. / Kurt Jensen ; Andreas Podelski. Springer Verlag. ISBN-rødder: 0-978, 2004. s. 177-191 (Lecture Notes in Computer Science).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. / Mailund, Thomas ; Westergaard, Michael.

I: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). 2004. s. 177-191.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Towards a High-level Petri Net Type Type Definition. / Westergaard, Michael ; Kindler, Ekkart (Redaktør).

I: Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets. 2004.

Publikation: Forskning - peer review › Konferencebidrag i proceedings

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. / Ratzer, Anne Vinter ; Wells, Lisa Marie ; Lassen, Henry Michael ; Laursen, Mads ; Qvortrup, Jacob Frank ; Stissing, Martin Stig ; Westergaard, Michael ; Christensen, Søren ; Jensen, Kurt ; Aalst, Willibrordus Martinus Pancratius van der (Redaktør) ; Best, Elke (Redaktør).

I: Applications and Theory of Petri Nets 2003. red. / Wil van der Aalst ; Eike Best. Vol. 2679 Springer, 2003. s. 450-462 (Lecture Notes in Computer Science).

Publikation: Forskning - peer review › Konferencebidrag i proceedings

Supporting Multiple Pointing Devices in Microsoft Windows. / Westergaard, Michael.

I: Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows. red. / Luca Cardelli. Microsoft Press, 2002. s. 11. Talk.

Publikation: Forskning › Konferencebidrag i proceedings