Michael Westergaard
Michael Westergaard
Eindhoven Technical University (the Netherlands)
Email verificata su tue.nl - Home page
Titolo
Citata da
Citata da
Anno
Process mining manifesto
W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ...
Business process management workshops, 169-194, 2012
8492012
CPN tools for editing, simulating, and analysing coloured Petri nets
AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ...
International Conference on Application and Theory of Petri Nets, 450-462, 2003
4262003
Monitoring business constraints with linear temporal logic: An approach based on colored automata
FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst
International Conference on Business Process Management, 132-147, 2011
1942011
A New Isolation with Migration Model along Complete Genomes Infers Very Different Divergence Processes among Closely Related Great Ape Species
T Mailund, AE Halager, M Westergaard, JY Dutheil, K Munch, ...
PLoS Genetics 8 (12), e1003125, 2012
942012
The access/CPN framework: a tool for interacting with the CPN tools simulator
M Westergaard, L Kristensen
Applications and Theory of Petri Nets, 313-322, 2009
912009
Runtime Verification of LTL-Based Declarative Process Models
F Maggi, M Westergaard, M Montali, W van der Aalst
Runtime Verification, 131-146, 2012
772012
Strategies for Modeling Complex Processes Using Colored Petri Nets
WMP van der Aalst, C Stahl, M Westergaard
Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013
552013
The britney suite animation tool
M Westergaard, K Lassen
Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006
552006
CPN Tools 4: Multi-formalism and Extensibility
M Westergaard
Application and Theory of Petri Nets and Concurrency, 400-409, 2013
492013
Better algorithms for analyzing and enacting declarative workflow languages using LTL
M Westergaard
International Conference on Business Process Management, 83-98, 2011
442011
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.
M Westergaard, FM Maggi
BPM (Demos) 820, 1-5, 2011
442011
Looking into the Future
M Westergaard, FM Maggi
On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012
432012
Mixing Paradigms for More Comprehensible Models
M Westergaard, T Slaats
Business Process Management, 283-290, 2013
402013
Modeling and verification of a protocol for operational support using coloured petri nets
M Westergaard, FM Maggi
International Conference on Application and Theory of Petri Nets andá…, 2011
322011
ASAP: An Extensible Platform for State Space Analysis
M Westergaard, S Evangelista, L Kristensen
Applications and Theory of Petri Nets, 303-312, 2009
322009
Unconstrainedminer: efficient discovery of generalized declarative process models
M Westergaard, C Stahl, HA Reijers
BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013
302013
Access/CPN 2.0: a high-level interface to coloured petri net models
M Westergaard
Applications and Theory of Petri Nets, 328-337, 2011
262011
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
M Westergaard, T Slaats
26*
Automatic structure-based code generation from coloured Petri nets: a proof of concept
LM Kristensen, M Westergaard
International Workshop on Formal Methods for Industrial Critical Systemsá…, 2010
232010
Supporting multiple pointing devices in microsoft windows
M Westergaard
Microsoft Summer Workshop for Faculty and PhDs, 2002
212002
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20