Michael Westergaard

36 papers A 5B 9C 1Journal 7Unranked 14

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Designing software for operational decision support through coloured Petri nets. Enterp. Inf. Syst. Fabrizio Maria Maggi, Michael Westergaard
2014	J	`jnl`	Using Timed Automata for Int. J. Cooperative Inf. Syst. Fabrizio Maria Maggi, Michael Westergaard
2013	—	`conf`	Beautiful Workflows: A Matter of Taste? The Beauty of Functional Code Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers
2013	—	`conf`	CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. BPM (Demos) Michael Westergaard, Tijs Slaats
2013	B	`conf`	CPN Tools 4: Multi-formalism and Extensibility. Petri Nets Michael Westergaard
2013	J	`jnl`	Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. Trans. Petri Nets Other Model. Concurr. Michael Westergaard, Dirk Fahland, Christian Stahl
2013	—	`conf`	Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) Michael Westergaard, Christian Stahl
2013	A	`conf`	Mixing Paradigms for More Comprehensible Models. BPM Michael Westergaard, Tijs Slaats
2013	A	`conf`	Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard
2013	J	`jnl`	Strategies for Modeling Complex Processes Using Colored Petri Nets. Trans. Petri Nets Other Model. Concurr. Wil M. P. van der Aalst, Christian Stahl, Michael Westergaard
2012	J	`jnl`	A Graphical Approach to Component-Based and Extensible Model Checking Platforms. Trans. Petri Nets Other Model. Concurr. Michael Westergaard, Lars Michael Kristensen
2012	B	`conf`	An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Petri Nets Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst
2012	—	`conf`	Generating Event Logs with Workload-Dependent Speeds from Simulation Models. CAiSE Workshops Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst
2012	—	`conf`	Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. PNSE Michael Westergaard, Dirk Fahland, Christian Stahl
2012	—	`conf`	Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models. OTM Conferences (1) Michael Westergaard, Fabrizio Maria Maggi
2012	B	`conf`	Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. Petri Nets Thomas Mailund, Anders E. Halager, Michael Westergaard
2012	J	`jnl`	Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. Michael Westergaard
2011	B	`conf`	Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. Petri Nets Michael Westergaard
2011	A	`conf`	Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. BPM Michael Westergaard
2011	—	`conf`	Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. BPM (Demos) Michael Westergaard, Fabrizio Maria Maggi
2011	—	`conf`	Efficient Implementation of Prioritized Transitions for High-level Petri Nets. PNSE Michael Westergaard, Henricus M. W. (Eric) Verbeek
2011	B	`conf`	Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. Petri Nets Michael Westergaard, Fabrizio Maria Maggi
2011	A	`conf`	Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst
2011	—	`conf`	Process Mining Manifesto. Business Process Management Workshops (1) 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
2011	B	`conf`	Runtime Verification of LTL-Based Declarative Process Models. RV Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst
2011	—	`conf`	Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. PNSE Michael Westergaard
2010	C	`conf`	Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS Lars Michael Kristensen, Michael Westergaard
2009	B	`conf`	ASAP: An Extensible Platform for State Space Analysis. Petri Nets Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
2009	B	`conf`	The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets Michael Westergaard, Lars Michael Kristensen
2009	J	`jnl`	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. Sami Evangelista, Michael Westergaard, Lars Michael Kristensen
2007	—	`conf`	A Game-theoretic Approach to Behavioural Visualisation. FMIS@BCS HCI Michael Westergaard
2007	—	`conf`	The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
2006	—	`conf`	The BRITNeY Suite Animation Tool. ICATPN Michael Westergaard, Kristian Bisgaard Lassen
2005	B	`conf`	Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
2004	A	`conf`	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. TACAS Thomas Mailund, Michael Westergaard
2003	—	`conf`	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen