Michael Westergaard

According to our database, Michael Westergaard authored at least 36 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Designing software for operational decision support through coloured Petri nets.

Fabrizio Maria Maggi, Michael Westergaard

Enterp. Inf. Syst., 2017

2014

Using Timed Automata for <i>a Priori</i> Warnings and Planning for Timed Declarative Process Models.

Fabrizio Maria Maggi, Michael Westergaard

Int. J. Cooperative Inf. Syst., 2014

2013

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.

Michael Westergaard, Dirk Fahland, Christian Stahl

Trans. Petri Nets Other Model. Concurr., 2013

Strategies for Modeling Complex Processes Using Colored Petri Nets.

Wil M. P. van der Aalst, Christian Stahl, Michael Westergaard

Trans. Petri Nets Other Model. Concurr., 2013

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.

Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions.

Michael Westergaard, Christian Stahl

Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms.

Michael Westergaard, Tijs Slaats

Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Mixing Paradigms for More Comprehensible Models.

Michael Westergaard, Tijs Slaats

Proceedings of the Business Process Management - 11th International Conference, 2013

Beautiful Workflows: A Matter of Taste?

Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers

Proceedings of the Beauty of Functional Code, 2013

CPN Tools 4: Multi-formalism and Extensibility.

Michael Westergaard

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

A Graphical Approach to Component-Based and Extensible Model Checking Platforms.

Michael Westergaard, Lars Michael Kristensen

Trans. Petri Nets Other Model. Concurr., 2012

Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.

Michael Westergaard

Trans. Petri Nets Other Model. Concurr., 2012

Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.

Michael Westergaard, Fabrizio Maria Maggi

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Generating Event Logs with Workload-Dependent Speeds from Simulation Models.

Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst

Proceedings of the Advanced Information Systems Engineering Workshops, 2012

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification.

Michael Westergaard, Dirk Fahland, Christian Stahl

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets.

Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods.

Thomas Mailund, Anders E. Halager, Michael Westergaard

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Runtime Verification of LTL-Based Declarative Process Models.

Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst

Proceedings of the Runtime Verification - Second International Conference, 2011

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.

Michael Westergaard, Fabrizio Maria Maggi

Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.

Michael Westergaard

Proceedings of the Business Process Management - 9th International Conference, 2011

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.

Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst

Proceedings of the Business Process Management - 9th International Conference, 2011

Process Mining Manifesto.

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn

Proceedings of the Business Process Management Workshops, 2011

Efficient Implementation of Prioritized Transitions for High-level Petri Nets.

Michael Westergaard, Henricus M. W. (Eric) Verbeek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.

Michael Westergaard, Fabrizio Maria Maggi

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets.

Michael Westergaard

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models.

Michael Westergaard

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.

Lars Michael Kristensen, Michael Westergaard

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.

Sami Evangelista, Michael Westergaard, Lars Michael Kristensen

Trans. Petri Nets Other Model. Concurr., 2009

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.

Michael Westergaard, Lars Michael Kristensen

Proceedings of the Applications and Theory of Petri Nets, 2009

ASAP: An Extensible Platform for State Space Analysis.

Michael Westergaard, Sami Evangelista, Lars Michael Kristensen

Proceedings of the Applications and Theory of Petri Nets, 2009

2007

A Game-theoretic Approach to Behavioural Visualisation.

Michael Westergaard

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

The ComBack Method - Extending Hash Compaction with Backtracking.

Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

The BRITNeY Suite Animation Tool.

Michael Westergaard, Kristian Bisgaard Lassen

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.

Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.

Thomas Mailund, Michael Westergaard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.

Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen

Proceedings of the Applications and Theory of Petri Nets 2003, 2003