Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: H. M. W. Verbeek
@article{DBLP:journals/cim/WynnAVS24, author = {Moe Thandar Wynn and Wil M. P. van der Aalst and Eric Verbeek and Bruno N. Di Stefano}, title = {The {IEEE} {XES} Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs]}, journal = {{IEEE} Comput. Intell. Mag.}, volume = {19}, number = {1}, pages = {20--23}, year = {2024}, url = {https://doi.org/10.1109/MCI.2023.3333141}, doi = {10.1109/MCI.2023.3333141}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cim/WynnAVS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/Verbeek22, author = {H. M. W. Verbeek}, title = {The Log Skeleton Visualizer in ProM 6.9}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {24}, number = {4}, pages = {549--561}, year = {2022}, url = {https://doi.org/10.1007/s10009-021-00618-y}, doi = {10.1007/S10009-021-00618-Y}, timestamp = {Thu, 04 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/Verbeek22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpm/Verbeek22, author = {Eric Verbeek}, editor = {Andrea Burattin and Artem Polyvyanyy and Barbara Weber}, title = {Discovering an S-Coverable WF-net using DiSCover}, booktitle = {4th International Conference on Process Mining, {ICPM} 2022, Bolzano, Italy, October 23-28, 2022}, pages = {64--71}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICPM57379.2022.9980723}, doi = {10.1109/ICPM57379.2022.9980723}, timestamp = {Tue, 03 Jan 2023 07:35:57 +0100}, biburl = {https://dblp.org/rec/conf/icpm/Verbeek22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpm/BruningsF022, author = {Mitchel Brunings and Dirk Fahland and Eric Verbeek}, editor = {Marwan Hassani and Agnes Koschmider and Marco Comuzzi and Fabrizio Maria Maggi and Luise Pufahl}, title = {Discover Context-Rich Local Process Models (Extended Abstract)}, booktitle = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining {(ICPM} 2022), Bolzano, Italy, October, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3299}, pages = {100--103}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3299/Paper21.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:44 +0100}, biburl = {https://dblp.org/rec/conf/icpm/BruningsF022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/22/Augusto0022, author = {Adriano Augusto and Josep Carmona and Eric Verbeek}, editor = {Wil M. P. van der Aalst and Josep Carmona}, title = {Advanced Process Discovery Techniques}, booktitle = {Process Mining Handbook}, series = {Lecture Notes in Business Information Processing}, volume = {448}, pages = {76--107}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08848-3\_3}, doi = {10.1007/978-3-031-08848-3\_3}, timestamp = {Wed, 27 Jul 2022 22:15:55 +0200}, biburl = {https://dblp.org/rec/books/sp/22/Augusto0022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpm/WynnLAACJV21, author = {Moe Thandar Wynn and Julian Lebherz and Wil M. P. van der Aalst and Rafael Accorsi and Claudio Di Ciccio and Lakmali Jayarathna and H. M. W. Verbeek}, editor = {Jorge Munoz{-}Gama and Xixi Lu}, title = {Rethinking the Input for Process Mining: Insights from the {XES} Survey and Workshop}, booktitle = {Process Mining Workshops - {ICPM} 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {433}, pages = {3--16}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-98581-3\_1}, doi = {10.1007/978-3-030-98581-3\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icpm/WynnLAACJV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computing/ZelstDAV18, author = {Sebastiaan J. van Zelst and Boudewijn F. van Dongen and Wil M. P. van der Aalst and H. M. W. Verbeek}, title = {Discovering workflow nets using integer linear programming}, journal = {Computing}, volume = {100}, number = {5}, pages = {529--556}, year = {2018}, url = {https://doi.org/10.1007/s00607-017-0582-5}, doi = {10.1007/S00607-017-0582-5}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computing/ZelstDAV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/LeeVMAS18, author = {Wai Lam Jonathan Lee and H. M. W. Verbeek and Jorge Munoz{-}Gama and Wil M. P. van der Aalst and Marcos Sep{\'{u}}lveda}, title = {Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining}, journal = {Inf. Sci.}, volume = {466}, pages = {55--91}, year = {2018}, url = {https://doi.org/10.1016/j.ins.2018.07.026}, doi = {10.1016/J.INS.2018.07.026}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/LeeVMAS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apvis/SonkeVMVS18, author = {Willem Sonke and Kevin Verbeek and Wouter Meulemans and Eric Verbeek and Bettina Speckmann}, title = {Optimal Algorithms for Compact Linear Layouts}, booktitle = {{IEEE} Pacific Visualization Symposium, PacificVis 2018, Kobe, Japan, April 10-13, 2018}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/PacificVis.2018.00010}, doi = {10.1109/PACIFICVIS.2018.00010}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apvis/SonkeVMVS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/DixitBVA18, author = {Prabhakar M. Dixit and Joos C. A. M. Buijs and H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Witold Abramowicz and Adrian Paschke}, title = {Fast Incremental Conformance Analysis for Interactive Process Discovery}, booktitle = {Business Information Systems - 21st International Conference, {BIS} 2018, Berlin, Germany, July 18-20, 2018, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {320}, pages = {163--175}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-93931-5\_12}, doi = {10.1007/978-3-319-93931-5\_12}, timestamp = {Sat, 19 Oct 2019 20:06:48 +0200}, biburl = {https://dblp.org/rec/conf/bis/DixitBVA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/LeeMVAS18, author = {Wai Lam Jonathan Lee and Jorge Munoz{-}Gama and H. M. W. Verbeek and Wil M. P. van der Aalst and Marcos Sep{\'{u}}lveda}, editor = {Florian Daniel and Quan Z. Sheng and Hamid Motahari}, title = {Improving Merging Conditions for Recomposing Conformance Checking}, booktitle = {Business Process Management Workshops - {BPM} 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {342}, pages = {31--43}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-11641-5\_3}, doi = {10.1007/978-3-030-11641-5\_3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/LeeMVAS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/DixitVA18, author = {Prabhakar M. Dixit and H. M. W. Verbeek and Wil M. P. van der Aalst}, title = {Fast Conformance Analysis Based on Activity Log Abstraction}, booktitle = {22nd {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018}, pages = {135--144}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/EDOC.2018.00026}, doi = {10.1109/EDOC.2018.00026}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/DixitVA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/DixitVBA18, author = {Prabhakar M. Dixit and H. M. W. Verbeek and Joos C. A. M. Buijs and Wil M. P. van der Aalst}, editor = {Juan Trujillo and Karen C. Davis and Xiaoyong Du and Zhanhuai Li and Tok Wang Ling and Guoliang Li and Mong{-}Li Lee}, title = {Interactive Data-Driven Process Model Construction}, booktitle = {Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11157}, pages = {251--265}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00847-5\_19}, doi = {10.1007/978-3-030-00847-5\_19}, timestamp = {Wed, 09 Jun 2021 08:38:38 +0200}, biburl = {https://dblp.org/rec/conf/er/DixitVBA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/DixitVA18, author = {Prabhakar M. Dixit and H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, title = {Incremental Computation of Synthesis Rules for Free-Choice Petri Nets}, booktitle = {Formal Aspects of Component Software - 15th International Conference, {FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11222}, pages = {97--117}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02146-7\_5}, doi = {10.1007/978-3-030-02146-7\_5}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/DixitVA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1806-08247, author = {H. M. W. Verbeek and Renata Medeiros de Carvalho}, title = {Log Skeletons: {A} Classification Approach to Process Discovery}, journal = {CoRR}, volume = {abs/1806.08247}, year = {2018}, url = {http://arxiv.org/abs/1806.08247}, eprinttype = {arXiv}, eprint = {1806.08247}, timestamp = {Wed, 25 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1806-08247.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-11793, author = {Dennis M. M. Schunselaar and H. M. W. Verbeek}, title = {Task Elimination may Actually Increase Throughput Time}, journal = {CoRR}, volume = {abs/1812.11793}, year = {2018}, url = {http://arxiv.org/abs/1812.11793}, eprinttype = {arXiv}, eprint = {1812.11793}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-11793.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cim/AcamporaVSAGV17, author = {Giovanni Acampora and Autilia Vitiello and Bruno N. Di Stefano and Wil M. P. van der Aalst and Christian W. G{\"{u}}nther and Eric Verbeek}, title = {{IEEE} 1849: The {XES} Standard: The Second {IEEE} Standard Sponsored by {IEEE} Computational Intelligence Society [Society Briefs]}, journal = {{IEEE} Comput. Intell. Mag.}, volume = {12}, number = {2}, pages = {4--8}, year = {2017}, url = {https://doi.org/10.1109/MCI.2017.2670420}, doi = {10.1109/MCI.2017.2670420}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cim/AcamporaVSAGV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/VerbeekAM17, author = {H. M. W. Verbeek and Wil M. P. van der Aalst and Jorge Munoz{-}Gama}, title = {Divide and Conquer: {A} Tool Framework for Supporting Decomposed Discovery in Process Mining}, journal = {Comput. J.}, volume = {60}, number = {11}, pages = {1649--1674}, year = {2017}, url = {https://doi.org/10.1093/comjnl/bxx040}, doi = {10.1093/COMJNL/BXX040}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/VerbeekAM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/RaichelsonSV17, author = {Lihi Raichelson and Pnina Soffer and Eric Verbeek}, title = {Merging event logs: Combining granularity levels for process flow analysis}, journal = {Inf. Syst.}, volume = {71}, pages = {211--227}, year = {2017}, url = {https://doi.org/10.1016/j.is.2017.08.010}, doi = {10.1016/J.IS.2017.08.010}, timestamp = {Wed, 31 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/RaichelsonSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/Verbeek17, author = {H. M. W. Verbeek}, title = {Decomposed Replay Using Hiding and Reduction as Abstraction}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {12}, pages = {166--186}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55862-1\_8}, doi = {10.1007/978-3-662-55862-1\_8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/Verbeek17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CaballeroWVA17, author = {Humberto S. Garcia Caballero and Michel A. Westenberg and Henricus M. W. (Eric) Verbeek and Wil M. P. van der Aalst}, editor = {Ernest Teniente and Matthias Weidlich}, title = {Visual Analytics for Soundness Verification of Process Models}, booktitle = {Business Process Management Workshops - {BPM} 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {308}, pages = {744--756}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-74030-0\_59}, doi = {10.1007/978-3-319-74030-0\_59}, timestamp = {Fri, 26 May 2023 07:40:34 +0200}, biburl = {https://dblp.org/rec/conf/bpm/CaballeroWVA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/LeeVMAS17, author = {Wai Lam Jonathan Lee and H. M. W. Verbeek and Jorge Munoz{-}Gama and Wil M. P. van der Aalst and Marcos Sep{\'{u}}lveda}, editor = {Robert Claris{\'{o}} and Henrik Leopold and Jan Mendling and Wil M. P. van der Aalst and Akhil Kumar and Brian T. Pentland and Mathias Weske}, title = {Replay using Recomposition: Alignment-Based Conformance Checking in the Large}, booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located with 15th International Conference on Business Process Modeling {(BPM} 2017), Barcelona, Spain, September 13, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1920}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_157.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/LeeVMAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZelstDAV17, author = {Sebastiaan J. van Zelst and Boudewijn F. van Dongen and Wil M. P. van der Aalst and H. M. W. Verbeek}, title = {Discovering Relaxed Sound Workflow Nets using Integer Linear Programming}, journal = {CoRR}, volume = {abs/1703.06733}, year = {2017}, url = {http://arxiv.org/abs/1703.06733}, eprinttype = {arXiv}, eprint = {1703.06733}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZelstDAV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekA16, author = {H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Fabrice Kordon and Daniel Moldt}, title = {Merging Alignments for Decomposed Replay}, booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9698}, pages = {219--239}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39086-4\_14}, doi = {10.1007/978-3-319-39086-4\_14}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/VerbeekA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Verbeek16, author = {H. M. W. Verbeek}, editor = {Lawrence Cabac and Lars Michael Kristensen and Heiko R{\"{o}}lke}, title = {Decomposed Replay Using Hiding and Reduction}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes {\&} Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland, June 20-21, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1591}, pages = {233--252}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1591/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/Verbeek16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AalstKRV15, author = {Wil M. P. van der Aalst and Anna A. Kalenkova and Vladimir A. Rubin and Eric Verbeek}, editor = {Raymond R. Devillers and Antti Valmari}, title = {Process Discovery Using Localized Events}, booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9115}, pages = {287--308}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19488-2\_15}, doi = {10.1007/978-3-319-19488-2\_15}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/AalstKRV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/SchunselaarVRA15, author = {Dennis M. M. Schunselaar and H. M. W. Verbeek and Hajo A. Reijers and Wil M. P. van der Aalst}, editor = {Hamid Reza Motahari{-}Nezhad and Jan Recker and Matthias Weidlich}, title = {A Structural Model Comparison for Finding the Best Performing Models in a Collection}, booktitle = {Business Process Management - 13th International Conference, {BPM} 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9253}, pages = {180--188}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23063-4\_12}, doi = {10.1007/978-3-319-23063-4\_12}, timestamp = {Fri, 26 May 2023 07:40:34 +0200}, biburl = {https://dblp.org/rec/conf/bpm/SchunselaarVRA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AalstV14, author = {Wil M. P. van der Aalst and H. M. W. Verbeek}, title = {Process Discovery and Conformance Checking Using Passages}, journal = {Fundam. Informaticae}, volume = {131}, number = {1}, pages = {103--138}, year = {2014}, url = {https://doi.org/10.3233/FI-2014-1006}, doi = {10.3233/FI-2014-1006}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AalstV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/SchunselaarVAR14, author = {Dennis M. M. Schunselaar and Eric Verbeek and Wil M. P. van der Aalst and Hajo A. Reijers}, editor = {Daniel Moldt and Heiko R{\"{o}}lke}, title = {Petra: {A} Tool for Analysing a Process Family}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1160}, pages = {269--288}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1160/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:39 +0100}, biburl = {https://dblp.org/rec/conf/apn/SchunselaarVAR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/MansAV14, author = {Ronny Mans and Wil M. P. van der Aalst and H. M. W. Verbeek}, editor = {Lior Limonad and Barbara Weber}, title = {Supporting Process Mining Workflows with RapidProM}, booktitle = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1295}, pages = {56}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1295/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/MansAV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/ZelstBDV14, author = {Sebastiaan J. van Zelst and Andrea Burattin and Boudewijn F. van Dongen and H. M. W. Verbeek}, editor = {Lior Limonad and Barbara Weber}, title = {Data Streams in ProM 6: {A} Single-node Architecture}, booktitle = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1295}, pages = {81}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1295/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/ZelstBDV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/Verbeek14, author = {Eric Verbeek}, editor = {Lior Limonad and Barbara Weber}, title = {Decomposed Process Mining with DivideAndConquer}, booktitle = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1295}, pages = {86}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1295/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/Verbeek14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/WerfV14, author = {Jan Martijn E. M. van der Werf and H. M. W. Verbeek}, editor = {Fabiana Fournier and Jan Mendling}, title = {Online Compliance Monitoring of Service Landscapes}, booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {202}, pages = {89--95}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15895-2\_8}, doi = {10.1007/978-3-319-15895-2\_8}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/WerfV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/SchunselaarLVAR14, author = {Dennis M. M. Schunselaar and Henrik Leopold and H. M. W. Verbeek and Wil M. P. van der Aalst and Hajo A. Reijers}, editor = {Fabiana Fournier and Jan Mendling}, title = {Configuring Configurable Process Models Made Easier: An Automated Approach}, booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {202}, pages = {105--117}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15895-2\_10}, doi = {10.1007/978-3-319-15895-2\_10}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/SchunselaarLVAR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/VerbeekA14, author = {H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Fabiana Fournier and Jan Mendling}, title = {Decomposed Process Mining: The {ILP} Case}, booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {202}, pages = {264--276}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15895-2\_23}, doi = {10.1007/978-3-319-15895-2\_23}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/VerbeekA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/SchunselaarVRA14, author = {Dennis M. M. Schunselaar and H. M. W. Verbeek and Hajo A. Reijers and Wil M. P. van der Aalst}, editor = {Fabiana Fournier and Jan Mendling}, title = {{YAWL} in the Cloud: Supporting Process Sharing and Variability}, booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {202}, pages = {367--379}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15895-2\_31}, doi = {10.1007/978-3-319-15895-2\_31}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/SchunselaarVRA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/simpda/HompesVA14, author = {Bart Hompes and Eric Verbeek and Wil M. P. van der Aalst}, editor = {Rafael Accorsi and Paolo Ceravolo and Barbara Russo}, title = {Finding Suitable Activity Clusters for Decomposed Process Discovery}, booktitle = {Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis {(SIMPDA} 2014), Milan, Italy, November 19-21, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1293}, pages = {16--30}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1293/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:35 +0100}, biburl = {https://dblp.org/rec/conf/simpda/HompesVA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/simpda/HompesVA14a, author = {B. F. A. Hompes and H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Paolo Ceravolo and Barbara Russo and Rafael Accorsi}, title = {Finding Suitable Activity Clusters for Decomposed Process Discovery}, booktitle = {Data-Driven Process Discovery and Analysis - 4th International Symposium, {SIMPDA} 2014, Milan, Italy, November 19-21, 2014, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {237}, pages = {32--57}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-27243-6\_2}, doi = {10.1007/978-3-319-27243-6\_2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/simpda/HompesVA14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/simpda/SchunselaarVRA14, author = {Dennis M. M. Schunselaar and Eric Verbeek and Hajo A. Reijers and Wil M. P. van der Aalst}, editor = {Rafael Accorsi and Paolo Ceravolo and Barbara Russo}, title = {Using Monotonicity to Find Optimal Process Configurations Faster}, booktitle = {Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis {(SIMPDA} 2014), Milan, Italy, November 19-21, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1293}, pages = {123--137}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1293/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/simpda/SchunselaarVRA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/SchunselaarVAR13, author = {Dennis M. M. Schunselaar and Eric Verbeek and Wil M. P. van der Aalst and Hajo A. Reijers}, editor = {Daniel Moldt}, title = {A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets}, booktitle = {Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {989}, pages = {135--154}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-989/paper06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/SchunselaarVAR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekA13, author = {Eric Verbeek and Wil M. P. van der Aalst}, editor = {Daniel Moldt}, title = {Decomposing Replay Problems: {A} Case Study}, booktitle = {Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {989}, pages = {219--235}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-989/paper07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/VerbeekA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/yawl/SchunselaarAVA13, author = {Dennis M. M. Schunselaar and Tim van der Avoort and H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Thomas Freytag and Andreas V. Hense and Arthur H. M. ter Hofstede and Jan Mendling}, title = {{YAWL} in the Cloud}, booktitle = {Proceedings of the First {YAWL} Symposium, Sankt Augustin, Germany, June 7, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {982}, pages = {41--48}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-982/YAWL2013-Paper06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/yawl/SchunselaarAVA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/SchunselaarVAR12, author = {Dennis M. M. Schunselaar and Eric Verbeek and Wil M. P. van der Aalst and Hajo A. Reijers}, editor = {Witold Abramowicz and Dalia Kriksciuniene and Virgilijus Sakalauskas}, title = {Creating Sound and Reversible Configurable Process Models Using CoSeNets}, booktitle = {Business Information Systems - 15th International Conference, {BIS} 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {117}, pages = {24--35}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30359-3\_3}, doi = {10.1007/978-3-642-30359-3\_3}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bis/SchunselaarVAR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/WerfVA12, author = {Jan Martijn E. M. van der Werf and H. M. W. Verbeek and Wil M. P. van der Aalst}, editor = {Alistair Barros and Avigdor Gal and Ekkart Kindler}, title = {Context-Aware Compliance Checking}, booktitle = {Business Process Management - 10th International Conference, {BPM} 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7481}, pages = {98--113}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32885-5\_7}, doi = {10.1007/978-3-642-32885-5\_7}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/WerfVA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/VerbeekA12, author = {Henricus M. W. (Eric) Verbeek and Wil M. P. van der Aalst}, editor = {Marcello La Rosa and Pnina Soffer}, title = {An Experimental Evaluation of Passage-Based Process Discovery}, booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {132}, pages = {205--210}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36285-9\_21}, doi = {10.1007/978-3-642-36285-9\_21}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/VerbeekA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/Verbeek12, author = {Henricus M. W. (Eric) Verbeek}, editor = {Marcello La Rosa and Pnina Soffer}, title = {{BPI} Challenge 2012: The Transition System Case}, booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {132}, pages = {225--226}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36285-9\_27}, doi = {10.1007/978-3-642-36285-9\_27}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/Verbeek12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/AalstHHSVVW11, author = {Wil M. P. van der Aalst and Kees M. van Hee and Arthur H. M. ter Hofstede and Natalia Sidorova and H. M. W. Verbeek and Marc Voorhoeve and Moe Thandar Wynn}, title = {Soundness of workflow nets: classification, decidability, and analysis}, journal = {Formal Aspects Comput.}, volume = {23}, number = {3}, pages = {333--363}, year = {2011}, url = {https://doi.org/10.1007/s00165-010-0161-4}, doi = {10.1007/S00165-010-0161-4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AalstHHSVVW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/WestergaardV11, author = {Michael Westergaard and Henricus M. W. (Eric) Verbeek}, editor = {Michael Duvigneau and Daniel Moldt and Kunihiko Hiraishi}, title = {Efficient Implementation of Prioritized Transitions for High-level Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {723}, pages = {27--41}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-723/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/WestergaardV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/VogelaarVLA11, author = {Jan Vogelaar and H. M. W. Verbeek and B. Luka and Wil M. P. van der Aalst}, editor = {Florian Daniel and Kamel Barkaoui and Schahram Dustdar}, title = {Comparing Business Processes to Determine the Feasibility of Configurable Models: {A} Case Study}, booktitle = {Business Process Management Workshops - {BPM} 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part {II}}, series = {Lecture Notes in Business Information Processing}, volume = {100}, pages = {50--61}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-28115-0\_6}, doi = {10.1007/978-3-642-28115-0\_6}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/VogelaarVLA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/AalstAM11, author = {Wil M. P. van der Aalst and Arya Adriansyah and Ana Karla Alves de Medeiros and Franco Arcieri and Thomas Baier and Tobias Blickle and R. P. Jagadeesh Chandra Bose and Peter van den Brand and Ronald Brandtjen and Joos C. A. M. Buijs and Andrea Burattin and Josep Carmona and Mal{\'{u}} Castellanos and Jan Claes and Jonathan E. Cook and Nicola Costantini and Francisco Curbera and Ernesto Damiani and Massimiliano de Leoni and Pavlos Delias and Boudewijn F. van Dongen and Marlon Dumas and Schahram Dustdar and Dirk Fahland and Diogo R. Ferreira and Walid Gaaloul and Frank van Geffen and Sukriti Goel and Christian W. G{\"{u}}nther and Antonella Guzzo and Paul Harmon and Arthur H. M. ter Hofstede and John Hoogland and Jon Espen Ingvaldsen and Koki Kato and Rudolf Kuhn and Akhil Kumar and Marcello La Rosa and Fabrizio Maria Maggi and Donato Malerba and R. S. Mans and Alberto Manuel and Martin McCreesh and Paola Mello and Jan Mendling and Marco Montali and Hamid R. Motahari Nezhad and Michael zur Muehlen and Jorge Munoz{-}Gama and Luigi Pontieri and Joel Ribeiro and Anne Rozinat and Hugo Seguel P{\'{e}}rez and Ricardo Seguel P{\'{e}}rez and Marcos Sep{\'{u}}lveda and Jim Sinur and Pnina Soffer and Minseok Song and Alessandro Sperduti and Giovanni Stilo and Casper Stoel and Keith D. Swenson and Maurizio Talamo and Wei Tan and Chris Turner and Jan Vanthienen and George Varvaressos and Eric Verbeek and Marc Verdonk and Roberto Vigo and Jianmin Wang and Barbara Weber and Matthias Weidlich and Ton Weijters and Lijie Wen and Michael Westergaard and Moe Thandar Wynn}, editor = {Florian Daniel and Kamel Barkaoui and Schahram Dustdar}, title = {Process Mining Manifesto}, booktitle = {Business Process Management Workshops - {BPM} 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part {I}}, series = {Lecture Notes in Business Information Processing}, volume = {99}, pages = {169--194}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-28108-2\_19}, doi = {10.1007/978-3-642-28108-2\_19}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/AalstAM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/BoseVA11, author = {R. P. Jagadeesh Chandra Bose and Henricus M. W. (Eric) Verbeek and Wil M. P. van der Aalst}, editor = {Selmin Nurcan}, title = {Discovering Hierarchical Process Models Using ProM}, booktitle = {Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {734}, pages = {33--40}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-734/PaperDemo05.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:34 +0100}, biburl = {https://dblp.org/rec/conf/caise/BoseVA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/BoseVA11a, author = {R. P. Jagadeesh Chandra Bose and Henricus M. W. (Eric) Verbeek and Wil M. P. van der Aalst}, editor = {Selmin Nurcan}, title = {Discovering Hierarchical Process Models Using ProM}, booktitle = {{IS} Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers}, series = {Lecture Notes in Business Information Processing}, volume = {107}, pages = {33--48}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29749-6\_3}, doi = {10.1007/978-3-642-29749-6\_3}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/BoseVA11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/VerbeekWAH10, author = {H. M. W. Verbeek and Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede}, title = {Reduction rules for reset/inhibitor nets}, journal = {J. Comput. Syst. Sci.}, volume = {76}, number = {2}, pages = {125--143}, year = {2010}, url = {https://doi.org/10.1016/j.jcss.2009.06.003}, doi = {10.1016/J.JCSS.2009.06.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/VerbeekWAH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/AalstRVDKG10, author = {Wil M. P. van der Aalst and Vladimir A. Rubin and H. M. W. Verbeek and Boudewijn F. van Dongen and Ekkart Kindler and Christian W. G{\"{u}}nther}, title = {Process mining: a two-step approach to balance between underfitting and overfitting}, journal = {Softw. Syst. Model.}, volume = {9}, number = {1}, pages = {87--111}, year = {2010}, url = {https://doi.org/10.1007/s10270-008-0106-z}, doi = {10.1007/S10270-008-0106-Z}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/AalstRVDKG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/VerbeekBDA10, author = {Eric Verbeek and Joos C. A. M. Buijs and Boudewijn F. van Dongen and Wil M. P. van der Aalst}, editor = {Marcello La Rosa}, title = {ProM 6: The Process Mining Toolkit}, booktitle = {Proceedings of the Business Process Management 2010 Demonstration Track, Hoboken, NJ, USA, September 14-16, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {615}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-615/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/VerbeekBDA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/VerbeekBDA10, author = {H. M. W. Verbeek and Joos C. A. M. Buijs and Boudewijn F. van Dongen and Wil M. P. van der Aalst}, editor = {Pnina Soffer and Erik Proper}, title = {XES, XESame, and ProM 6}, booktitle = {Information Systems Evolution - CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010, Selected Extended Papers}, series = {Lecture Notes in Business Information Processing}, volume = {72}, pages = {60--75}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17722-4\_5}, doi = {10.1007/978-3-642-17722-4\_5}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/VerbeekBDA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/VerbeekBDA10a, author = {Eric Verbeek and Joos C. A. M. Buijs and Boudewijn F. van Dongen and Wil M. P. van der Aalst}, editor = {Pnina Soffer and Erik Proper}, title = {{XES} Tools}, booktitle = {Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {592}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-592/PaperDemo07.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:35 +0100}, biburl = {https://dblp.org/rec/conf/caise/VerbeekBDA10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/yawl2010/VerbeekW10, author = {Eric Verbeek and Moe Thandar Wynn}, editor = {Arthur H. M. ter Hofstede and Wil M. P. van der Aalst and Michael Adams and Nick Russell}, title = {Verification}, booktitle = {Modern Business Process Automation - {YAWL} and its Support Environment}, pages = {513--539}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-03121-2\_20}, doi = {10.1007/978-3-642-03121-2\_20}, timestamp = {Mon, 18 Jan 2021 13:55:27 +0100}, biburl = {https://dblp.org/rec/books/sp/yawl2010/VerbeekW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bpmj/WynnVAHE09, author = {Moe Thandar Wynn and H. M. W. Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond}, title = {Business process verification - finally a reality!}, journal = {Bus. Process. Manag. J.}, volume = {15}, number = {1}, pages = {74--92}, year = {2009}, url = {https://doi.org/10.1108/14637150910931479}, doi = {10.1108/14637150910931479}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bpmj/WynnVAHE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijbpim/LohmannVOS09, author = {Niels Lohmann and Eric Verbeek and Chun Ouyang and Christian Stahl}, title = {Comparing and evaluating Petri net semantics for {BPEL}}, journal = {Int. J. Bus. Process. Integr. Manag.}, volume = {4}, number = {1}, pages = {60--73}, year = {2009}, url = {https://doi.org/10.1504/IJBPIM.2009.026986}, doi = {10.1504/IJBPIM.2009.026986}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijbpim/LohmannVOS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/WynnVAHE09, author = {Moe Thandar Wynn and H. M. W. Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond}, title = {Reduction rules for {YAWL} workflows with cancellation regions and OR-joins}, journal = {Inf. Softw. Technol.}, volume = {51}, number = {6}, pages = {1010--1020}, year = {2009}, url = {https://doi.org/10.1016/j.infsof.2008.12.002}, doi = {10.1016/J.INFSOF.2008.12.002}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/WynnVAHE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/WynnVAHE09, author = {Moe Thandar Wynn and H. M. W. Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond}, title = {Soundness-preserving reduction rules for reset workflow nets}, journal = {Inf. Sci.}, volume = {179}, number = {6}, pages = {769--790}, year = {2009}, url = {https://doi.org/10.1016/j.ins.2008.10.033}, doi = {10.1016/J.INS.2008.10.033}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/WynnVAHE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/LohmannVD09, author = {Niels Lohmann and Eric Verbeek and Remco M. Dijkman}, title = {Petri Net Transformations for Business Processes - {A} Survey}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {2}, pages = {46--63}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00899-3\_3}, doi = {10.1007/978-3-642-00899-3\_3}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/LohmannVD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/HeeVSS09, author = {Kees M. van Hee and H. M. W. Verbeek and Christian Stahl and Natalia Sidorova}, title = {A Framework for Linking and Pricing No-Cure-No-Pay Services}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {2}, pages = {192--207}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00899-3\_11}, doi = {10.1007/978-3-642-00899-3\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/HeeVSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/AalstHHSVVW09, author = {Wil M. P. van der Aalst and Kees M. van Hee and Arthur H. M. ter Hofstede and Natalia Sidorova and H. M. W. Verbeek and Marc Voorhoeve and Moe Thandar Wynn}, title = {Soundness of Workflow Nets with Reset Arcs}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {3}, pages = {50--70}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04856-2\_3}, doi = {10.1007/978-3-642-04856-2\_3}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/AalstHHSVVW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/AalstDGRVW09, author = {Wil M. P. van der Aalst and Boudewijn F. van Dongen and Christian W. G{\"{u}}nther and Anne Rozinat and Eric Verbeek and Ton Weijters}, editor = {Ana Karla A. de Medeiros and Barbara Weber}, title = {ProM: The Process Mining Toolkit}, booktitle = {Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), Ulm, Germany, September 8, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {489}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-489/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/AalstDGRVW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/AalstV08, author = {Wil M. P. van der Aalst and H. M. W. Verbeek}, title = {Process Mining in Web Services: The WebSphere Case}, journal = {{IEEE} Data Eng. Bull.}, volume = {31}, number = {3}, pages = {45--48}, year = {2008}, url = {http://sites.computer.org/debull/A08Sept/aalst.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/AalstV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/MendlingVDAN08, author = {Jan Mendling and H. M. W. Verbeek and Boudewijn F. van Dongen and Wil M. P. van der Aalst and Gustaf Neumann}, title = {Detection and prediction of errors in EPCs of the {SAP} reference model}, journal = {Data Knowl. Eng.}, volume = {64}, number = {1}, pages = {312--329}, year = {2008}, url = {https://doi.org/10.1016/j.datak.2007.06.019}, doi = {10.1016/J.DATAK.2007.06.019}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/MendlingVDAN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/GottschalkAJV08, author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen{-}Vullers and H. M. W. Verbeek}, title = {Protos2CPN: using colored Petri nets for configuring and testing business processes}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {10}, number = {1}, pages = {95--110}, year = {2008}, url = {https://doi.org/10.1007/s10009-007-0055-9}, doi = {10.1007/S10009-007-0055-9}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/GottschalkAJV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toit/AalstDORV08, author = {Wil M. P. van der Aalst and Marlon Dumas and Chun Ouyang and Anne Rozinat and Eric Verbeek}, title = {Conformance checking of service behavior}, journal = {{ACM} Trans. Internet Techn.}, volume = {8}, number = {3}, pages = {13:1--13:30}, year = {2008}, url = {https://doi.org/10.1145/1361186.1361189}, doi = {10.1145/1361186.1361189}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toit/AalstDORV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/VerbeekPAW08, author = {Henricus M. W. (Eric) Verbeek and A. Johannes Pretorius and Wil M. P. van der Aalst and Jarke J. van Wijk}, title = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {1}, pages = {152--171}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89287-8\_10}, doi = {10.1007/978-3-540-89287-8\_10}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/VerbeekPAW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cii/DongenJVA07, author = {Boudewijn F. van Dongen and Monique H. Jansen{-}Vullers and H. M. W. Verbeek and Wil M. P. van der Aalst}, title = {Verification of the {SAP} reference models using {EPC} reduction, state-space analysis, and invariants}, journal = {Comput. Ind.}, volume = {58}, number = {6}, pages = {578--601}, year = {2007}, url = {https://doi.org/10.1016/j.compind.2007.01.001}, doi = {10.1016/J.COMPIND.2007.01.001}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cii/DongenJVA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/VerbeekAH07, author = {H. M. W. Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede}, title = {Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants}, journal = {Comput. J.}, volume = {50}, number = {3}, pages = {294--314}, year = {2007}, url = {https://doi.org/10.1093/comjnl/bxl074}, doi = {10.1093/COMJNL/BXL074}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/VerbeekAH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/AalstBCCV07, author = {Wil M. P. van der Aalst and Boualem Benatallah and Fabio Casati and Francisco Curbera and Eric Verbeek}, title = {Business process management: Where business processes and web services meet}, journal = {Data Knowl. Eng.}, volume = {61}, number = {1}, pages = {1--5}, year = {2007}, url = {https://doi.org/10.1016/j.datak.2006.04.005}, doi = {10.1016/J.DATAK.2006.04.005}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/AalstBCCV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/AalstRWDMSV07, author = {Wil M. P. van der Aalst and Hajo A. Reijers and A. J. M. M. Weijters and Boudewijn F. van Dongen and Ana Karla Alves de Medeiros and Minseok Song and H. M. W. Verbeek}, title = {Business process mining: An industrial application}, journal = {Inf. Syst.}, volume = {32}, number = {5}, pages = {713--732}, year = {2007}, url = {https://doi.org/10.1016/j.is.2006.05.003}, doi = {10.1016/J.IS.2006.05.003}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/is/AalstRWDMSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/OuyangVABDH07, author = {Chun Ouyang and Eric Verbeek and Wil M. P. van der Aalst and Stephan Breutel and Marlon Dumas and Arthur H. M. ter Hofstede}, title = {Formal semantics and analysis of control flow in {WS-BPEL}}, journal = {Sci. Comput. Program.}, volume = {67}, number = {2-3}, pages = {162--198}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2007.03.002}, doi = {10.1016/J.SCICO.2007.03.002}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/OuyangVABDH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AalstDGMMRRSVW07, author = {Wil M. P. van der Aalst and Boudewijn F. van Dongen and Christian W. G{\"{u}}nther and R. S. Mans and Ana Karla Alves de Medeiros and Anne Rozinat and Vladimir A. Rubin and Minseok Song and H. M. W. Verbeek and A. J. M. M. Weijters}, editor = {Jetty Kleijn and Alexandre Yakovlev}, title = {ProM 4.0: Comprehensive Support for \emph{Real} Process Analysis}, booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4546}, pages = {484--494}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73094-1\_28}, doi = {10.1007/978-3-540-73094-1\_28}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/AalstDGMMRRSVW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/MendlingMNVDA06, author = {Jan Mendling and Michael Moser and Gustaf Neumann and H. M. W. Verbeek and Boudewijn F. van Dongen and Wil M. P. van der Aalst}, editor = {Schahram Dustdar and Jos{\'{e}} Luiz Fiadeiro and Amit P. Sheth}, title = {Faulty EPCs in the {SAP} Reference Model}, booktitle = {Business Process Management, 4th International Conference, {BPM} 2006, Vienna, Austria, September 5-7, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4102}, pages = {451--457}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841760\_38}, doi = {10.1007/11841760\_38}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/MendlingMNVDA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/VerbeekDMA06, author = {H. M. W. Verbeek and Boudewijn F. van Dongen and Jan Mendling and Wil M. P. van der Aalst}, editor = {Michele Missikoff and Antonio De Nicola and Fulvio D'Antonio}, title = {Interoperability in the ProM Framework}, booktitle = {{EMOI} - INTEROP'06, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE'06 Conference, Luxembourg, 5th-6th June 2006}, series = {{CEUR} Workshop Proceedings}, volume = {200}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-200/08.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:34 +0100}, biburl = {https://dblp.org/rec/conf/caise/VerbeekDMA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epk/BarborkaHKMNDVA06, author = {Paul Barborka and Lukas Helm and Georg K{\"{o}}ldorfer and Jan Mendling and Gustaf Neumann and Boudewijn F. van Dongen and Eric Verbeek and Wil M. P. van der Aalst}, editor = {Markus N{\"{u}}ttgens and Frank J. Rump and Jan Mendling}, title = {Integration of EPC-related Tools with ProM}, booktitle = {5. Workshop der Gesellschaft f{\"{u}}r Informatik e.V. {(GI)} und Treffen ihres Arbeitskreises "Gesch{\"{a}}ftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November - 01. Dezember 2006}, series = {{CEUR} Workshop Proceedings}, volume = {224}, pages = {105--120}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-224/epk2006-paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/epk/BarborkaHKMNDVA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/AalstDORV06, author = {Wil M. P. van der Aalst and Marlon Dumas and Chun Ouyang and Anne Rozinat and H. M. W. Verbeek}, editor = {Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil M. P. van der Aalst}, title = {Choreography Conformance Checking: An Approach based on {BPEL} and Petri Nets}, booktitle = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006}, series = {Dagstuhl Seminar Proceedings}, volume = {06291}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/830}, timestamp = {Thu, 10 Jun 2021 13:02:07 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/AalstDORV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/DongenMVWA05, author = {Boudewijn F. van Dongen and Ana Karla A. de Medeiros and H. M. W. Verbeek and A. J. M. M. Weijters and Wil M. P. van der Aalst}, editor = {Gianfranco Ciardo and Philippe Darondeau}, title = {The ProM Framework: {A} New Era in Process Mining Tool Support}, booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference, {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3536}, pages = {444--454}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494744\_25}, doi = {10.1007/11494744\_25}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/DongenMVWA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekHRM05, author = {Eric Verbeek and Maarte van Hattem and Hajo A. Reijers and Wendy de Munk}, editor = {Gianfranco Ciardo and Philippe Darondeau}, title = {Protos 7.0: Simulation Made Accessible}, booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference, {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3536}, pages = {465--474}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494744\_27}, doi = {10.1007/11494744\_27}, timestamp = {Wed, 31 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/VerbeekHRM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/DongenAV05, author = {Boudewijn F. van Dongen and Wil M. P. van der Aalst and H. M. W. Verbeek}, editor = {Oscar Pastor and Jo{\~{a}}o Falc{\~{a}}o e Cunha}, title = {Verification of EPCs: Using Reduction Rules and Petri Nets}, booktitle = {Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3520}, pages = {372--386}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11431855\_26}, doi = {10.1007/11431855\_26}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/DongenAV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/AalstDHRVW05, author = {Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede and Nick Russell and H. M. W. Verbeek and Petia Wohed}, editor = {Mario Bravetti and Le{\"{\i}}la Kloul and Gianluigi Zavattaro}, title = {Life After BPEL?}, booktitle = {Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, {EPEW} 2005 and International Workshop on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France, September 1-3, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3670}, pages = {35--50}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11549970\_4}, doi = {10.1007/11549970\_4}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/AalstDHRVW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/OuyangVABDH05, author = {Chun Ouyang and Eric Verbeek and Wil M. P. van der Aalst and Stephan Breutel and Marlon Dumas and Arthur H. M. ter Hofstede}, editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso}, title = {WofBPEL: {A} Tool for Automated Analysis of {BPEL} Processes}, booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3826}, pages = {484--489}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596141\_37}, doi = {10.1007/11596141\_37}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/OuyangVABDH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/WeskeAV04, author = {Mathias Weske and Wil M. P. van der Aalst and H. M. W. Verbeek}, title = {Advances in business process management}, journal = {Data Knowl. Eng.}, volume = {50}, number = {1}, pages = {1--8}, year = {2004}, url = {https://doi.org/10.1016/j.datak.2004.01.001}, doi = {10.1016/J.DATAK.2004.01.001}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/WeskeAV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/itm/VerbeekAK04, author = {H. M. W. Verbeek and Wil M. P. van der Aalst and Akhil Kumar}, title = {XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows}, journal = {Inf. Technol. Manag.}, volume = {5}, number = {1-2}, pages = {65--110}, year = {2004}, url = {https://doi.org/10.1023/B:ITEM.0000008077.91413.86}, doi = {10.1023/B:ITEM.0000008077.91413.86}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/itm/VerbeekAK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekT04, author = {Eric Verbeek and Robert A. van der Toorn}, editor = {Jordi Cortadella and Wolfgang Reisig}, title = {Transit Case Study}, booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference, {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3099}, pages = {391--410}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27793-4\_22}, doi = {10.1007/978-3-540-27793-4\_22}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/VerbeekT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekB03, author = {H. M. W. Verbeek and Twan Basten}, editor = {Wil M. P. van der Aalst and Eike Best}, title = {Deciding Life-Cycle Inheritance on Petri Nets}, booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference, {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2679}, pages = {44--63}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44919-1\_7}, doi = {10.1007/3-540-44919-1\_7}, timestamp = {Sat, 19 Oct 2019 20:09:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/VerbeekB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AalstKV03, author = {Wil M. P. van der Aalst and Akhil Kumar and H. M. W. Verbeek}, editor = {Gary B. Lamont and Hisham Haddad and George A. Papadopoulos and Brajendra Panda}, title = {Organizational Modeling in {UML} and {XML} in the Context of Workflow Systems}, booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, {USA}}, pages = {603--608}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/952532.952652}, doi = {10.1145/952532.952652}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/AalstKV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jmis/KumarAV02, author = {Akhil Kumar and Wil M. P. van der Aalst and Henricus M. W. (Eric) Verbeek}, title = {Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance}, journal = {J. Manag. Inf. Syst.}, volume = {18}, number = {3}, pages = {157--194}, year = {2002}, url = {https://doi.org/10.1080/07421222.2002.11045693}, doi = {10.1080/07421222.2002.11045693}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jmis/KumarAV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/AalstHV02, author = {Wil M. P. van der Aalst and Alexander Hirnschall and H. M. W. Verbeek}, editor = {Anne Banks Pidduck and John Mylopoulos and Carson C. Woo and M. Tamer {\"{O}}zsu}, title = {An Alternative Way to Analyze Workflow Graphs}, booktitle = {Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2348}, pages = {535--552}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-47961-9\_37}, doi = {10.1007/3-540-47961-9\_37}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/AalstHV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wes/VerbeekHA02, author = {H. M. W. Verbeek and Alexander Hirnschall and Wil M. P. van der Aalst}, editor = {Christoph Bussler and Richard Hull and Sheila A. McIlraith and Maria E. Orlowska and Barbara Pernici and Jian Yang}, title = {XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology}, booktitle = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2512}, pages = {93--108}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36189-8\_8}, doi = {10.1007/3-540-36189-8\_8}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wes/VerbeekHA02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/VerbeekBA01, author = {H. M. W. Verbeek and Twan Basten and Wil M. P. van der Aalst}, title = {Diagnosing Workflow Processes using Woflan}, journal = {Comput. J.}, volume = {44}, number = {4}, pages = {246--279}, year = {2001}, url = {https://doi.org/10.1093/comjnl/44.4.246}, doi = {10.1093/COMJNL/44.4.246}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/VerbeekBA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cscwd/AalstVK01, author = {Wil M. P. van der Aalst and H. M. W. Verbeek and Akhil Kumar}, editor = {Weiming Shen and Zongkai Lin and Jean{-}Paul A. Barth{\`{e}}s and Mohamed Kamel}, title = {Verification of {XRL:} An XML-based Workflow Language}, booktitle = {Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, {CSCWD} 2001, July 12-14, 2001, London, Ontario, Canada}, pages = {427--432}, publisher = {{IEEE}}, year = {2001}, url = {https://doi.org/10.1109/CSCWD.2001.942298}, doi = {10.1109/CSCWD.2001.942298}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/cscwd/AalstVK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/VerbeekA00, author = {Eric Verbeek and Wil M. P. van der Aalst}, editor = {Mogens Nielsen and Dan Simpson}, title = {Woflan 2.0: {A} Petri-Net-Based Workflow Diagnosis Tool}, booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding}, series = {Lecture Notes in Computer Science}, volume = {1825}, pages = {475--484}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44988-4\_28}, doi = {10.1007/3-540-44988-4\_28}, timestamp = {Sat, 07 Sep 2019 11:59:23 +0200}, biburl = {https://dblp.org/rec/conf/apn/VerbeekA00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/AalstBVVV99, author = {Wil M. P. van der Aalst and Twan Basten and H. M. W. Verbeek and Peter A. C. Verkoulen and Marc Voorhoeve}, title = {Adaptive Workflow-On the Interplay between Flexibility and Support}, booktitle = {Proceedings of the 1st International Conference on Enterprise Information Systems, Setubal, Portugal, 27-30 March 1999}, pages = {353--360}, publisher = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal, Portugal}, year = {1999}, timestamp = {Mon, 15 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceis/AalstBVVV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.