{"id":"https://openalex.org/W207691213","doi":"https://doi.org/10.1007/978-3-642-30729-4_4","title":"Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands","display_name":"Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W207691213","doi":"https://doi.org/10.1007/978-3-642-30729-4_4","mag":"207691213"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-30729-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30729-4_4","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012214843","display_name":"Brijesh Dongol","orcid":"https://orcid.org/0000-0003-0446-3507"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]},{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["AU","GB"],"is_corresponding":true,"raw_author_name":"Brijesh Dongol","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, UK","School of Information Technology and Electrical Engineering, The University of Queensland, Australia","School of Information Technology and Electrical Engineering, The University of Queensland, Australia,Department of Computer Science, The University of Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"School of Information Technology and Electrical Engineering, The University of Queensland, Australia","institution_ids":["https://openalex.org/I160993911","https://openalex.org/I165143802"]},{"raw_affiliation_string":"School of Information Technology and Electrical Engineering, The University of Queensland, Australia,Department of Computer Science, The University of Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054584529","display_name":"Ian J. Hayes","orcid":"https://orcid.org/0000-0003-3649-392X"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ian J. Hayes","raw_affiliation_strings":["School of Information Technology and Electrical Engineering, The University of Queensland, Australia","School of Information Technology and Electrical Engineering The University of Queensland, Australia"],"affiliations":[{"raw_affiliation_string":"School of Information Technology and Electrical Engineering, The University of Queensland, Australia","institution_ids":["https://openalex.org/I160993911","https://openalex.org/I165143802"]},{"raw_affiliation_string":"School of Information Technology and Electrical Engineering The University of Queensland, Australia","institution_ids":["https://openalex.org/I160993911","https://openalex.org/I165143802"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012214843"],"corresponding_institution_ids":["https://openalex.org/I160993911","https://openalex.org/I165143802","https://openalex.org/I91136226"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.6865,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.88959415,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"53"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9972000122070312,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9925000071525574,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.9510168433189392},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8604177236557007},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7712048292160034},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.4659959077835083},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4346344769001007},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3275204300880432},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3105504512786865},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.12457063794136047}],"concepts":[{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.9510168433189392},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8604177236557007},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7712048292160034},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.4659959077835083},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4346344769001007},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3275204300880432},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3105504512786865},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.12457063794136047},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-30729-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30729-4_4","pdf_url":null,"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:espace.library.uq.edu.au:UQ:282414","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402388","display_name":"Queensland's institutional digital repository (The University of Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W603151","https://openalex.org/W57157324","https://openalex.org/W59578796","https://openalex.org/W138314257","https://openalex.org/W1481485708","https://openalex.org/W1504504841","https://openalex.org/W1506588809","https://openalex.org/W1512712729","https://openalex.org/W1949723230","https://openalex.org/W1981998034","https://openalex.org/W2005199685","https://openalex.org/W2019474894","https://openalex.org/W2020762354","https://openalex.org/W2031939519","https://openalex.org/W2105390837","https://openalex.org/W2107632022","https://openalex.org/W2119574820","https://openalex.org/W2120338947","https://openalex.org/W2147340401","https://openalex.org/W2152805122","https://openalex.org/W2172034979","https://openalex.org/W2188666980","https://openalex.org/W2247034562","https://openalex.org/W2477621253","https://openalex.org/W2911432472"],"related_works":["https://openalex.org/W2931688134","https://openalex.org/W2377919138","https://openalex.org/W2378857091","https://openalex.org/W4256502920","https://openalex.org/W103652678","https://openalex.org/W4226090359","https://openalex.org/W2999756192","https://openalex.org/W2059697060","https://openalex.org/W2166690231","https://openalex.org/W2950637221"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}