Michael Westergaard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2004–2013
Best venue rank
A
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | BPM | Mixing Paradigms for More Comprehensible Models. | Michael Westergaard, Tijs Slaats |
| 2013 | BPM | CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. | Michael Westergaard, Tijs Slaats |
| 2013 | BPM | Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. | Michael Westergaard, Christian Stahl |
| 2013 | ICSOC | Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. | Richard Mller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard |
| 2012 | CaiSE | Generating Event Logs with Workload-Dependent Speeds from Simulation Models. | Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst |
| 2011 | BPM | 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. Gnther, 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 Prez, Ricardo Seguel Prez, Marcos Seplveda, 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 |
| 2011 | BPM | 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 |
| 2011 | BPM | Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. | Michael Westergaard |
| 2011 | BPM | Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. | Michael Westergaard, Fabrizio Maria Maggi |
| 2011 | RV | Runtime Verification of LTL-Based Declarative Process Models. | Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
| 2010 | FMICS | Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. | Lars Michael Kristensen, Michael Westergaard |
| 2005 | IFM | Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. | Lars Michael Kristensen, Michael Westergaard, Peder Christian Nrgaard |
| 2004 | TACAS | Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. | Thomas Mailund, Michael Westergaard |