Publication Information

{'id': 'https://openalex.org/W2014168932', 'doi': 'https://doi.org/10.4204/eptcs.55.7', 'title': 'Model exploration and analysis for quantitative safety refinement in probabilistic B', 'display_name': 'Model exploration and analysis for quantitative safety refinement in probabilistic B', 'publication_year': 2011, 'publication_date': '2011-06-17', 'ids': {'openalex': 'https://openalex.org/W2014168932', 'doi': 'https://doi.org/10.4204/eptcs.55.7', 'mag': '2014168932'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1106.4096', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['arxiv', 'crossref', 'datacite', 'doaj'], 'open_access': {'is_oa': True, 'oa_status': 'diamond', 'oa_url': 'https://arxiv.org/pdf/1106.4096', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5019438409', 'display_name': 'Ukachukwu Ndukwu', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I99043593', 'display_name': 'Macquarie University', 'ror': 'https://ror.org/01sf06y89', 'country_code': 'AU', 'type': 'education', 'lineage': ['https://openalex.org/I99043593']}], 'countries': ['AU'], 'is_corresponding': False, 'raw_author_name': 'Ukachukwu Ndukwu', 'raw_affiliation_strings': ['Macquarie University, NSW 2109 Australia'], 'affiliations': [{'raw_affiliation_string': 'Macquarie University, NSW 2109 Australia', 'institution_ids': ['https://openalex.org/I99043593']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5035107880', 'display_name': 'Annabelle McIver', 'orcid': 'https://orcid.org/0000-0002-2405-9838'}, 'institutions': [{'id': 'https://openalex.org/I99043593', 'display_name': 'Macquarie University', 'ror': 'https://ror.org/01sf06y89', 'country_code': 'AU', 'type': 'education', 'lineage': ['https://openalex.org/I99043593']}], 'countries': ['AU'], 'is_corresponding': False, 'raw_author_name': 'Annabelle McIver', 'raw_affiliation_strings': ['Macquarie University, NSW 2109 Australia'], 'affiliations': [{'raw_affiliation_string': 'Macquarie University, NSW 2109 Australia', 'institution_ids': ['https://openalex.org/I99043593']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 0, 'currency': 'USD', 'value_usd': 0, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 65}, 'biblio': {'volume': '55', 'issue': None, 'first_page': '101', 'last_page': '120'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9999, '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.9999, '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/T12423', 'display_name': 'Software Reliability and Analysis Research', 'score': 0.9981, '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/T13295', 'display_name': 'Safety Systems Engineering in Autonomy', 'score': 0.996, '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'}}], 'keywords': [{'id': 'https://openalex.org/keywords/counterexample', 'display_name': 'Counterexample', 'score': 0.91087204}, {'id': 'https://openalex.org/keywords/probabilistic-ctl', 'display_name': 'Probabilistic CTL', 'score': 0.6097679}], 'concepts': [{'id': 'https://openalex.org/C162838799', 'wikidata': 'https://www.wikidata.org/wiki/Q596077', 'display_name': 'Counterexample', 'level': 2, 'score': 0.91087204}, {'id': 'https://openalex.org/C49937458', 'wikidata': 'https://www.wikidata.org/wiki/Q2599292', 'display_name': 'Probabilistic logic', 'level': 2, 'score': 0.8540917}, {'id': 'https://openalex.org/C77019957', 'wikidata': 'https://www.wikidata.org/wiki/Q2689057', 'display_name': 'Dependability', 'level': 2, 'score': 0.6701849}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6387831}, {'id': 'https://openalex.org/C24404364', 'wikidata': 'https://www.wikidata.org/wiki/Q7246846', 'display_name': 'Probabilistic analysis of algorithms', 'level': 3, 'score': 0.6141845}, {'id': 'https://openalex.org/C52063229', 'wikidata': 'https://www.wikidata.org/wiki/Q7246845', 'display_name': 'Probabilistic CTL', 'level': 4, 'score': 0.6097679}, {'id': 'https://openalex.org/C34388435', 'wikidata': 'https://www.wikidata.org/wiki/Q2267362', 'display_name': 'Bounded function', 'level': 2, 'score': 0.5683159}, {'id': 'https://openalex.org/C190470478', 'wikidata': 'https://www.wikidata.org/wiki/Q2370229', 'display_name': 'Invariant (physics)', 'level': 2, 'score': 0.5254216}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.45326397}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.4431255}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.26176172}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.23544765}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.21534461}, {'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/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C37914503', 'wikidata': 'https://www.wikidata.org/wiki/Q156495', 'display_name': 'Mathematical physics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 5, 'locations': [{'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1106.4096', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': False, 'landing_page_url': 'https://doaj.org/article/d15d951c4dde48cb96f6914914ef9675', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306401280', 'display_name': 'DOAJ (DOAJ: Directory of Open Access Journals)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://arxiv.org/abs/1106.4096', 'pdf_url': 'http://arxiv.org/pdf/1106.4096', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://arxiv.org/abs/1106.4096', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.1106.4096', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4210145204', 'host_organization_name': 'DataCite', 'host_organization_lineage': ['https://openalex.org/I4210145204'], 'host_organization_lineage_names': ['DataCite'], 'type': 'metadata'}, 'license': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1106.4096', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': ['https://openalex.org/W2014168932', 'https://openalex.org/W3104735139'], 'referenced_works_count': 27, 'referenced_works': ['https://openalex.org/W1556900989', 'https://openalex.org/W1559870885', 'https://openalex.org/W1576832387', 'https://openalex.org/W1734364899', 'https://openalex.org/W1836432192', 'https://openalex.org/W1859458367', 'https://openalex.org/W1926463588', 'https://openalex.org/W1971680255', 'https://openalex.org/W1996396409', 'https://openalex.org/W2005998857', 'https://openalex.org/W2013819688', 'https://openalex.org/W206340201', 'https://openalex.org/W2086749885', 'https://openalex.org/W2098787400', 'https://openalex.org/W2111706174', 'https://openalex.org/W2126704329', 'https://openalex.org/W2142108731', 'https://openalex.org/W2145167856', 'https://openalex.org/W2160612550', 'https://openalex.org/W2165600364', 'https://openalex.org/W2334782222', 'https://openalex.org/W2487908531', 'https://openalex.org/W3141022777', 'https://openalex.org/W3144550828', 'https://openalex.org/W3146075203', 'https://openalex.org/W4254354208', 'https://openalex.org/W4300395467'], 'related_works': ['https://openalex.org/W3144215692', 'https://openalex.org/W3104705157', 'https://openalex.org/W2903940728', 'https://openalex.org/W2734341768', 'https://openalex.org/W2147420447', 'https://openalex.org/W2096349874', 'https://openalex.org/W2077904203', 'https://openalex.org/W1754956050', 'https://openalex.org/W1585439950', 'https://openalex.org/W1549039738'], 'abstract_inverted_index': {'The': [0], 'role': [1], 'played': [2], 'by': [3], 'counterexamples': [4, 32], 'in': [5, 20, 62], 'standard': [6], 'system': [7], 'analysis': [8, 54, 113], 'is': [9, 15], 'well': [10], 'known;': [11], 'but': [12], 'less': [13], 'common': [14], 'a': [16, 93, 97, 115], 'notion': [17], 'of': [18, 37, 50, 58, 96, 105, 114], 'counterexample': [19], 'probabilistic': [21, 38, 64, 82], 'systems': [22], 'refinement.': [23], 'In': [24, 67], 'this': [25], 'paper': [26], 'we': [27, 69, 85], 'extend': [28, 47], 'previous': [29], 'work': [30], 'using': [31], 'to': [33, 46, 77], 'inductive': [34], 'invariant': [35], 'properties': [36], 'systems,': [39], 'demonstrating': [40], 'how': [41, 71], 'they': [42], 'can': [43, 74], 'be': [44, 75], 'used': [45], 'the': [48, 56, 63, 72, 87, 102, 111], 'technique': [49, 88], 'bounded': [51], 'model': [52], 'checking-style': [53], 'for': [55, 100, 110], 'refinement': [57, 95], 'quantitative': [59], 'safety': [60], 'specifications': [61], 'B': [65], 'language.': [66], 'particular,': [68], 'show': [70], 'method': [73], 'adapted': [76], 'cope': [78], 'with': [79], 'refinements': [80], 'incorporating': [81], 'loops.': [83], 'Finally,': [84], 'demonstrate': [86], 'on': [89], 'pB': [90], 'models': [91], 'summarising': [92], 'one-step': [94], 'randomised': [98], 'algorithm': [99], 'finding': [101], 'minimum': [103], 'cut': [104], 'undirected': [106], 'graphs,': [107], 'and': [108], 'that': [109], 'dependability': [112], 'controller': [116], 'design.': [117]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2014168932', 'counts_by_year': [], 'updated_date': '2024-12-09T02:07:57.918811', 'created_date': '2016-06-24'}