Publication Information

{'id': 'https://openalex.org/W2182999678', 'doi': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'title': 'Verification Method of Real-time System Based on Refinement Relation', 'display_name': 'Verification Method of Real-time System Based on Refinement Relation', 'publication_year': 2015, 'publication_date': '2015-02-28', 'ids': {'openalex': 'https://openalex.org/W2182999678', 'doi': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'mag': '2182999678'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210167513', 'display_name': 'International Journal of Grid and Distributed Computing', 'issn_l': '2005-4262', 'issn': ['2005-4262', '2207-6379'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'bronze', 'oa_url': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5076868082', 'display_name': 'Jing Guo', 'orcid': 'https://orcid.org/0000-0003-4709-9733'}, 'institutions': [{'id': 'https://openalex.org/I116953780', 'display_name': 'Tongji University', 'ror': 'https://ror.org/03rc6as71', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I116953780']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Jing GUO', 'raw_affiliation_strings': ['School of Electronics & Information Engineering ,Tongji University Shanghai ,China'], 'affiliations': [{'raw_affiliation_string': 'School of Electronics & Information Engineering ,Tongji University Shanghai ,China', 'institution_ids': ['https://openalex.org/I116953780']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5039033113', 'display_name': 'Zhong-wei Xu', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I116953780', 'display_name': 'Tongji University', 'ror': 'https://ror.org/03rc6as71', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I116953780']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Zhong-wei XU', 'raw_affiliation_strings': ['School of Electronics & Information Engineering ,Tongji University Shanghai ,China'], 'affiliations': [{'raw_affiliation_string': 'School of Electronics & Information Engineering ,Tongji University Shanghai ,China', 'institution_ids': ['https://openalex.org/I116953780']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5018608826', 'display_name': 'Meng Mei', 'orcid': 'https://orcid.org/0000-0002-6532-7392'}, 'institutions': [{'id': 'https://openalex.org/I116953780', 'display_name': 'Tongji University', 'ror': 'https://ror.org/03rc6as71', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I116953780']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Meng MEI', 'raw_affiliation_strings': ['School of Electronics & Information Engineering ,Tongji University Shanghai ,China'], 'affiliations': [{'raw_affiliation_string': 'School of Electronics & Information Engineering ,Tongji University Shanghai ,China', 'institution_ids': ['https://openalex.org/I116953780']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.311, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.574542, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 66, 'max': 73}, 'biblio': {'volume': '8', 'issue': '1', 'first_page': '179', 'last_page': '188'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12810', 'display_name': 'Real-Time Simulation Technologies for Power Systems', 'score': 0.9977, 'subfield': {'id': 'https://openalex.org/subfields/2207', 'display_name': 'Control and Systems Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T12810', 'display_name': 'Real-Time Simulation Technologies for Power Systems', 'score': 0.9977, 'subfield': {'id': 'https://openalex.org/subfields/2207', 'display_name': 'Control and Systems Engineering'}, '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/T10933', 'display_name': 'Real-Time Scheduling in Embedded Systems', 'score': 0.9975, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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': 'Automated Software Testing Techniques', 'score': 0.9955, '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/timing-analysis', 'display_name': 'Timing Analysis', 'score': 0.576584}, {'id': 'https://openalex.org/keywords/hard-real-time-systems', 'display_name': 'Hard Real-Time Systems', 'score': 0.568196}, {'id': 'https://openalex.org/keywords/real-time-simulation', 'display_name': 'Real-Time Simulation', 'score': 0.556975}, {'id': 'https://openalex.org/keywords/search-based-testing', 'display_name': 'Search-Based Testing', 'score': 0.507115}, {'id': 'https://openalex.org/keywords/automated-testing', 'display_name': 'Automated Testing', 'score': 0.504146}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.90599877}, {'id': 'https://openalex.org/C25343380', 'wikidata': 'https://www.wikidata.org/wiki/Q277521', 'display_name': 'Relation (database)', 'level': 2, 'score': 0.58287644}, {'id': 'https://openalex.org/C79403827', 'wikidata': 'https://www.wikidata.org/wiki/Q3988', 'display_name': 'Real-time computing', 'level': 1, 'score': 0.38815182}, {'id': 'https://openalex.org/C124101348', 'wikidata': 'https://www.wikidata.org/wiki/Q172491', 'display_name': 'Data mining', 'level': 1, 'score': 0.25841278}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210167513', 'display_name': 'International Journal of Grid and Distributed Computing', 'issn_l': '2005-4262', 'issn': ['2005-4262', '2207-6379'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.14257/ijgdc.2015.8.1.17', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210167513', 'display_name': 'International Journal of Grid and Distributed Computing', 'issn_l': '2005-4262', 'issn': ['2005-4262', '2207-6379'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'display_name': 'Responsible consumption and production', 'score': 0.54, 'id': 'https://metadata.un.org/sdg/12'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 26, 'referenced_works': ['https://openalex.org/W1502713995', 'https://openalex.org/W1523814254', 'https://openalex.org/W1547589162', 'https://openalex.org/W1571487936', 'https://openalex.org/W1756958128', 'https://openalex.org/W1780005695', 'https://openalex.org/W1914870824', 'https://openalex.org/W1979287973', 'https://openalex.org/W1990758343', 'https://openalex.org/W2002184929', 'https://openalex.org/W2032270529', 'https://openalex.org/W2064797645', 'https://openalex.org/W2070750095', 'https://openalex.org/W2078282392', 'https://openalex.org/W2079360995', 'https://openalex.org/W2119520409', 'https://openalex.org/W2120926795', 'https://openalex.org/W2124621264', 'https://openalex.org/W2133777784', 'https://openalex.org/W2135795876', 'https://openalex.org/W2138768776', 'https://openalex.org/W2184759525', 'https://openalex.org/W3143367798', 'https://openalex.org/W4254439254', 'https://openalex.org/W4285719527', 'https://openalex.org/W78026558'], 'related_works': ['https://openalex.org/W4234874385', 'https://openalex.org/W2748952813', 'https://openalex.org/W2390279801', 'https://openalex.org/W2382290278', 'https://openalex.org/W2378782423', 'https://openalex.org/W2376932109', 'https://openalex.org/W2358668433', 'https://openalex.org/W2323648130', 'https://openalex.org/W2157140558', 'https://openalex.org/W2001405890'], 'abstract_inverted_index': {'With': [0], 'the': [1, 5, 14, 26, 37, 55, 61, 65, 86, 94, 99, 102, 113], 'continuous': [2], 'increase': [3], 'in': [4, 20], 'size': [6], 'and': [7, 63, 106, 117, 121], 'complexity': [8], 'of': [9, 16, 39, 88, 96, 115], 'a': [10, 47], 'real-time': [11, 49], 'computer': [12], 'system,': [13], 'use': [15], 'formal': [17, 29], 'verification': [18, 30, 51], 'methods': [19], 'software': [21], 'development': [22, 38], 'is': [23, 32, 77], 'also': [24, 78], 'on': [25], 'rise.The': [27], 'traditional': [28], 'method': [31, 92], 'not': [33], 'fully': [34], 'applicable': [35], 'to': [36], 'actual': [40], 'system': [41, 50, 119], 'life': [42], 'cycle.Therefore,': [43], 'this': [44], 'paper': [45], 'presents': [46], 'new': [48], 'method,': [52], 'It': [53], 'takes': [54], 'deadlock': [56], 'timed': [57, 66, 70], 'Büchi': [58], 'automata': [59], 'as': [60], 'medium,': [62], 'translates': [64], 'temporal': [67], 'logic': [68], 'into': [69], 'communicating': [71], 'sequential': [72], 'process': [73], 'language.The': [74], 'tock': [75], 'event': [76], 'joined,': [79], 'which': [80], 'can': [81, 110], 'be': [82], 'directly': [83], 'used': [84], 'for': [85], 'detection': [87], 'refinement': [89, 107], 'tool': [90], 'FDR.The': [91], 'verifies': [93], 'situation': [95], 'deadlock.To': [97], 'establish': [98], 'link': [100], 'between': [101], 'conventional': [103], 'model': [104, 108], 'checking': [105, 109], 'well': [111], 'combine': [112], 'advantages': [114], 'both': [116], 'improves': [118], 'security': [120], 'reliability.': [122]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2182999678', 'counts_by_year': [{'year': 2018, 'cited_by_count': 1}], 'updated_date': '2024-09-16T09:51:12.820408', 'created_date': '2016-06-24'}