• 7260 Citations
20022020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2006

Faulty EPCs in the SAP reference model

Mendling, J., Moser, M., Neumann, G., Verbeek, H. M. W., Dongen, van, B. F. & Aalst, van der, W. M. P., 2006, Business Process Management (Proceedings 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006). Dustdar, S., Fiadeiro, J. L. & Sheth, A. (eds.). Berlin: Springer, p. 451-457 (Lecture Notes in Computer Science; vol. 4102).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

39 Citations (Scopus)

Fouten in SAP-referentiemodel

Aalst, van der, W. M. P., Dongen, van, B. F., Mendling, J. & Verbeek, H. M. W., 2006, In : De Automatisering Gids. 40, 20, p. 17-17

Research output: Contribution to journalArticleProfessional

4 Downloads (Pure)

Integration of EPC-related tools with ProM

Barborka, P., Helm, L., K̈oldorfer, G., Mendling, J., Neumann, G., van Dongen, B., Verbeek, E. & van der Aalst, W., 1 Dec 2006, p. 105-120. 16 p.

Research output: Contribution to conferencePaperAcademic

9 Citations (Scopus)
1 Downloads (Pure)

Interoperability in the ProM framework

Verbeek, H. M. W., Dongen, van, B. F., Mendling, J. & Aalst, van der, W. M. P., 2006, Proceedings of the EMOI-INTEROP Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06). Latour, T. & Petit, M. (eds.). Namur University Press, p. 619-630

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Process mining in a multi-agent auctioning system

Dongen, van, B. F., Luin, van, J. & Verbeek, H. M. W., 2006, Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06 ; [26th June, 2006, Turku, Finland]. Moldt, D. (ed.). Hamburg: University of Hamburg, p. 145-160 (Bericht Universität Hamburg, Department Informatik; vol. 272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

SAP's Referenzmodell : Sand im Getriebe

Mendling, J., Neumann, G., Aalst, van der, W. M. P., Dongen, van, B. F. & Verbeek, H. M. W., 2006, In : IX Magazin fuer professionelle Informationstechnik. 13, 8, p. 131-133

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

Structural patterns for soundness of business process models

Dongen, van, B. F., Mendling, J. & Aalst, van der, W. M. P., 2006, Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06, Hong Kong, October 16-20, 2006). Hung, P., Li, Q. & Sparrow, D. (eds.). Piscataway: IEEE Computer Society, p. 116-128

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

58 Citations (Scopus)
2005

A meta model for process mining data

Dongen, van, B. F. & Aalst, van der, W. M. P., 2005, Proceedings of the CAiSE Workshops. Castro, J. & Tentiento, E. (eds.). Porto: FEUP, Vol. 2. p. 309-320

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

30 Citations (Scopus)

EPC verification in the ARIS for MySAP reference model database

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 15 p. (BETA publicatie : working papers; vol. 142)

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)
33 Downloads (Pure)

Multi-phase mining: aggregating instances graphs into EPC's and petri nets

Dongen, van, B. F. & Aalst, van der, W. M. P., 2005, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management. Marinescu, D. (ed.). Miami, Florida: Florida International University, p. 35-58

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 18 p. (BETA publicatie : working papers; vol. 136)

Research output: Book/ReportReportAcademic

Open Access
File
541 Downloads (Pure)

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings : part 1. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 130-147 (Lecture Notes in Computer Science; vol. 3760).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

187 Citations (Scopus)

The PRoM framework : a new era in process mining tool support

Dongen, van, B. F., Alves De Medeiros, A. K., Verbeek, H. M. W., Weijters, A. J. M. M. & Aalst, van der, W. M. P., 2005, Applications and Theory of Petri Nets 2005. Ciardo, G. & Darondeau, P. (eds.). Berlin: Springer, p. 444-454 (Lecture Notes in Computer Science; vol. 3536).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

540 Citations (Scopus)
1 Downloads (Pure)

Verification of EPCs: using reduction rules and petri nets

van Dongen, B. F., van der Aalst, W. M. P. & Verbeek, H. M. W., 29 Sep 2005, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 13-17 June 2005, Porto, Portugal. Pastor, O. & Falcão e Cunha, J. (eds.). Berlin: Springer, p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 3520).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

69 Citations (Scopus)

Verification of SAP reference models

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings. Aalst, van der, W. M. P., Benatallah, B. & Casati, F. (eds.). Berlin: Springer, p. 464-469 (Lecture Notes in Computer Science; vol. 3649).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)
2004

EMiT: a process mining tool

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21¿25. Cortadella, J. & Reisig, W. (eds.). Berlin: Springer, p. 454-463 (Lecture Notes in Computer Science; vol. 3099).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

21 Citations (Scopus)

Multi-phase process mining : building instance graphs

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Conceptual Modeling ¿ ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12. Atzeni, P., Chu, W., Lu, H., Zhou, S. & Ling, T. W. (eds.). Berlin: Springer, p. 362-376 (Lecture Notes in Computer Science; vol. 3288).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

91 Citations (Scopus)
1 Downloads (Pure)

Process mining : extending the alpha-algorithm to mine short loops

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 25 p. (BETA publicatie : working papers; vol. 113)

Research output: Book/ReportReportAcademic

Open Access
File
881 Downloads (Pure)

Process mining for ubiquitous mobile systems: An overview and a concrete algorithm

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Ubiquitous mobile information and collaboration systems. Baresi, L., Dustdar, S., Gall, H. & Matera, M. (eds.). UMICS, p. 156-170

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)

Process mining for ubiquitous mobile systems : an overview and a concrete algorithm

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Ubiquitous Mobile Information and Collaboration Systems: Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers. Baresi, L., Dustdar, S., Gall, H. & Matera, M. (eds.). Berlin: Springer, p. 151-165 (Lecture Notes in Computer Science; vol. 3272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)
2 Downloads (Pure)
2003

Workflow mining : A survey of issues and approaches

Aalst, van der, W. M. P., Dongen, van, B. F., Herbst, J., Maruster, L., Schimm, G. & Weijters, A. J. M. M., 2003, In : Data & Knowledge Engineering. 47, 2, p. 237-267

Research output: Contribution to journalArticleAcademicpeer-review

809 Citations (Scopus)
2002

Discovering workflow performance models from timed logs

Aalst, van der, W. M. P. & Dongen, van, B. F., 2002, Engineering and Deployment of Cooperative Information Systems (First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002). Han, Y., Tai, S. & Wikarski, D. (eds.). Berlin, Germany: Springer, p. 45-63 (Lecture Notes in Computer Science; vol. 2480).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

117 Citations (Scopus)