Eric Verbeek

Eric is the scientific programmer in the PA group. As such, he is the custodian of the process mining framework ProM. In you want access to the ProM repository, or have any questions related to ProM and its development, as Eric. Recently, he has been working on a decomposition framework for both process discovery as conformance checking in ProM. Earlier, he also worked on ExSpect and Woflan.

Position: Scientific Programmer
Room: MF 7.099
Tel (internal): 3755
Links: Presentations
Projects
Publications
External links: Personal home page
Google scholar page
Scopus page
ORCID page
DBLP page
TU/e page

Recent presentations

Recent projects

  • Philips Flagship - Description The Data Science Centre Eindhoven (DSC/e) is TU/e’s response to the growing volume and importance of data and the need for data & process scientists (http://www.tue.nl/dsce/). The DSC/e has recently started a long-term strategic cooperation with Philips Research Eindhoven on three topics: data science, health and lighting. As a first concrete action, 70 PhD Read More ...
  • BPR4GDPR - Business Process Re-engineering for General Data Protection Regulation Description The goal of BPR4GDPR is to provide a holistic framework able to support end-to-end GDPR-compliant intra- and interorganisational ICT-enabled processes at various scales, while also being generic enough, fulfilling operational requirements covering diverse application domains. To this end, proposed solutions will have a strong semantic foundation Read More ...

Recent publications

  • Interactive process mining - Dixit, P. A. M. (2019). Interactive process mining Eindhoven: Technische Universiteit Eindhoven
  • Improving merging conditions for recomposing conformance checking - Lee, W. L. J., Munoz-Gama, J., Verbeek, H. M. W., van der Aalst, W. M. P., & Sepúlveda, M. (2019). Improving merging conditions for recomposing conformance checking. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops – BPM 2018 International Workshops, Revised Papers (pp. 31-43). (Lecture Notes in Business Information Read More ...
  • Incremental computation of synthesis rules for free-choice Petri nets - Dixit, Prabhakar M., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Incremental computation of synthesis rules for free-choice Petri nets. In Peter Csaba Ölveczky & Kyungmin Bae (Eds.), Formal Aspects of Component Software – 15th International Conference, FACS 2018, Proceedings (pp. 97-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence Read More ...
  • Interactive data-driven process model construction - Dixit, P. M., Verbeek, H.M.W., Buijs, J. C.A.M. & van der Aalst, W. M.P. (2018). Interactive data-driven process model construction. In Xiaoyong Du, Guoliang Li, Zhanhuai Li, Juan C. Trujillo, Tok Wang Ling, Karen C. Davis & Mong Li Lee (Eds.), Conceptual Modeling – 37th International Conference, ER 2018, Proceedings (pp. 251-265). (Lecture Notes in Read More ...
  • Fast incremental conformance analysis for interactive process discovery - Dixit, P.M., Buijs, J.C.A.M., Verbeek, H.M.W., & van der Aalst, W.M.P. (2018). Fast incremental conformance analysis for interactive process discovery. In W. Abramowicz & A. Paschke (Eds.), Business Information Systems – 21st International Conference, BIS 2018, Proceedings (pp. 163-175). (Lecture Notes in Business Information Processing, No. 320). Springer. Abstract Interactive process discovery allows users to Read More ...
  • Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining - Lee, Wai Lam Jonathan, Verbeek, H.M.W., Munoz-Gama, Jorge, van der Aalst, Wil M.P. & Sepúlveda, Marcos (2018). Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining. Information Sciences, 466, 55-91. Abstract In the area of process mining, efficient conformance checking is one of the main challenges. Several process mining vendors Read More ...
  • Optimal algorithms for compact linear layouts - Sonke, Willem, Verbeek, Kevin, Meulemans, Wouter, Verbeek, Eric & Speckmann, Bettina (2018). Optimal algorithms for compact linear layouts. Proceedings – 2018 IEEE Pacific Visualization Symposium, PacificVis 2018 (pp. 1-10). Brussels: IEEE Computer Society. Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single line and Read More ...
  • Optimal algorithms for compact linear layouts - Meulemans, W., Sonke, W.M., Speckmann, B., Verbeek, H.M.W. & Verbeek, K.A.B. (2018). Optimal algorithms for compact linear layouts. Abstracts of the 34th European Workshop on Computational Geometry (EuroCG), 21-23 March 2018, Berlin, Germany (pp. 10:1-10:6). Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single Read More ...
  • Visual analytics for soundness verification of process models - Garcia Caballero, Humberto S., Westenberg, Michel A., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Visual analytics for soundness verification of process models. In M. Weidlich & E. Teniente (Eds.), Business Process Management Workshops (pp. 744-756). (Lecture Notes in Business Information Processing, No. 308). Dordrecht: Springer Netherlands. Abstract Soundness validation of process models is Read More ...
  • Discovering workflow nets using integer linear programming - van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P. && Verbeek, H.M.W. (2018). Discovering workflow nets using integer linear programming. Computing, 100(5), 529-556. Abstract Process mining is concerned with the analysis, understanding and improvement of business processes. Process discovery, i.e. discovering a process model based on an event log, is considered the most challenging Read More ...

 

Leave a Reply