Michael Westergaard

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

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Designing software for operational decision support through coloured Petri nets.
Enterprise IS, 2017

2014
Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models.
Int. J. Cooperative Inf. Syst., 2014

2013
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.
Trans. Petri Nets and Other Models of Concurrency, 2013

Strategies for Modeling Complex Processes Using Colored Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2013

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions.
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.
Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Mixing Paradigms for More Comprehensible Models.
Proceedings of the Business Process Management - 11th International Conference, 2013

Beautiful Workflows: A Matter of Taste?
Proceedings of the Beauty of Functional Code, 2013

CPN Tools 4: Multi-formalism and Extensibility.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
A Graphical Approach to Component-Based and Extensible Model Checking Platforms.
Trans. Petri Nets and Other Models of Concurrency, 2012

Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2012

Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Generating Event Logs with Workload-Dependent Speeds from Simulation Models.
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.
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.
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.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Runtime Verification of LTL-Based Declarative Process Models.
Proceedings of the Runtime Verification - Second International Conference, 2011

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.
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.
Proceedings of the Business Process Management - 9th International Conference, 2011

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
Proceedings of the Business Process Management - 9th International Conference, 2011


Efficient Implementation of Prioritized Transitions for High-level Petri Nets.
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.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets.
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.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
Trans. Petri Nets and Other Models of Concurrency, 2009

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.
Proceedings of the Applications and Theory of Petri Nets, 2009

ASAP: An Extensible Platform for State Space Analysis.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
A Game-theoretic Approach to Behavioural Visualisation.
Electr. Notes Theor. Comput. Sci., 2008

2007
The ComBack Method - Extending Hash Compaction with Backtracking.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
The BRITNeY Suite Animation Tool.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.
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.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003


  Loading...