{"id":"https://openalex.org/W4402836076","doi":"https://doi.org/10.1109/icpm63005.2024.10680673","title":"Stochastic Conformance Checking Based on Expected Subtrace Frequency","display_name":"Stochastic Conformance Checking Based on Expected Subtrace Frequency","publication_year":2024,"publication_date":"2024-09-25","ids":{"openalex":"https://openalex.org/W4402836076","doi":"https://doi.org/10.1109/icpm63005.2024.10680673"},"language":"en","primary_location":{"id":"doi:10.1109/icpm63005.2024.10680673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpm63005.2024.10680673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 6th International Conference on Process Mining (ICPM)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044807174","display_name":"Eduardo Goulart Rocha","orcid":"https://orcid.org/0009-0000-1184-1188"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eduardo Goulart Rocha","raw_affiliation_strings":["Celonis Labs GmbH & RWTH Aachen,Munich,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Celonis Labs GmbH & RWTH Aachen,Munich,Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088302185","display_name":"Sander J. J. Leemans","orcid":"https://orcid.org/0000-0002-5201-7125"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sander J. J. Leemans","raw_affiliation_strings":["RWTH Aachen University & Fraunhofer,Aachen,German"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University & Fraunhofer,Aachen,German","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wil M. P. van der Aalst","raw_affiliation_strings":["RWTH Aachen University & Celonis,Aachen,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University & Celonis,Aachen,Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9588000178337097,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9588000178337097,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6255401968955994},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.503736674785614},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.4338223934173584},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10632029175758362},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07949146628379822}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6255401968955994},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.503736674785614},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.4338223934173584},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10632029175758362},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07949146628379822},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.0},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icpm63005.2024.10680673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpm63005.2024.10680673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 6th International Conference on Process Mining (ICPM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1507394178","https://openalex.org/W1582482241","https://openalex.org/W2055664797","https://openalex.org/W2084864929","https://openalex.org/W2096998948","https://openalex.org/W2149406428","https://openalex.org/W2466492611","https://openalex.org/W3010860263","https://openalex.org/W3032960268","https://openalex.org/W3094402232","https://openalex.org/W3096326726","https://openalex.org/W3128849215","https://openalex.org/W3208930226","https://openalex.org/W4248402004","https://openalex.org/W4386315421","https://openalex.org/W4386321364","https://openalex.org/W4393951454","https://openalex.org/W6765709241","https://openalex.org/W6928829415"],"related_works":["https://openalex.org/W2911681873","https://openalex.org/W2899830690","https://openalex.org/W2792623478","https://openalex.org/W2255925291","https://openalex.org/W27343765","https://openalex.org/W83175175","https://openalex.org/W2555863781","https://openalex.org/W2075956577","https://openalex.org/W3150222403","https://openalex.org/W4387735465"],"abstract_inverted_index":{"Conformance":[0],"checking":[1,15],"focuses":[2],"on":[3,115],"quantifying":[4],"behavioral":[5],"differences":[6],"between":[7],"desired":[8,20],"and":[9,112,120,133],"observed":[10],"process":[11,25],"behavior.":[12],"Stochastic":[13],"conformance":[14,36],"considers":[16],"not":[17],"only":[18],"the":[19,28,58,67,127],"control":[21],"flow":[22],"of":[23,31,70,106,118],"a":[24,73,116],"but":[26],"also":[27],"relative":[29,68],"frequency":[30],"each":[32],"sequence.":[33],"State-of-the-art":[34],"stochastic":[35,59,74,77,101],"measures":[37,109],"either":[38],"cannot":[39],"gracefully":[40],"handle":[41],"partially":[42,138],"matching":[43],"traces":[44],"or":[45],"are":[46],"prohibitively":[47],"expensive":[48],"to":[49,94],"compute.":[50],"This":[51],"paper":[52],"bridges":[53],"this":[54,96],"gap":[55],"by":[56],"introducing":[57],"Markovian":[60,84],"abstraction.":[61],"The":[62,123],"abstraction":[63,97,128],"is":[64,110,134],"defined":[65],"as":[66],"occurrences":[69],"sub-traces":[71],"in":[72,136],"language.":[75],"Two":[76],"languages":[78],"can":[79,129],"be":[80,130],"compared":[81],"via":[82],"their":[83],"abstractions":[85],"using":[86],"existing":[87],"language":[88],"comparison":[89],"techniques.":[90],"We":[91],"show":[92,125],"how":[93],"compute":[95],"for":[98],"bounded,":[99],"livelock-free":[100],"labeled":[102],"Petri":[103],"nets.":[104],"One":[105],"its":[107],"derived":[108],"qualitatively":[111],"quantitatively":[113],"evaluated":[114],"series":[117],"artificial":[119],"real-world":[121],"datasets.":[122],"experiments":[124],"that":[126],"efficiently":[131],"computed":[132],"successful":[135],"handling":[137],"mismatching":[139],"traces.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}