Publication Information

{'id': 'https://openalex.org/W2120993512', 'doi': 'https://doi.org/10.1109/memcod.2006.1695897', 'title': 'Component-based hardware/software co-verification', 'display_name': 'Component-based hardware/software co-verification', 'publication_year': 2006, 'publication_date': '2006-09-22', 'ids': {'openalex': 'https://openalex.org/W2120993512', 'doi': 'https://doi.org/10.1109/memcod.2006.1695897', 'mag': '2120993512'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/memcod.2006.1695897', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'http://web.cecs.pdx.edu/~xie/pubs/pgcv.pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5106551350', 'display_name': 'Fei Xie', 'orcid': 'https://orcid.org/0000-0002-7324-3287'}, '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': 'Fei Xie', 'raw_affiliation_strings': ['Dept. of Comput. Sci., Portland State Univ., OR, USA'], 'affiliations': [{'raw_affiliation_string': 'Dept. of Comput. Sci., Portland State Univ., OR, USA', 'institution_ids': ['https://openalex.org/I126345244']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5065831922', 'display_name': 'Guowu Yang', 'orcid': None}, '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': 'Guowu Yang', 'raw_affiliation_strings': ['Dept. of Comput. Sci., Portland State Univ., OR, USA'], 'affiliations': [{'raw_affiliation_string': 'Dept. of Comput. Sci., Portland State Univ., OR, USA', 'institution_ids': ['https://openalex.org/I126345244']}]}, {'author_position': 'last', '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': ['Dept. of Comput. Sci., Portland State Univ., OR, USA'], 'affiliations': [{'raw_affiliation_string': 'Dept. of Comput. Sci., Portland State Univ., OR, USA', 'institution_ids': ['https://openalex.org/I126345244']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.761, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 9, 'citation_normalized_percentile': {'value': 0.61209, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 81, 'max': 82}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Software Verification and Control', 'score': 0.9997, '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 Software Verification and Control', 'score': 0.9997, '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/T13295', 'display_name': 'Safety Assurance in Complex Systems Development', 'score': 0.9986, 'subfield': {'id': 'https://openalex.org/subfields/2213', 'display_name': 'Safety, Risk, Reliability and Quality'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11005', 'display_name': 'Fault Tolerance in Electronic Systems', 'score': 0.9955, 'subfield': {'id': 'https://openalex.org/subfields/2208', 'display_name': 'Electrical and Electronic Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/software-verification', 'display_name': 'Software verification', 'score': 0.7429395}, {'id': 'https://openalex.org/keywords/component', 'display_name': 'Component (thermodynamics)', 'score': 0.67366356}, {'id': 'https://openalex.org/keywords/functional-verification', 'display_name': 'Functional verification', 'score': 0.6428442}, {'id': 'https://openalex.org/keywords/high-level-verification', 'display_name': 'High-level verification', 'score': 0.63075024}, {'id': 'https://openalex.org/keywords/verification', 'display_name': 'Verification', 'score': 0.60040414}, {'id': 'https://openalex.org/keywords/model-checking', 'display_name': 'Model Checking', 'score': 0.588722}, {'id': 'https://openalex.org/keywords/intelligent-verification', 'display_name': 'Intelligent verification', 'score': 0.57615423}, {'id': 'https://openalex.org/keywords/safety-verification', 'display_name': 'Safety Verification', 'score': 0.531974}, {'id': 'https://openalex.org/keywords/software-certification', 'display_name': 'Software Certification', 'score': 0.520014}, {'id': 'https://openalex.org/keywords/runtime-verification', 'display_name': 'Runtime Verification', 'score': 0.503408}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7656101}, {'id': 'https://openalex.org/C33054407', 'wikidata': 'https://www.wikidata.org/wiki/Q6504747', 'display_name': 'Software verification', 'level': 5, 'score': 0.7429395}, {'id': 'https://openalex.org/C168167062', 'wikidata': 'https://www.wikidata.org/wiki/Q1117970', 'display_name': 'Component (thermodynamics)', 'level': 2, 'score': 0.67366356}, {'id': 'https://openalex.org/C206588197', 'wikidata': 'https://www.wikidata.org/wiki/Q846574', 'display_name': 'Reuse', 'level': 2, 'score': 0.6721066}, {'id': 'https://openalex.org/C62460635', 'wikidata': 'https://www.wikidata.org/wiki/Q5508853', 'display_name': 'Functional verification', 'level': 3, 'score': 0.6428442}, {'id': 'https://openalex.org/C187250869', 'wikidata': 'https://www.wikidata.org/wiki/Q5754573', 'display_name': 'High-level verification', 'level': 5, 'score': 0.63075024}, {'id': 'https://openalex.org/C174683762', 'wikidata': 'https://www.wikidata.org/wiki/Q609588', 'display_name': 'Component-based software engineering', 'level': 4, 'score': 0.6262918}, {'id': 'https://openalex.org/C142284323', 'wikidata': 'https://www.wikidata.org/wiki/Q7921323', 'display_name': 'Verification', 'level': 5, 'score': 0.60040414}, {'id': 'https://openalex.org/C3406870', 'wikidata': 'https://www.wikidata.org/wiki/Q6044160', 'display_name': 'Intelligent verification', 'level': 5, 'score': 0.57615423}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.5494147}, {'id': 'https://openalex.org/C202973057', 'wikidata': 'https://www.wikidata.org/wiki/Q7380130', 'display_name': 'Runtime verification', 'level': 3, 'score': 0.5164018}, {'id': 'https://openalex.org/C149635348', 'wikidata': 'https://www.wikidata.org/wiki/Q193040', 'display_name': 'Embedded system', 'level': 1, 'score': 0.51029253}, {'id': 'https://openalex.org/C111498074', 'wikidata': 'https://www.wikidata.org/wiki/Q173326', 'display_name': 'Formal verification', 'level': 2, 'score': 0.5030069}, {'id': 'https://openalex.org/C48002344', 'wikidata': 'https://www.wikidata.org/wiki/Q2919644', 'display_name': 'Verification and validation', 'level': 2, 'score': 0.4894873}, {'id': 'https://openalex.org/C79581498', 'wikidata': 'https://www.wikidata.org/wiki/Q1367530', 'display_name': 'Suite', 'level': 2, 'score': 0.4368841}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.41207793}, {'id': 'https://openalex.org/C186846655', 'wikidata': 'https://www.wikidata.org/wiki/Q3398377', 'display_name': 'Software construction', 'level': 4, 'score': 0.38626778}, {'id': 'https://openalex.org/C149091818', 'wikidata': 'https://www.wikidata.org/wiki/Q2429814', 'display_name': 'Software system', 'level': 3, 'score': 0.366139}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.21561047}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.08399004}, {'id': 'https://openalex.org/C95457728', 'wikidata': 'https://www.wikidata.org/wiki/Q309', 'display_name': 'History', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C21547014', 'wikidata': 'https://www.wikidata.org/wiki/Q1423657', 'display_name': 'Operations management', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C166957645', 'wikidata': 'https://www.wikidata.org/wiki/Q23498', 'display_name': 'Archaeology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C97355855', 'wikidata': 'https://www.wikidata.org/wiki/Q11473', 'display_name': 'Thermodynamics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C548081761', 'wikidata': 'https://www.wikidata.org/wiki/Q180388', 'display_name': 'Waste management', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/memcod.2006.1695897', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5368', 'pdf_url': 'http://web.cecs.pdx.edu/~xie/pubs/pgcv.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5368', 'pdf_url': 'http://web.cecs.pdx.edu/~xie/pubs/pgcv.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 21, 'referenced_works': ['https://openalex.org/W1482870073', 'https://openalex.org/W1527352629', 'https://openalex.org/W1583453248', 'https://openalex.org/W1593905218', 'https://openalex.org/W1602736775', 'https://openalex.org/W1605593319', 'https://openalex.org/W2054198444', 'https://openalex.org/W2073200103', 'https://openalex.org/W2096101873', 'https://openalex.org/W2104532741', 'https://openalex.org/W2124778357', 'https://openalex.org/W2136486855', 'https://openalex.org/W2156961945', 'https://openalex.org/W2160086685', 'https://openalex.org/W2167500728', 'https://openalex.org/W2296232480', 'https://openalex.org/W2296646831', 'https://openalex.org/W2912904668', 'https://openalex.org/W2913459036', 'https://openalex.org/W4235974263', 'https://openalex.org/W4243443630'], 'related_works': ['https://openalex.org/W4301348901', 'https://openalex.org/W4205300843', 'https://openalex.org/W3120172095', 'https://openalex.org/W3036403349', 'https://openalex.org/W2962898432', 'https://openalex.org/W2392047570', 'https://openalex.org/W2361881307', 'https://openalex.org/W2355428260', 'https://openalex.org/W2059150015', 'https://openalex.org/W2035244079'], 'abstract_inverted_index': {'We': [0], 'present': [1], 'a': [2, 42, 105], 'novel': [3], 'component-based': [4, 29], 'approach': [5, 114], 'to': [6, 16, 91, 121], 'hardware/software': [7], 'co-verification': [8], 'of': [9, 52, 84, 107], 'embedded': [10, 25, 46], 'systems': [11, 26, 47, 75], 'using': [12], 'model': [13, 44], 'checking.': [14], 'Due': [15], 'their': [17, 37], 'diverse': [18], 'applications': [19], 'and': [20, 30, 58, 64, 86, 99, 119], 'often': [21], 'strict': [22], 'physical': [23], 'constraints,': [24], 'are': [27, 67, 71, 76, 80, 89], 'increasingly': [28], 'include': [31], 'only': [32], 'the': [33, 50], 'necessary': [34], 'components': [35, 60, 66], 'for': [36, 45], 'missions.': [38], 'In': [39], 'our': [40, 113], 'approach,': [41], 'component': [43], 'which': [48], 'unifies': [49], 'concepts': [51], 'hardware': [53, 56], 'IPs': [54], '(i.e.,': [55], 'components)': [57], 'software': [59, 65], 'is': [61], 'defined.': [62], 'Hardware': [63], 'verified': [68], 'as': [69, 78], 'they': [70, 79], 'developed': [72, 81], 'bottom-up.': [73], 'Whole': [74], 'co-verified': [77], 'top-down.': [82], 'Interactions': [83], 'bottom-up': [85], 'top-down': [87], 'verification': [88, 93, 100, 117, 125], 'exploited': [90], 'reduce': [92], 'complexity': [94, 126], 'by': [95], 'facilitating': [96], 'compositional': [97], 'reasoning': [98], 'reuse.': [101], 'Case': [102], 'studies': [103], 'on': [104, 124], 'suite': [106], 'networked': [108], 'sensors': [109], 'have': [110], 'shown': [111], 'that': [112], 'facilitates': [115], 'major': [116], 'reuse': [118], 'leads': [120], 'order-of-magnitude': [122], 'reduction': [123]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2120993512', 'counts_by_year': [{'year': 2020, 'cited_by_count': 1}, {'year': 2019, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 1}], 'updated_date': '2024-09-14T08:20:31.233604', 'created_date': '2016-06-24'}