{"id":"https://openalex.org/W2996069279","doi":"https://doi.org/10.1007/978-3-030-37487-7_5","title":"Two-Step Deductive Verification of Control Software Using Reflex","display_name":"Two-Step Deductive Verification of Control Software Using Reflex","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2996069279","doi":"https://doi.org/10.1007/978-3-030-37487-7_5","mag":"2996069279"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-37487-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-37487-7_5","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":"conference-paper","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/A5056223695","display_name":"Igor Anureev","orcid":"https://orcid.org/0000-0001-9574-128X"},"institutions":[{"id":"https://openalex.org/I4210092286","display_name":"Institute of Informatics Problems","ror":"https://ror.org/00n8bqs64","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210092286"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Igor Anureev","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Acad. Lavrentieva prosp. 6, 630090, Novosibirsk, Russia","Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Acad. Lavrentieva prosp. 6, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210092286"]},{"raw_affiliation_string":"Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038348814","display_name":"Natalia Garanina","orcid":"https://orcid.org/0000-0001-9734-3808"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210092286","display_name":"Institute of Informatics Problems","ror":"https://ror.org/00n8bqs64","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210092286"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Natalia Garanina","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Acad. Lavrentieva prosp. 6, 630090, Novosibirsk, Russia","Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Acad. Lavrentieva prosp. 6, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210092286"]},{"raw_affiliation_string":"Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]},{"raw_affiliation_string":"Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004962624","display_name":"Tatiana Liakh","orcid":"https://orcid.org/0000-0001-9148-946X"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Tatiana Liakh","raw_affiliation_strings":["Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]},{"raw_affiliation_string":"Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090387282","display_name":"Andrei Rozov","orcid":"https://orcid.org/0000-0002-7468-0411"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Andrei Rozov","raw_affiliation_strings":["Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]},{"raw_affiliation_string":"Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088886105","display_name":"Vladimir Zyubin","orcid":"https://orcid.org/0000-0002-8198-3197"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vladimir Zyubin","raw_affiliation_strings":["Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automation and Electrometry, Acad. Koptyuga prosp. 1, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]},{"raw_affiliation_string":"Novosibirsk State University, Pirogova str. 2, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061421539","display_name":"Sergei Gorlatch","orcid":"https://orcid.org/0000-0003-3857-9380"},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sergei Gorlatch","raw_affiliation_strings":["University of Muenster, Einsteinstr. 62, 48149, M\u00fcnster, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Muenster, Einsteinstr. 62, 48149, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5056223695"],"corresponding_institution_ids":["https://openalex.org/I4210092286","https://openalex.org/I4210164049"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.7993,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.91561486,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"50","last_page":"63"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980000257492065,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8442848920822144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7041837573051453},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4812857508659363},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4812314510345459},{"id":"https://openalex.org/keywords/control-software","display_name":"Control software","score":0.46742957830429077},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4400601089000702}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8442848920822144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7041837573051453},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4812857508659363},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4812314510345459},{"id":"https://openalex.org/C2988765172","wikidata":"https://www.wikidata.org/wiki/Q22349898","display_name":"Control software","level":3,"score":0.46742957830429077},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4400601089000702}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-37487-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-37487-7_5","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W4407975","https://openalex.org/W168201549","https://openalex.org/W567306703","https://openalex.org/W568055057","https://openalex.org/W1480909796","https://openalex.org/W1498342204","https://openalex.org/W1503973138","https://openalex.org/W1511110335","https://openalex.org/W1579424694","https://openalex.org/W1586765924","https://openalex.org/W1606177908","https://openalex.org/W1964546727","https://openalex.org/W1994141359","https://openalex.org/W2011521967","https://openalex.org/W2031454477","https://openalex.org/W2099529102","https://openalex.org/W2137918685","https://openalex.org/W2460918602","https://openalex.org/W2506598342","https://openalex.org/W2889403595","https://openalex.org/W2968193927","https://openalex.org/W3144368627","https://openalex.org/W3189981105","https://openalex.org/W4205126356","https://openalex.org/W4210886820","https://openalex.org/W4231602332","https://openalex.org/W4231980343"],"related_works":["https://openalex.org/W2207495067","https://openalex.org/W1906486629","https://openalex.org/W2288440985","https://openalex.org/W2379868041","https://openalex.org/W2351076830","https://openalex.org/W2031855134","https://openalex.org/W2355158716","https://openalex.org/W2385419208","https://openalex.org/W1540070193","https://openalex.org/W2169107157"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}