default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Westergaard

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/eis/MaggiW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eis/MaggiW17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/MaggiW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/MaggiW14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AalstSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AalstSW13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WestergaardFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WestergaardFS13
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)
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WestergaardK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WestergaardK12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Westergaard12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Westergaard12
Michael Westergaard:
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 6: 146-168 (2012)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/EvangelistaWK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/EvangelistaWK09
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Westergaard13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Westergaard13
Michael Westergaard:
CPN Tools 4: Multi-formalism and Extensibility. Petri Nets 2013: 400-409
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AalstWR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AalstWR13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/WestergaardS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/WestergaardS13
Michael Westergaard, Tijs Slaats:
Mixing Paradigms for More Comprehensible Models. BPM 2013: 283-290
[c26]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/WestergaardS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/WestergaardS13a
Michael Westergaard, Tijs Slaats:
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. BPM (Demos) 2013
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/WestergaardS13b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/WestergaardS13b
Michael Westergaard, Christian Stahl:
Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) 2013
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/MullerSAW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/MullerSAW13
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
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MailundHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MailundHW12
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/WestergaardFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardFS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/NakatumbaWA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/NakatumbaWA12
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/caise/NakatumbaWA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/NakatumbaWA12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/WestergaardM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/WestergaardM12
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/WestergaardV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardV11
Michael Westergaard, Henricus M. W. (Eric) Verbeek:
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. PNSE 2011: 27-41
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Westergaard11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Westergaard11a
Michael Westergaard:
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. PNSE 2011: 57-71
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardM11
Michael Westergaard, Fabrizio Maria Maggi:
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. Petri Nets 2011: 169-188
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Westergaard11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Westergaard11
Michael Westergaard:
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. Petri Nets 2011: 328-337
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/Westergaard11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Westergaard11
Michael Westergaard:
Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. BPM 2011: 83-98
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/MaggiMWA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/MaggiMWA11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/bpm/AalstAM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/AalstAM11
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/WestergaardM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/WestergaardM11
Michael Westergaard, Fabrizio Maria Maggi:
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. BPM (Demos) 2011
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MaggiWMA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MaggiWMA11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KristensenW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KristensenW10
Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230
2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardEK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardEK09
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardK09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardKBA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardKBA07
Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Westergaard08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Westergaard08
Michael Westergaard:
A Game-theoretic Approach to Behavioural Visualisation. FMIS@BCS HCI 2007: 113-129
2006
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardL06
Michael Westergaard, Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool. ICATPN 2006: 431-440
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KristensenWN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KristensenWN05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/MailundW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MailundW04
Thomas Mailund, Michael Westergaard:
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. TACAS 2004: 177-191
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/RatzerWLLQSWCJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RatzerWLLQSWCJ03
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

see FAQ

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.