{"id":"https://openalex.org/W2057437261","doi":"https://doi.org/10.1007/s10009-007-0031-4","title":"Checking safety properties on-the-fly with the sweep-line method","display_name":"Checking safety properties on-the-fly with the sweep-line method","publication_year":2007,"publication_date":"2007-03-01","ids":{"openalex":"https://openalex.org/W2057437261","doi":"https://doi.org/10.1007/s10009-007-0031-4","mag":"2057437261"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-007-0031-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-007-0031-4","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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/A5111772822","display_name":"Guy Edward Gallasch","orcid":null},"institutions":[{"id":"https://openalex.org/I170239107","display_name":"University of South Australia","ror":"https://ror.org/01p93h210","country_code":"AU","type":"education","lineage":["https://openalex.org/I170239107"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Guy Edward Gallasch","raw_affiliation_strings":["Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","institution_ids":["https://openalex.org/I170239107"]},{"raw_affiliation_string":"University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#","institution_ids":["https://openalex.org/I170239107"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022705898","display_name":"Jonathan Billington","orcid":null},"institutions":[{"id":"https://openalex.org/I170239107","display_name":"University of South Australia","ror":"https://ror.org/01p93h210","country_code":"AU","type":"education","lineage":["https://openalex.org/I170239107"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jonathan Billington","raw_affiliation_strings":["Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","institution_ids":["https://openalex.org/I170239107"]},{"raw_affiliation_string":"University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#","institution_ids":["https://openalex.org/I170239107"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076448044","display_name":"Somsak Vanit-Anunchai","orcid":"https://orcid.org/0000-0003-4972-7713"},"institutions":[{"id":"https://openalex.org/I170239107","display_name":"University of South Australia","ror":"https://ror.org/01p93h210","country_code":"AU","type":"education","lineage":["https://openalex.org/I170239107"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Somsak Vanit-Anunchai","raw_affiliation_strings":["Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Adelaide, SA, 5095, Australia","institution_ids":["https://openalex.org/I170239107"]},{"raw_affiliation_string":"University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia#TAB#","institution_ids":["https://openalex.org/I170239107"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005213951","display_name":"Lars Michael Kristensen","orcid":"https://orcid.org/0000-0002-1465-5791"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lars Michael Kristensen","raw_affiliation_strings":["Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark","University of Aarhus, IT-parken, Department of Computer Science, Aabogade 34, 8200, Aarhus N, SA, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"University of Aarhus, IT-parken, Department of Computer Science, Aabogade 34, 8200, Aarhus N, SA, Denmark#TAB#","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5111772822"],"corresponding_institution_ids":["https://openalex.org/I170239107"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.2572,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8774136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"3-4","first_page":"371","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9976000189781189,"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.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.7620580196380615},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7476897239685059},{"id":"https://openalex.org/keywords/line","display_name":"Line (geometry)","score":0.5662249326705933},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5051801800727844},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3035969138145447},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12213718891143799},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.0697939395904541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7620580196380615},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7476897239685059},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.5662249326705933},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5051801800727844},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3035969138145447},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12213718891143799},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0697939395904541}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-007-0031-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-007-0031-4","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W42364276","https://openalex.org/W47180256","https://openalex.org/W68069235","https://openalex.org/W93523783","https://openalex.org/W198918365","https://openalex.org/W1513935630","https://openalex.org/W1522197832","https://openalex.org/W1534850333","https://openalex.org/W1536825944","https://openalex.org/W1540883472","https://openalex.org/W1546063219","https://openalex.org/W1552086528","https://openalex.org/W1557180760","https://openalex.org/W1559035930","https://openalex.org/W1563342424","https://openalex.org/W1574570499","https://openalex.org/W1575229436","https://openalex.org/W1587663028","https://openalex.org/W1593050376","https://openalex.org/W1607217664","https://openalex.org/W1607782211","https://openalex.org/W1759712729","https://openalex.org/W1853664072","https://openalex.org/W1943502734","https://openalex.org/W2009983102","https://openalex.org/W2019881090","https://openalex.org/W2090398333","https://openalex.org/W2105628220","https://openalex.org/W2136504058","https://openalex.org/W2146706022","https://openalex.org/W2150157795","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4285719527","https://openalex.org/W4297744580","https://openalex.org/W4299138792"],"related_works":["https://openalex.org/W2364866360","https://openalex.org/W1557832504","https://openalex.org/W2134424614","https://openalex.org/W2551596431","https://openalex.org/W2370841479","https://openalex.org/W303980170","https://openalex.org/W2351491280","https://openalex.org/W1996160459","https://openalex.org/W2386767533","https://openalex.org/W2736871302"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}