{"id":"https://openalex.org/W1801993675","doi":"https://doi.org/10.1007/978-3-540-70545-1_14","title":"Automated Assume-Guarantee Reasoning by Abstraction Refinement","display_name":"Automated Assume-Guarantee Reasoning by Abstraction Refinement","publication_year":2008,"publication_date":"2008-08-12","ids":{"openalex":"https://openalex.org/W1801993675","doi":"https://doi.org/10.1007/978-3-540-70545-1_14","mag":"1801993675"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-70545-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-70545-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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 Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_14.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029749269","display_name":"Mihaela Gheorghiu Bobaru","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I143663144","display_name":"Research Institute for Advanced Computer Science","ror":"https://ror.org/022qmyy53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1329765538","https://openalex.org/I143663144"]},{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA","US"],"is_corresponding":true,"raw_author_name":"Mihaela Gheorghiu Bobaru","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada","PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035 and Department of Computer Science, University of Toronto, Toronto, Canada ON M5S 3G4"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I143663144"]},{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035 and Department of Computer Science, University of Toronto, Toronto, Canada ON M5S 3G4","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I143663144","display_name":"Research Institute for Advanced Computer Science","ror":"https://ror.org/022qmyy53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1329765538","https://openalex.org/I143663144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035#TAB#"],"affiliations":[{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I143663144"]},{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035#TAB#","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021558162","display_name":"Dimitra Giannakopoulou","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I143663144","display_name":"Research Institute for Advanced Computer Science","ror":"https://ror.org/022qmyy53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1329765538","https://openalex.org/I143663144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dimitra Giannakopoulou","raw_affiliation_strings":["PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035#TAB#"],"affiliations":[{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I143663144"]},{"raw_affiliation_string":"PSGS and RIACS, NASA Ames Research Center, Moffett Field, USA CA 94035#TAB#","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029749269"],"corresponding_institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I143663144","https://openalex.org/I185261750"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":7.2957,"has_fulltext":true,"cited_by_count":172,"citation_normalized_percentile":{"value":0.97801025,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"148"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9968000054359436,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962000250816345,"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.9081765413284302},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.772036075592041},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.7291839122772217},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6310850977897644},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5919609665870667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5752855539321899},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.572324812412262},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.508602499961853},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3496702313423157}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9081765413284302},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.772036075592041},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.7291839122772217},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6310850977897644},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5919609665870667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5752855539321899},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.572324812412262},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.508602499961853},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3496702313423157},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-70545-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-70545-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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 Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.139.3785","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.3785","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ic.arc.nasa.gov/m/pub/138/138_Pasarianu.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.164.6394","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.6394","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:casi.ntrs.nasa.gov:20090019137","is_oa":false,"landing_page_url":"http://hdl.handle.net/2060/20090019137","pdf_url":null,"source":{"id":"https://openalex.org/S4377196257","display_name":"NASA STI Repository (National Aeronautics and Space Administration)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"ARC-E-DAA-TN138"}],"best_oa_location":{"id":"doi:10.1007/978-3-540-70545-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-70545-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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 Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1801993675.pdf","grobid_xml":"https://content.openalex.org/works/W1801993675.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W80370608","https://openalex.org/W258022877","https://openalex.org/W1501747543","https://openalex.org/W1503973138","https://openalex.org/W1508602846","https://openalex.org/W1518363720","https://openalex.org/W1543034107","https://openalex.org/W1556566737","https://openalex.org/W1586728410","https://openalex.org/W1590437595","https://openalex.org/W1989445634","https://openalex.org/W1989884524","https://openalex.org/W2013887890","https://openalex.org/W2030511855","https://openalex.org/W2060910670","https://openalex.org/W2098039922","https://openalex.org/W2118713304","https://openalex.org/W2130025446","https://openalex.org/W2158395308","https://openalex.org/W2340735175"],"related_works":["https://openalex.org/W1552191998","https://openalex.org/W2953113086","https://openalex.org/W2162945176","https://openalex.org/W4240080598","https://openalex.org/W2056825861","https://openalex.org/W1558442354","https://openalex.org/W278680301","https://openalex.org/W2765989158","https://openalex.org/W2952737788","https://openalex.org/W4226455345"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":28},{"year":2022,"cited_by_count":37},{"year":2021,"cited_by_count":20},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}