{"id":"https://openalex.org/W1484171391","doi":"https://doi.org/10.1007/3-540-60973-3_100","title":"Automatic verification of a hydroelectric power plant","display_name":"Automatic verification of a hydroelectric power plant","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1484171391","doi":"https://doi.org/10.1007/3-540-60973-3_100","mag":"1484171391"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-60973-3_100","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-60973-3_100","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-60973-3_100.pdf","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":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-60973-3_100.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066761763","display_name":"Rosario Pugliese","orcid":"https://orcid.org/0000-0002-1419-1405"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Rosario Pugliese","raw_affiliation_strings":["Dip. di Scienze dell'Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria, 113, 00198, Roma, Italy","Universita di Roma, \u201cLa Sapienza\u201d"],"affiliations":[{"raw_affiliation_string":"Dip. di Scienze dell'Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria, 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita di Roma, \u201cLa Sapienza\u201d","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010524910","display_name":"Enrico Tronci","orcid":"https://orcid.org/0000-0002-0377-3119"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]},{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Tronci","raw_affiliation_strings":["Dip. di Matematica Pura ed Appl., Universit\u00e0 di L'Aquila Coppito, 67100, L'Aquila, Italy","Dip. di Scienze dell'Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria, 113, 00198, Roma, Italy","Universit\u00e0 di L'Aquila Coppito","Universit\u00e0 di Roma \u201cLa Sapienza\u201d"],"affiliations":[{"raw_affiliation_string":"Dip. di Matematica Pura ed Appl., Universit\u00e0 di L'Aquila Coppito, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dip. di Scienze dell'Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria, 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universit\u00e0 di L'Aquila Coppito","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Universit\u00e0 di Roma \u201cLa Sapienza\u201d","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066761763"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.8463,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.89910314,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"425","last_page":"444"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9847999811172485,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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.697585940361023},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6868202686309814},{"id":"https://openalex.org/keywords/hydroelectricity","display_name":"Hydroelectricity","score":0.6679145097732544},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6548709869384766},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6377347707748413},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5646703243255615},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5592155456542969},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5226138234138489},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4306245446205139},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34664541482925415},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33794888854026794},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11456918716430664},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09748286008834839}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.697585940361023},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6868202686309814},{"id":"https://openalex.org/C92311004","wikidata":"https://www.wikidata.org/wiki/Q80638","display_name":"Hydroelectricity","level":2,"score":0.6679145097732544},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6548709869384766},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6377347707748413},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5646703243255615},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5592155456542969},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5226138234138489},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4306245446205139},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34664541482925415},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33794888854026794},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11456918716430664},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09748286008834839},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-60973-3_100","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-60973-3_100","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-60973-3_100.pdf","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:flore.unifi.it:2158/240753","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/240753","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:iris.uniroma1.it:11573/207299","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/207299","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/3-540-60973-3_100","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-60973-3_100","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-60973-3_100.pdf","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"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.5699999928474426,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1484171391.pdf","grobid_xml":"https://content.openalex.org/works/W1484171391.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1598591924","https://openalex.org/W1979462141","https://openalex.org/W2041152728","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W2099120582","https://openalex.org/W2099610369","https://openalex.org/W2133491672","https://openalex.org/W2147514485","https://openalex.org/W2152613304"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W1608485412"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}