Aalst, W.M.P. van der and Verbeek, H. M. W.
BPM Center report BPM-12-21, BPMcenter.org, 2012
Verbeek, H. M. W.
BPI 2012 Challenge, Tallin, Estonia
Fahland, D., and Aalst, W. M. P. van der (2012). Simplifying Discovered Process Models in a Controlled Manner. Information Systems, 2012.
Fahland, D., and Aalst, W. M. P. van der (2012). Repairing process models to reflect reality. In Business Process Management 2012, volume 7481 of Lecture Notes in Computer Science, pages 229–245. Springer, 2012.
Nooijen, E. H. J., Dongen, B. F. van, and Fahland, D. (2012). Automatic Discovery of Data-Centric and Artifact-Centric Processes. In 1st Int. Workshop on Data- and Artifact-centric BPM (DAB), Tallinn, Estonia, September 3, 2012, 2012.
Nakatumba, J., Westergaard, M., and Aalst, W.M.P. van der (2012). An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. In Application and Theory of Petri Nets, 2012, pp. 308-327.
Maggi, F.M., Westergaard, M., Montali, M., and Aalst, W.M.P. van der (2012). Runtime Verification of LTL-Based Declarative Process Models. In Runtime Verification, 2012, pp. 131-146.