{"id":"https://openalex.org/W2124231388","doi":"https://doi.org/10.1109/fmcad.2009.5351134","title":"Data mining based decomposition for assume-guarantee reasoning","display_name":"Data mining based decomposition for assume-guarantee reasoning","publication_year":2009,"publication_date":"2009-11-01","ids":{"openalex":"https://openalex.org/W2124231388","doi":"https://doi.org/10.1109/fmcad.2009.5351134","mag":"2124231388"},"language":"en","primary_location":{"id":"doi:10.1109/fmcad.2009.5351134","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2009.5351134","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Formal Methods in Computer-Aided Design","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/A5004145814","display_name":"He Zhu","orcid":"https://orcid.org/0000-0001-9606-150X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Zhu","raw_affiliation_strings":["Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042735025","display_name":"Fei He","orcid":"https://orcid.org/0000-0002-4266-875X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei He","raw_affiliation_strings":["Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081272390","display_name":"William N. N. Hung","orcid":"https://orcid.org/0000-0001-5024-7544"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William N. N. Hung","raw_affiliation_strings":["Synopsys, Inc., Mountain View, CA, USA","Synopsys, Inc., Mountain View, California, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Synopsys, Inc., Mountain View, CA, USA","institution_ids":["https://openalex.org/I4210088951"]},{"raw_affiliation_string":"Synopsys, Inc., Mountain View, California, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082437433","display_name":"Xiaoyu Song","orcid":"https://orcid.org/0000-0002-6583-9400"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoyu Song","raw_affiliation_strings":["Department of ECE, Portland State University, OR, USA","Dept. of ECE, Portland State University, Oregon, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of ECE, Portland State University, OR, USA","institution_ids":["https://openalex.org/I126345244"]},{"raw_affiliation_string":"Dept. of ECE, Portland State University, Oregon, USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100846520","display_name":"Ming Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Gu","raw_affiliation_strings":["Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology Key Laboratory for Information System Security, Ministry of Education School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6022,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64428457,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"116","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7608367204666138},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.7182749509811401},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.6168941259384155},{"id":"https://openalex.org/keywords/association-rule-learning","display_name":"Association rule learning","score":0.5881581902503967},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.5856994986534119},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5652373433113098},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5334743857383728},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.518953800201416},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.42856571078300476},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.41354259848594666},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32522833347320557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3181089758872986},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15289607644081116}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7608367204666138},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.7182749509811401},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.6168941259384155},{"id":"https://openalex.org/C193524817","wikidata":"https://www.wikidata.org/wiki/Q386780","display_name":"Association rule learning","level":2,"score":0.5881581902503967},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.5856994986534119},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5652373433113098},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5334743857383728},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.518953800201416},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.42856571078300476},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.41354259848594666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32522833347320557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3181089758872986},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15289607644081116},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fmcad.2009.5351134","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2009.5351134","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Formal Methods in Computer-Aided Design","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:inria-00517881v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00517881","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009), Sep 2009, Austin, United States","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W80370608","https://openalex.org/W1488659932","https://openalex.org/W1489391022","https://openalex.org/W1542978828","https://openalex.org/W1586728410","https://openalex.org/W1965042993","https://openalex.org/W2078174680","https://openalex.org/W2098039922","https://openalex.org/W2120970098","https://openalex.org/W2130025446","https://openalex.org/W2136248572","https://openalex.org/W2166559705","https://openalex.org/W4285719527","https://openalex.org/W6603259056","https://openalex.org/W6629100741","https://openalex.org/W6632657173"],"related_works":["https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W98480971","https://openalex.org/W2150291671","https://openalex.org/W2013643406","https://openalex.org/W2027972911","https://openalex.org/W2157978810","https://openalex.org/W2597809628","https://openalex.org/W3046370962"],"abstract_inverted_index":{"Automated":[0],"compositional":[1,35],"reasoning":[2,36],"using":[3],"assume-guarantee":[4],"rules":[5,56,69],"plays":[6],"a":[7],"key":[8],"role":[9],"in":[10,34],"large":[11],"system":[12,23,58,74],"verification.":[13,37],"A":[14,60],"vexing":[15],"problem":[16],"is":[17,40,50,64],"to":[18,25,52,66,84],"discover":[19,53],"fine":[20],"decomposition":[21,32],"of":[22],"contributing":[24],"appropriate":[26],"assumptions.":[27],"We":[28],"present":[29],"an":[30],"automatic":[31],"approach":[33],"The":[38,77],"method":[39],"based":[41],"on":[42],"data":[43],"mining":[44],"algorithms.":[45],"An":[46],"association":[47],"rule":[48],"algorithm":[49,63],"harnessed":[51],"the":[54],"hidden":[55],"among":[57],"variables.":[59],"hypergraph":[61],"partitioning":[62],"proposed":[65],"incorporate":[67],"these":[68],"as":[70],"weight":[71],"constraints":[72],"for":[73],"variable":[75],"clustering.":[76],"experiments":[78],"demonstrate":[79],"that":[80],"our":[81],"strategy":[82],"leads":[83],"order-of-magnitude":[85],"speedup":[86],"over":[87],"previous.":[88]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}