{"id":"https://openalex.org/W1981164177","doi":"https://doi.org/10.1145/2491477.2491480","title":"Thread-based multi-engine model checking for multicore platforms","display_name":"Thread-based multi-engine model checking for multicore platforms","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W1981164177","doi":"https://doi.org/10.1145/2491477.2491480","mag":"1981164177"},"language":"en","primary_location":{"id":"doi:10.1145/2491477.2491480","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491477.2491480","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-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/A5075485175","display_name":"Gianpiero Cabodi","orcid":"https://orcid.org/0000-0001-5839-8697"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianpiero Cabodi","raw_affiliation_strings":["Politecnico di Torino, Turin, Italy","Politecnico di Torino, Turin, ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075895946","display_name":"Sergio Nocco","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sergio Nocco","raw_affiliation_strings":["Politecnico di Torino, Turin, Italy","Politecnico di Torino, Turin, ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023997315","display_name":"Stefano Quer","orcid":"https://orcid.org/0000-0001-6835-8277"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Quer","raw_affiliation_strings":["Politecnico di Torino, Turin, Italy","Politecnico di Torino, Turin, ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":0.729,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7157551,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"18","issue":"3","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.9285298585891724},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.668036699295044},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6575601100921631},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6398202180862427},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.586192786693573},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5384357571601868},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5311827659606934},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.5206179618835449},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.5005092620849609},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49457332491874695},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4780355393886566},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.44761496782302856},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.44068291783332825},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30275413393974304},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15967035293579102}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9285298585891724},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.668036699295044},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6575601100921631},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6398202180862427},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.586192786693573},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5384357571601868},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5311827659606934},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.5206179618835449},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.5005092620849609},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49457332491874695},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4780355393886566},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.44761496782302856},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.44068291783332825},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30275413393974304},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15967035293579102},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2491477.2491480","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491477.2491480","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},{"id":"pmh:oai:porto.polito.it:2517325","is_oa":false,"landing_page_url":"http://porto.polito.it/2517325/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402038","display_name":"PORTO Publications Open Repository TOrino (Politecnico di Torino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177477856","host_organization_name":"Politecnico di Torino","host_organization_lineage":["https://openalex.org/I177477856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:1084-4309","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W158822462","https://openalex.org/W1495266209","https://openalex.org/W1510368738","https://openalex.org/W1523688497","https://openalex.org/W1528837436","https://openalex.org/W1549166962","https://openalex.org/W1549820563","https://openalex.org/W1560358765","https://openalex.org/W1563456403","https://openalex.org/W1590061888","https://openalex.org/W1783770095","https://openalex.org/W1973665222","https://openalex.org/W1981726327","https://openalex.org/W2024148935","https://openalex.org/W2028713900","https://openalex.org/W2039027656","https://openalex.org/W2046239089","https://openalex.org/W2046656028","https://openalex.org/W2064902266","https://openalex.org/W2076373700","https://openalex.org/W2090103321","https://openalex.org/W2099800340","https://openalex.org/W2103406309","https://openalex.org/W2116555082","https://openalex.org/W2122614187","https://openalex.org/W2130403783","https://openalex.org/W2138053239","https://openalex.org/W2160443552","https://openalex.org/W2171775336","https://openalex.org/W2527193322","https://openalex.org/W2561675875","https://openalex.org/W3140694517","https://openalex.org/W3140816671","https://openalex.org/W3144107225","https://openalex.org/W4240731499"],"related_works":["https://openalex.org/W272107128","https://openalex.org/W2426248896","https://openalex.org/W2624440775","https://openalex.org/W1578182049","https://openalex.org/W2012282434","https://openalex.org/W4232891356","https://openalex.org/W2108795365","https://openalex.org/W2368301563","https://openalex.org/W2170268965","https://openalex.org/W1981164177"],"abstract_inverted_index":{"This":[0],"article":[1],"describes":[2],"a":[3,29,47,51,76,137,147,159],"multithreaded,":[4],"portfolio-based":[5,30],"approach":[6,31],"to":[7,20,32,50,123,134],"model":[8,33,79,150],"checking,":[9],"where":[10],"multiple":[11],"cores":[12],"are":[13,58],"exploited":[14],"as":[15],"the":[16,69,115,163,171,174],"underlying":[17],"computing":[18],"framework":[19],"support":[21],"concurrent":[22,105],"execution":[23],"of":[24,68,80,107,114,151,162],"cooperative":[25,138],"engines.":[26],"We":[27,118,157],"introduce":[28],"checking.":[34],"Our":[35],"portfolio":[36],"is":[37,140],"first":[38],"driven":[39],"by":[40],"an":[41],"approximate":[42],"runtime":[43],"predictor":[44],"that":[45,136],"provides":[46],"heuristic":[48],"approximation":[49],"perfect":[52],"oracle":[53],"and":[54,66,100,154,166,181],"suggests":[55],"which":[56,129],"engines":[57,110],"more":[59],"suitable":[60],"for":[61,112],"each":[62],"verification":[63],"instance.":[64],"Scalability":[65],"robustness":[67],"overall":[70],"model-checking":[71,109],"effort":[72,139],"highly":[73],"rely":[74],"on":[75,94,104,170],"concurrent,":[77],"multithreaded":[78],"execution.":[81],"Following":[82],"similar":[83],"approaches":[84],"in":[85,98],"related":[86],"application":[87],"fields,":[88],"we":[89,145],"dovetail":[90],"data":[91,155],"partitioning,":[92,102],"focused":[93],"proving":[95],"several":[96,126],"properties":[97],"parallel,":[99],"engine":[101],"based":[103],"runs":[106],"different":[108],"competing":[111],"completion":[113],"same":[116],"problem.":[117],"investigate":[119],"concurrency":[120],"not":[121],"only":[122],"effectively":[124],"exploit":[125],"available":[127],"engines,":[128],"operate":[130],"independently,":[131],"but":[132],"also":[133],"show":[135],"possible.":[141],"In":[142],"this":[143],"case,":[144],"adopt":[146],"straightforward,":[148],"light-weight,":[149],"inter-engine":[152],"communication":[153],"sharing.":[156],"provide":[158],"detailed":[160],"description":[161],"ideas,":[164],"algorithms,":[165],"experimental":[167],"results":[168],"obtained":[169],"benchmarks":[172],"from":[173],"Hardware":[175],"Model":[176],"Checking":[177],"Competition":[178],"suites":[179],"(HWMCC'10":[180],"HWMCC'11).":[182]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}