{"id":"https://openalex.org/W1594330404","doi":"https://doi.org/10.1007/3-540-46419-0_36","title":"A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors","display_name":"A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1594330404","doi":"https://doi.org/10.1007/3-540-46419-0_36","mag":"1594330404"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-46419-0_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-46419-0_36","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/A5014572316","display_name":"Stefania Gnesi","orcid":"https://orcid.org/0000-0002-0139-0421"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"S. Gnesi","raw_affiliation_strings":["Istituto Elaborazione dell\u2019Informazione - CNR, Italy","Istituto Elaborazione dell'Informazione - CNR, Italy"],"affiliations":[{"raw_affiliation_string":"Istituto Elaborazione dell\u2019Informazione - CNR, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto Elaborazione dell'Informazione - CNR, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049253314","display_name":"Diego Latella","orcid":"https://orcid.org/0000-0002-3257-9059"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Latella","raw_affiliation_strings":["CNUCE - CNR, Italy"],"affiliations":[{"raw_affiliation_string":"CNUCE - CNR, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070924321","display_name":"Gabriele Lenzini","orcid":"https://orcid.org/0000-0001-8229-3270"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Lenzini","raw_affiliation_strings":["Istituto Elaborazione dell\u2019Informazione - CNR, Italy","Istituto Elaborazione dell'Informazione - CNR, Italy"],"affiliations":[{"raw_affiliation_string":"Istituto Elaborazione dell\u2019Informazione - CNR, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto Elaborazione dell'Informazione - CNR, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023643372","display_name":"C. Abbaneo","orcid":null},"institutions":[{"id":"https://openalex.org/I2801958098","display_name":"Ansaldo (Italy)","ror":"https://ror.org/03ynt1573","country_code":"IT","type":"company","lineage":["https://openalex.org/I2801958098"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"C. Abbaneo","raw_affiliation_strings":["Ansaldobreda Segnalamento Ferroviario, Italy"],"affiliations":[{"raw_affiliation_string":"Ansaldobreda Segnalamento Ferroviario, Italy","institution_ids":["https://openalex.org/I2801958098"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031072504","display_name":"Arturo Amendola","orcid":null},"institutions":[{"id":"https://openalex.org/I2801958098","display_name":"Ansaldo (Italy)","ror":"https://ror.org/03ynt1573","country_code":"IT","type":"company","lineage":["https://openalex.org/I2801958098"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Amendola","raw_affiliation_strings":["Ansaldobreda Segnalamento Ferroviario, Italy"],"affiliations":[{"raw_affiliation_string":"Ansaldobreda Segnalamento Ferroviario, Italy","institution_ids":["https://openalex.org/I2801958098"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111431335","display_name":"P. Marmo","orcid":null},"institutions":[{"id":"https://openalex.org/I2801958098","display_name":"Ansaldo (Italy)","ror":"https://ror.org/03ynt1573","country_code":"IT","type":"company","lineage":["https://openalex.org/I2801958098"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"P. Marmo","raw_affiliation_strings":["Ansaldobreda Segnalamento Ferroviario, Italy"],"affiliations":[{"raw_affiliation_string":"Ansaldobreda Segnalamento Ferroviario, Italy","institution_ids":["https://openalex.org/I2801958098"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5014572316"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3495,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81471833,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"535","last_page":"549"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.8139752745628357},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6057928800582886},{"id":"https://openalex.org/keywords/byzantine-architecture","display_name":"Byzantine architecture","score":0.5932484865188599},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5923638343811035},{"id":"https://openalex.org/keywords/byzantine-fault-tolerance","display_name":"Byzantine fault tolerance","score":0.5049260258674622},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5010824203491211},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4917023777961731},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37333372235298157},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.19598856568336487},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.06921690702438354},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.06785261631011963},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.06683763861656189}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8139752745628357},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6057928800582886},{"id":"https://openalex.org/C104562893","wikidata":"https://www.wikidata.org/wiki/Q47591","display_name":"Byzantine architecture","level":2,"score":0.5932484865188599},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5923638343811035},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.5049260258674622},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5010824203491211},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4917023777961731},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37333372235298157},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.19598856568336487},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.06921690702438354},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.06785261631011963},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.06683763861656189}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-46419-0_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-46419-0_36","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:ris.utwente.nl:openaire_cris_publications/6d2c8286-66ff-4ad7-90ec-7e4dd1aeece6","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/6d2c8286-66ff-4ad7-90ec-7e4dd1aeece6","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gnesi, S, Latella, D, Lenzini, G, Abbaneo, C, Amendola, A & Marmo, P 2000, A Formal Specification and Validation of a Control System in Presence of Byzantine Errors. in S Graf & M Schwartzbach (eds), Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 \u2013 April 2, 2000, Proceedings. Lecture Notes in Computer Science, vol. 1785, Springer, Berlin, Heidelberg, pp. 535-549, 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, Berlin, Germany, 27/03/00. https://doi.org/10.1007/3-540-46419-0_36","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/6d2c8286-66ff-4ad7-90ec-7e4dd1aeece6","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.5799999833106995,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W132594803","https://openalex.org/W1490990888","https://openalex.org/W1501731334","https://openalex.org/W1530147404","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1985665832","https://openalex.org/W2016976065","https://openalex.org/W2018601806","https://openalex.org/W2023808162","https://openalex.org/W2065587852","https://openalex.org/W2077172290","https://openalex.org/W2081966658","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2120734778","https://openalex.org/W2127305744","https://openalex.org/W2164892954","https://openalex.org/W2164989576","https://openalex.org/W3137092842","https://openalex.org/W3144368627","https://openalex.org/W4210620864"],"related_works":["https://openalex.org/W2157306459","https://openalex.org/W1536552036","https://openalex.org/W2156223462","https://openalex.org/W1583364777","https://openalex.org/W1524361563","https://openalex.org/W2897842245","https://openalex.org/W61995002","https://openalex.org/W1548276064","https://openalex.org/W63592217","https://openalex.org/W1698768438"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2025-10-10T00:00:00"}