default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Westergaard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j7]Fabrizio Maria Maggi, Michael Westergaard:
Designing software for operational decision support through coloured Petri nets. Enterp. Inf. Syst. 11(5): 576-596 (2017)- 2014
- [j6]Fabrizio Maria Maggi, Michael Westergaard:
Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models. Int. J. Cooperative Inf. Syst. 23(1) (2014) - 2013
- [j5]Wil M. P. van der Aalst
, Christian Stahl, Michael Westergaard:
Strategies for Modeling Complex Processes Using Colored Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 6-55 (2013) - [j4]Michael Westergaard, Dirk Fahland, Christian Stahl:
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. Trans. Petri Nets Other Model. Concurr. 8: 180-202 (2013) - [c29]Michael Westergaard:
CPN Tools 4: Multi-formalism and Extensibility. Petri Nets 2013: 400-409 - [c28]Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers:
Beautiful Workflows: A Matter of Taste? The Beauty of Functional Code 2013: 211-233 - [c27]Michael Westergaard, Tijs Slaats:
Mixing Paradigms for More Comprehensible Models. BPM 2013: 283-290 - [c26]Michael Westergaard, Tijs Slaats:
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. BPM (Demos) 2013 - [c25]Michael Westergaard, Christian Stahl:
Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) 2013 - [c24]Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard:
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC 2013: 358-373 - 2012
- [j3]Michael Westergaard, Lars Michael Kristensen:
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. 5: 265-291 (2012) - [j2]Michael Westergaard:
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 6: 146-168 (2012) - [c23]Thomas Mailund, Anders E. Halager, Michael Westergaard:
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. Petri Nets 2012: 32-50 - [c22]Michael Westergaard, Dirk Fahland, Christian Stahl:
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. PNSE 2012: 32-46 - [c21]Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst:
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Petri Nets 2012: 308-327 - [c20]Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst:
Generating Event Logs with Workload-Dependent Speeds from Simulation Models. CAiSE Workshops 2012: 383-397 - [c19]Michael Westergaard, Fabrizio Maria Maggi:
Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models. OTM Conferences (1) 2012: 250-267 - 2011
- [c18]Michael Westergaard, Henricus M. W. (Eric) Verbeek:
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. PNSE 2011: 27-41 - [c17]Michael Westergaard:
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. PNSE 2011: 57-71 - [c16]Michael Westergaard, Fabrizio Maria Maggi:
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. Petri Nets 2011: 169-188 - [c15]Michael Westergaard:
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. Petri Nets 2011: 328-337 - [c14]Michael Westergaard:
Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. BPM 2011: 83-98 - [c13]Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst:
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM 2011: 132-147 - [c12]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:
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c11]Michael Westergaard, Fabrizio Maria Maggi:
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. BPM (Demos) 2011 - [c10]Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst:
Runtime Verification of LTL-Based Declarative Process Models. RV 2011: 131-146 - 2010
- [c9]Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230
2000 – 2009
- 2009
- [j1]Sami Evangelista, Michael Westergaard, Lars Michael Kristensen:
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. 3: 189-215 (2009) - [c8]Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312 - [c7]Michael Westergaard, Lars Michael Kristensen:
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322 - 2007
- [c6]Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464 - [c5]Michael Westergaard:
A Game-theoretic Approach to Behavioural Visualisation. FMIS@BCS HCI 2007: 113-129 - 2006
- [c4]Michael Westergaard, Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool. ICATPN 2006: 431-440 - 2005
- [c3]Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard:
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM 2005: 266-286 - 2004
- [c2]Thomas Mailund, Michael Westergaard:
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. TACAS 2004: 177-191 - 2003
- [c1]Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN 2003: 450-462
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
