{"id":"https://openalex.org/W4319877724","doi":"https://doi.org/10.1007/978-3-031-25383-6_18","title":"Process Mining Meets Statistical Model Checking: Towards a\u00a0Novel Approach to\u00a0Model Validation and\u00a0Enhancement","display_name":"Process Mining Meets Statistical Model Checking: Towards a\u00a0Novel Approach to\u00a0Model Validation and\u00a0Enhancement","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4319877724","doi":"https://doi.org/10.1007/978-3-031-25383-6_18"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-25383-6_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-25383-6_18","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.iris.sssup.it/bitstream/11382/560853/1/2022_dec2h.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022709755","display_name":"Roberto Casaluce","orcid":"https://orcid.org/0000-0002-5786-9167"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]},{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Casaluce","raw_affiliation_strings":["Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","University of Pisa, Pisa, Italy","Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077864256","display_name":"Andrea Burattin","orcid":"https://orcid.org/0000-0002-0837-0183"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrea Burattin","raw_affiliation_strings":["DTU Technical University of Denmark, Kgs. Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DTU Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015561999","display_name":"Francesca Chiaromonte","orcid":"https://orcid.org/0000-0001-5605-9886"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]},{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"Francesca Chiaromonte","raw_affiliation_strings":["Department of Statistics and Huck Institutes of the Life Sciences, Penn State University, Pennsylvania, USA","Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Statistics and Huck Institutes of the Life Sciences, Penn State University, Pennsylvania, USA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023123658","display_name":"Andrea Vandin","orcid":"https://orcid.org/0000-0002-2606-7241"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]},{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK","IT"],"is_corresponding":true,"raw_author_name":"Andrea Vandin","raw_affiliation_strings":["DTU Technical University of Denmark, Kgs. Lyngby, Denmark","Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DTU Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant\u2019Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"Institute of Economics and EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023123658"],"corresponding_institution_ids":["https://openalex.org/I162290304","https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"243","last_page":"256"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6991549134254456},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6521250009536743},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6337875127792358},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5592799186706543},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.48649924993515015},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.467285692691803},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.353458046913147},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3437013328075409},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08237934112548828}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6991549134254456},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6521250009536743},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6337875127792358},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5592799186706543},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.48649924993515015},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.467285692691803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.353458046913147},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3437013328075409},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08237934112548828},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-25383-6_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-25383-6_18","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"},{"id":"pmh:oai:www.iris.sssup.it:11382/560853","is_oa":true,"landing_page_url":"https://hdl.handle.net/11382/560853","pdf_url":"https://www.iris.sssup.it/bitstream/11382/560853/1/2022_dec2h.pdf","source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:arpi.unipi.it:11568/1292909","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1292909","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:www.iris.sssup.it:11382/560853","is_oa":true,"landing_page_url":"https://hdl.handle.net/11382/560853","pdf_url":"https://www.iris.sssup.it/bitstream/11382/560853/1/2022_dec2h.pdf","source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4319877724.pdf"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W97138409","https://openalex.org/W1521415124","https://openalex.org/W1560643704","https://openalex.org/W1740986913","https://openalex.org/W1992287205","https://openalex.org/W2096349415","https://openalex.org/W2100914165","https://openalex.org/W2125930621","https://openalex.org/W2140481308","https://openalex.org/W2146024157","https://openalex.org/W2507595475","https://openalex.org/W2527872501","https://openalex.org/W2748309608","https://openalex.org/W2787596386","https://openalex.org/W2808965408","https://openalex.org/W2962858291","https://openalex.org/W3140384403","https://openalex.org/W3176857194","https://openalex.org/W4220849261","https://openalex.org/W4243932450","https://openalex.org/W4281912483"],"related_works":["https://openalex.org/W2062195135","https://openalex.org/W2795079307","https://openalex.org/W2961085424","https://openalex.org/W2793058541","https://openalex.org/W1983629434","https://openalex.org/W2055929693","https://openalex.org/W4224009465","https://openalex.org/W4324271173","https://openalex.org/W2352227742","https://openalex.org/W4390679071"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}