Westergaard, M. (2007). Looking good, behaving well: behavioural verification and visulaisation of formal models of concurrent systems. Aarhus: Aarhus University, 182 pp.

Westergaard, M. & Kristensen, L.M. (2012). A graphical approach to component-based and extensible model checking platforms. In Jensen, K., Donatelli, S. & Kleijn, J. (Eds.), Transactions on Petri Nets and Other Models of Concurrency V, (pp. 265-291). Berlin: Springer.

Evangelista, S., Westergaard, M. & Kristensen, L.M. (2009). The ComBack method revisited: caching strategies and extension with delayed duplicate detection. In Jensen, K., Billington, J. & Koutny, M. (Eds.), Transactions on Petri Nets and Other Models of Concurrency III, (pp. 189-215). Berlin: Springer.

Nakatumba, J., Westergaard, M. & Aalst, W.M.P. van der (2012). Testing algorithms for operational support using colored Petri nets. Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings), (Lecture Notes in Computer Science). Berlin: Springer, submitted / in press.

Mailund, T., Halager, A. & Westergaard, M. (2012). Using colored Petri nets to construct coalescent hidden Markov models: automatic translation from demographic specifications to efficient inference methods. Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings), (Lecture Notes in Computer Science, ..., pp. ...-...). Berlin: Springer, submitted / in press.

Maggi, F.M., Westergaard, M., Montali, M. & Aalst, W.M.P. van der (2012). Runtime verification of LTL-based declarative process models. 2nd International Conference on Runtime Verification (RV 2011, San Francisco LA, USA, September 27-30, 2011), (Lecture Notes in Computer Science, ..., pp. ...-...). Berlin: Springer, submitted / in press.

Aalst, W.M.P. van der, Adriansyah, A., Alves De Medeiros, A.K., Arcieri, F., Baier, T., Blickle, T., Bose, J.C., Brand, P.C.W. van den, Brandtjen, R., Buijs, J.C.A.M., Burattin, A., Carmona, J., Castellanos, M., Claes, J., Cook, J., Costantini, N., Curbera, F., Damiani, E., Leoni, M. de, Delias, P., Dongen, B.F. van, Dumas, M., Dustdar, S., Fahland, D., Ferreira, D.R., Gaaloul, W., Geffen, F. van, Goel, S., Gunther, C.W., Guzzo, A., Harmon, P., Hofstede, A.H.M. ter, Hoogland, J., Ingvaldsen, J.E., Kato, K., Kuhn, R., Kumar, A., La Rosa, M., Maggi, F.M., Malerba, D., Mans, R.S., Manuel, A., McCreesh, M., Mello, P., Mendling, J., Montali, M., Motahari Nezhad, H., Muehlen, M. zur, Munoz-Gama, J., Pontieri, L., Ribeiro, J.T.S., Rozinat, A., Seguel Peréz, H., Seguel Pérez, R.E., Sepúlveda, M., Sinur, J., Soffer, P., Song, M.S., Sperduti, A., Stilo, G., Stoel, C., Swenson, K., Talamo, M., Tan, W., Turner, C., Vanthienen, J., Varvaressos, G., Verbeek, H.M.W., Verdonk, M.C., Vigo, R., Wang, J., Weber, B., Weidlich, M., Weijters, A.J.M.M., Wen, L., Westergaard, M. & Wynn, M.T. (2012). Process Mining Manifesto. Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I), (Lecture Notes in Business Information Processing, 99, pp. 169-194). Berlin: Springer.

Westergaard, M. & Maggi, F.M. (2011). Modeling and verification of a protocol for operational support using coloured Petri nets. Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings), (Lecture Notes in Computer Science, 6709, pp. 169-188). Berlin: Springer.

Westergaard, M. (2011). Access/CPN 2.0 : a high-level interface to coloured Petri net models. Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings), (Lecture Notes in Computer Science, 6709, pp. 328-337). Berlin: Springer.

Westergaard, M. (2011). Better algorithms for analyzing and enacting declarative workflow languages using LTL. Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings), (Lecture Notes in Computer Science, 6896, pp. 83-98). Berlin: Springer.

Maggi, F.M., Montali, M., Westergaard, M. & Aalst, W.M.P. van der (2011). Monitoring business constraints with linear temporal logic : an approach based on colored automata. Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings), (Lecture Notes in Computer Science, 6896, pp. 132-147). Berlin: Springer.

Kristensen, L.M. & Westergaard, M. (2010). Automatic structure-based code generation from coloured Petri nets: A proof of concept. Formal Methods for Industrial Critical Systems (15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings), (Lecture Notes in Computer Science, 6371, pp. 215-230). Berlin: Springer.

Westergaard, M., Evangelista, S. & Kristensen, L.M. (2009). ASAP: an extensible platform for state space analysis. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France, (Lecture Notes in Computer Science, 5606, pp. 303-312). Berlin: Springer.

Westergaard, M. & Kristensen, L.M. (2009). The Access/CPN framework: a tool for interacting with the CPN tools simulator. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), 22-26 June 2009, Paris, France, (Lecture Notes in Computer Science, 5606). Berlin: Springer.

Westergaard, M. (2008). A game-theoretic approach to behavioural visualisation. Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007, Lancaster, UK, September 4, 2007), (Electronic Notes in Theoretical Computer Science, 208, pp. 113-129).

Westergaard, M., Kristensen, L.M., Brodal, G.S. & Arge, L. (2007). The ComBack method: extending hash compaction with backtracking. Proceedings of the 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), 25-29 June 2007, Siedcle, Poland, (Lecture Notes in Computer Science, 4546, pp. 445-464). Berlin: Springer.

Westergaard, M. & Lassen, K.B. (2006). The BRITNeY suite animation tool. Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006), (Lecture Notes in Computer Science, 4024, pp. 431-440). Berlin: Springer.

Kristensen, L.M., Westergaard, M. & Norgaard, P.C. (2005). Model-based prototyping of an interoperability protocol for mobile ad-hoc networks. Proceedings of the 5th International Conference on Integrated Formal Methods (IFM 2005), 29 November - 02 December 2005, Eindhoven, The Netherlands, (Lecture Notes in Computer Science, 3771, pp. 266-286). Berlin: Springer.

Mailund, T. & Westergaard, M. (2004). Obtaining memory-efficient reachability graph representations using the sweep-line method. Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), Part of ETAPS 2004, 29 March - 2 April 2004, Barcelona, Spain, (Lecture Notes in Computer Science, 2988, pp. 177-191). Berlin: Springer.

Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S. & Jensen, K. (2003). CPN tools for editing, simulating, and analysing coloured Petri nets. Proceedings of the 24th International Conference on Applications and Theory of Petri Nets 2003 (ICATPN 2003), 23-27 June 2003, Eindhoven, The Netherlands, (Lecture Notes in Computer Science, 2679, pp. 450-462). Berlin: Springer.