{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:07:07Z","timestamp":1775912827708,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030266189","type":"print"},{"value":"9783030266196","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-26619-6_13","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:12:33Z","timestamp":1566515553000},"page":"179-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Estimating Process Conformance by Trace Sampling and Result Approximation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"van der Aa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,23]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery, Conformance and Enhancement of Business Processes","author":"WMP Van der Aalst","year":"2011","unstructured":"Van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"key":"13_CR2","series-title":"Proceedings of the I-ESA Conferences","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-04948-9_2","volume-title":"Enterprise Interoperability VI","author":"WMP Aalst","year":"2014","unstructured":"Aalst, W.M.P.: Data scientist: the engineer of the future. In: Mertins, K., B\u00e9naben, F., Poler, R., Bourri\u00e8res, J.-P. (eds.) Enterprise Interoperability VI. PIC, vol. 7, pp. 13\u201326. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04948-9_2"},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-2014-1006","volume":"131","author":"WMPV der Aalst","year":"2014","unstructured":"der Aalst, W.M.P.V., Verbeek, H.M.W.: Process discovery and conformance checking using passages. Fundam. Inform. 131(1), 103\u2013138 (2014)","journal-title":"Fundam. Inform."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B., Van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: EDOC, pp. 55\u201364 (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, M., Senderovich, A., Gal, A., Grunske, L., Weidlich, M.: How much event data is enough? A statistical framework for process discovery. In: CAiSE, pp. 239\u2013256 (2018)","DOI":"10.1007\/978-3-319-91563-0_15"},{"issue":"6","key":"13_CR6","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"100","author":"AW Biermann","year":"1972","unstructured":"Biermann, A.W., Feldman, J.A.: On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. Comput. 100(6), 592\u2013597 (1972)","journal-title":"IEEE Trans. Comput."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Busany, N., Maoz, S.: Behavioral log analysis with statistical guarantees. In: ICSE, pp. 877\u2013887. ACM (2016)","DOI":"10.1145\/2884781.2884805"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-15880-3_18","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"J Carmona","year":"2010","unstructured":"Carmona, J., Cortadella, J.: Process mining meets abstract interpretation. In: Balc\u00e1zar, J.L., Bonchi, F., Gionis, A., Sebag, M. (eds.) ECML PKDD 2010. LNCS (LNAI), vol. 6321, pp. 184\u2013199. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15880-3_18"},{"key":"13_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance Checking - Relating Processes and Models","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, H., Maoz, S.: Have we seen enough traces? In: ASE, pp. 93\u2013103. IEEE (2015)","DOI":"10.1109\/ASE.2015.62"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"De Leoni, M.M., Mannhardt, F.F.: Road traffic fine management process (2015). https:\/\/doi.org\/10.4121\/uuid:270fd440-1057-4fb9-89a9-b699b47990f5","DOI":"10.4121\/uuid:270fd440-1057-4fb9-89a9-b699b47990f5"},{"key":"13_CR12","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-93931-5_12","volume-title":"Business Information Systems","author":"PM Dixit","year":"2018","unstructured":"Dixit, P.M., Buijs, J.C.A.M., Verbeek, H.M.W., van der Aalst, W.M.P.: Fast incremental conformance analysis for interactive process discovery. In: Abramowicz, W., Paschke, A. (eds.) BIS 2018. LNBIP, vol. 320, pp. 163\u2013175. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93931-5_12"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-98648-7_12","volume-title":"Business Process Management","author":"BF Dongen","year":"2018","unstructured":"Dongen, B.F.: Efficiently computing alignments - using the extended marking equation. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 197\u2013214. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_12"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-59536-8_7","volume-title":"Advanced Information Systems Engineering","author":"B van Dongen","year":"2017","unstructured":"van Dongen, B., Carmona, J., Chatain, T., Taymouri, F.: Aligning modeled and observed behavior: a compromise between computation complexity and quality. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 94\u2013109. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_7"},{"key":"13_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","edition":"2"},{"issue":"3","key":"13_CR16","first-page":"469","volume":"9","author":"J Evermann","year":"2016","unstructured":"Evermann, J.: Scalable process discovery using map-reduce. IEEE TSC 9(3), 469\u2013481 (2016)","journal-title":"IEEE TSC"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"van Hee, K.M., Liu, Z., Sidorova, N.: Is my event log complete? - a probabilistic approach to process mining. In: International Conference on Research Challenges in Information Science, pp. 1\u20137 (2011)","DOI":"10.1109\/RCIS.2011.6006848"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ins.2018.07.026","volume":"466","author":"WLJ Lee","year":"2018","unstructured":"Lee, W.L.J., Verbeek, H.M.W., Munoz-Gama, J., der Aalst, W.M.P.V., Sep\u00falveda, M.: Recomposing conformance: closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466, 55\u201391 (2018)","journal-title":"Inf. Sci."},{"key":"13_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"2","author":"SJJ Leemans","year":"2018","unstructured":"Leemans, S.J.J., Fahland, D., der Aalst, W.M.P.V.: Scalable process discovery and conformance checking. Softw. Syst. Model. 2, 599\u2013631 (2018)","journal-title":"Softw. Syst. Model."},{"key":"13_CR21","unstructured":"de Leoni, M., Marrella, A.: How planning techniques can help process mining: the conformance-checking case. In: Italian Symposium on Advanced Database Systems, p. 283 (2017)"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.scico.2017.04.004","volume":"145","author":"C Luo","year":"2017","unstructured":"Luo, C., He, F., Ghezzi, C.: Inferring software behavioral models with MapReduce. Sci. Comput. Program. 145, 13\u201336 (2017)","journal-title":"Sci. Comput. Program."},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Munoz-Gama","year":"2014","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014)","journal-title":"Inf. Syst."},{"key":"13_CR24","unstructured":"(Jorge) Munoz-Gama, J.: Conformance checking in the large (dataset) (2013). https:\/\/data.4tu.nl\/repository\/uuid:44c32783-15d0-4dbd-af8a-78b97be3de49"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-319-69462-7_38","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"D Rei\u00dfner","year":"2017","unstructured":"Rei\u00dfner, D., Conforti, R., Dumas, M., Rosa, M.L., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 607\u2013627. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_38"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-45348-4_11","volume-title":"Business Process Management","author":"A Rogge-Solti","year":"2016","unstructured":"Rogge-Solti, A., Senderovich, A., Weidlich, M., Mendling, J., Gal, A.: In log and model we trust? A generalized conformance checking framework. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 179\u2013196. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_11"},{"issue":"1","key":"13_CR27","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., Van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"13_CR28","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-74161-1_1","volume-title":"Data-Driven Process Discovery and Analysis","author":"F Taymouri","year":"2018","unstructured":"Taymouri, F., Carmona, J.: Model and event log reductions to boost the computation of alignments. In: Ceravolo, P., Guetl, C., Rinderle-Ma, S. (eds.) SIMPDA 2016. LNBIP, vol. 307, pp. 1\u201321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74161-1_1"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-45348-4_12","volume-title":"Business Process Management","author":"F Taymouri","year":"2016","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 197\u2013214. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_12"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-98648-7_13","volume-title":"Business Process Management","author":"F Taymouri","year":"2018","unstructured":"Taymouri, F., Carmona, J.: An evolutionary technique to approximate multiple optimal alignments. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 215\u2013232. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_13"},{"key":"13_CR31","doi-asserted-by":"publisher","unstructured":"Van Dongen, B.: BPI Challenge 2012 (2012). https:\/\/doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f","DOI":"10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"Van Dongen, B.: BPI Challenge 2014 (2014). https:\/\/doi.org\/10.4121\/uuid:c3e5d162-0cfd-4bb0-bd82-af5268819c35","DOI":"10.4121\/uuid:c3e5d162-0cfd-4bb0-bd82-af5268819c35"},{"key":"13_CR33","unstructured":"Verbeek, E., Buijs, J.C.A.M., van Dongen, B.F., der Aalst, W.M.P.V.: ProM 6: the process mining toolkit. In: Business Process Management (Demonstration Track) (2010)"},{"issue":"3","key":"13_CR34","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. DKE 66(3), 438\u2013466 (2008)","journal-title":"DKE"},{"issue":"7","key":"13_CR35","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1016\/j.is.2011.04.002","volume":"36","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst. 36(7), 1009\u20131025 (2011)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-26619-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T18:17:07Z","timestamp":1724437027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-26619-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030266189","9783030266196"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26619-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2019.ai.wu.ac.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"115","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 13 papers were published from the BPM forum","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}