{"id":"https://openalex.org/W2903210375","doi":"https://doi.org/10.1109/snams.2018.8554490","title":"On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction","display_name":"On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2903210375","doi":"https://doi.org/10.1109/snams.2018.8554490","mag":"2903210375"},"language":"en","primary_location":{"id":"doi:10.1109/snams.2018.8554490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snams.2018.8554490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Fifth International Conference on Social Networks Analysis, Management and Security (SNAMS)","raw_type":"proceedings-article"},"type":"article","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/A5109469554","display_name":"Joaqu\u00edn Ezpeleta","orcid":null},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Joaquin Ezpeleta","raw_affiliation_strings":["Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082028210","display_name":"Javier Fabra","orcid":"https://orcid.org/0000-0001-5549-7649"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Javier Fabra","raw_affiliation_strings":["Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076336179","display_name":"Pedro \u00c1lvarez","orcid":"https://orcid.org/0000-0002-6584-7259"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pedro Alvarez","raw_affiliation_strings":["Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Systems Engineering, University of Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109469554"],"corresponding_institution_ids":["https://openalex.org/I255234318"],"apc_list":null,"apc_paid":null,"fwci":0.3303,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58423391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"abs 1805 2896","issue":null,"first_page":"209","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.7804253101348877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7621006965637207},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6717982292175293},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5310255289077759},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5303407907485962},{"id":"https://openalex.org/keywords/cluster","display_name":"Cluster (spacecraft)","score":0.5252736806869507},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5014991760253906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10400083661079407}],"concepts":[{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.7804253101348877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7621006965637207},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6717982292175293},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5310255289077759},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5303407907485962},{"id":"https://openalex.org/C164866538","wikidata":"https://www.wikidata.org/wiki/Q367351","display_name":"Cluster (spacecraft)","level":2,"score":0.5252736806869507},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5014991760253906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10400083661079407}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/snams.2018.8554490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snams.2018.8554490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Fifth International Conference on Social Networks Analysis, Management and Security (SNAMS)","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":34,"referenced_works":["https://openalex.org/W78500280","https://openalex.org/W949909655","https://openalex.org/W1490658580","https://openalex.org/W1497216216","https://openalex.org/W1505823450","https://openalex.org/W1506588809","https://openalex.org/W1590403160","https://openalex.org/W1964378344","https://openalex.org/W1964614255","https://openalex.org/W1966976587","https://openalex.org/W1980849679","https://openalex.org/W1998640084","https://openalex.org/W2053154970","https://openalex.org/W2063130532","https://openalex.org/W2064236088","https://openalex.org/W2089394389","https://openalex.org/W2143908786","https://openalex.org/W2513385748","https://openalex.org/W2562596959","https://openalex.org/W2584722588","https://openalex.org/W2725153349","https://openalex.org/W2732531607","https://openalex.org/W2735889767","https://openalex.org/W2737678507","https://openalex.org/W2754392875","https://openalex.org/W2783031613","https://openalex.org/W2783534614","https://openalex.org/W2964300152","https://openalex.org/W4230145224","https://openalex.org/W4294214983","https://openalex.org/W6635410170","https://openalex.org/W6741464371","https://openalex.org/W6747725777","https://openalex.org/W6751550724"],"related_works":["https://openalex.org/W2804364458","https://openalex.org/W4298130764","https://openalex.org/W2132641928","https://openalex.org/W4310225030","https://openalex.org/W2090259340","https://openalex.org/W2393816671","https://openalex.org/W2158836806","https://openalex.org/W2083665254","https://openalex.org/W1926736923","https://openalex.org/W2942177010"],"abstract_inverted_index":{"The":[0,36,67,100],"paper":[1,101],"proposes":[2],"the":[3,12,16,55,83,103,113],"use":[4],"of":[5,15,96,112],"Linear":[6],"Temporal":[7],"Logic":[8],"(LTL)":[9],"formulas":[10],"for":[11],"behavioral":[13],"description":[14],"traces":[17,29],"corresponding":[18],"to":[19,26,41,48,57,65,73,81,90,115],"log":[20],"files.":[21],"Such":[22],"descriptions":[23],"are":[24,39],"used":[25,40,72,104],"group":[27],"similar":[28],"into":[30],"classes":[31],"applying":[32],"standard":[33],"clustering":[34],"techniques.":[35],"classification":[37],"results":[38],"feed":[42,74],"a":[43,51,86,97,116],"machine":[44],"learning":[45],"system":[46,78],"able":[47],"predict,":[49],"after":[50],"few":[52],"initial":[53],"events,":[54],"cluster":[56,88],"which":[58],"an":[59,75],"in-execution":[60],"process":[61,84],"is":[62],"probably":[63],"going":[64],"belong.":[66],"prediction":[68],"model":[69],"could":[70],"be":[71],"on-line":[76],"recommendation":[77],"so":[79],"as":[80],"drive":[82],"towards":[85],"desired":[87],"or":[89],"prevent":[91],"it":[92],"from":[93],"being":[94],"part":[95],"non-desired":[98],"one.":[99],"describes":[102],"methodology":[105],"and":[106],"shows":[107],"its":[108],"validity":[109],"by":[110],"means":[111],"application":[114],"real":[117],"log.":[118]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}