{"id":"https://openalex.org/W2942619398","doi":"https://doi.org/10.1007/s11334-019-00339-1","title":"Property specification patterns at work: verification and inconsistency explanation","display_name":"Property specification patterns at work: verification and inconsistency explanation","publication_year":2019,"publication_date":"2019-05-03","ids":{"openalex":"https://openalex.org/W2942619398","doi":"https://doi.org/10.1007/s11334-019-00339-1","mag":"2942619398"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-019-00339-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-019-00339-1","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"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":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11567/995257","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101575386","display_name":"Massimo Narizzano","orcid":"https://orcid.org/0000-0002-0268-4843"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimo Narizzano","raw_affiliation_strings":["DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","DIBRIS, University of Genoa, Genoa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"DIBRIS, University of Genoa, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004587018","display_name":"Luca Pulina","orcid":"https://orcid.org/0000-0003-0258-3222"},"institutions":[{"id":"https://openalex.org/I159650629","display_name":"University of Sassari","ror":"https://ror.org/01bnjbv91","country_code":"IT","type":"education","lineage":["https://openalex.org/I159650629"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Pulina","raw_affiliation_strings":["Chemistry and Pharmacy Department, University of Sassari, Via Vienna 2, Sassari, Italy","Chemistry and Pharmacy Department, University of Sassari, Sassari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chemistry and Pharmacy Department, University of Sassari, Via Vienna 2, Sassari, Italy","institution_ids":["https://openalex.org/I159650629"]},{"raw_affiliation_string":"Chemistry and Pharmacy Department, University of Sassari, Sassari, Italy","institution_ids":["https://openalex.org/I159650629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067087113","display_name":"Armando Tacchella","orcid":"https://orcid.org/0000-0001-9487-331X"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Armando Tacchella","raw_affiliation_strings":["DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","DIBRIS, University of Genoa, Genoa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"DIBRIS, University of Genoa, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033489901","display_name":"Simone Vuotto","orcid":"https://orcid.org/0000-0001-6617-2874"},"institutions":[{"id":"https://openalex.org/I159650629","display_name":"University of Sassari","ror":"https://ror.org/01bnjbv91","country_code":"IT","type":"education","lineage":["https://openalex.org/I159650629"]},{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Simone Vuotto","raw_affiliation_strings":["Chemistry and Pharmacy Department, University of Sassari, Via Vienna 2, Sassari, Italy","DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","Chemistry and Pharmacy Department, University of Sassari, Sassari, Italy","DIBRIS, University of Genoa, Genoa, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6617-2874","affiliations":[{"raw_affiliation_string":"Chemistry and Pharmacy Department, University of Sassari, Via Vienna 2, Sassari, Italy","institution_ids":["https://openalex.org/I159650629"]},{"raw_affiliation_string":"DIBRIS, University of Genoa, Viale Causa 13, 16145, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"Chemistry and Pharmacy Department, University of Sassari, Sassari, Italy","institution_ids":["https://openalex.org/I159650629"]},{"raw_affiliation_string":"DIBRIS, University of Genoa, Genoa, Italy","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033489901"],"corresponding_institution_ids":["https://openalex.org/I159650629","https://openalex.org/I83816512"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":1.2433,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81312662,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"15","issue":"3-4","first_page":"307","last_page":"323"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9986000061035156,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983999729156494,"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/computer-science","display_name":"Computer science","score":0.6897890567779541},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6739833950996399},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6404412984848022},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6054302453994751},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.575416088104248},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4892859160900116},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45263445377349854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45217612385749817},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4474376440048218},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4341590404510498},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4183483123779297},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13806694746017456}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6897890567779541},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6739833950996399},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6404412984848022},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6054302453994751},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.575416088104248},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4892859160900116},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45263445377349854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45217612385749817},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4474376440048218},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4341590404510498},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4183483123779297},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13806694746017456},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11334-019-00339-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-019-00339-1","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"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":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:iris.unige.it:11567/995257","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/995257","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:iris.unige.it:11567/995257","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/995257","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6800000071525574,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2440660815","display_name":"Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments","funder_award_id":"732105","funder_id":"https://openalex.org/F4320338475","funder_display_name":"H2020 LEIT Information and Communication Technologies"}],"funders":[{"id":"https://openalex.org/F4320338475","display_name":"H2020 LEIT Information and Communication Technologies","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W16149696","https://openalex.org/W42976635","https://openalex.org/W174127068","https://openalex.org/W308113020","https://openalex.org/W1439315257","https://openalex.org/W1489391022","https://openalex.org/W1506588809","https://openalex.org/W1517476027","https://openalex.org/W1527982431","https://openalex.org/W1539868891","https://openalex.org/W1540180001","https://openalex.org/W1547304883","https://openalex.org/W1595126969","https://openalex.org/W1602995535","https://openalex.org/W1752393975","https://openalex.org/W1769298637","https://openalex.org/W1810595877","https://openalex.org/W1855380557","https://openalex.org/W1977166502","https://openalex.org/W1996832037","https://openalex.org/W2016206563","https://openalex.org/W2018118431","https://openalex.org/W2019145653","https://openalex.org/W2020169768","https://openalex.org/W2023808162","https://openalex.org/W2031157814","https://openalex.org/W2032906824","https://openalex.org/W2081776044","https://openalex.org/W2117189826","https://openalex.org/W2121334200","https://openalex.org/W2150310937","https://openalex.org/W2159958244","https://openalex.org/W2160089068","https://openalex.org/W2187020956","https://openalex.org/W2266282164","https://openalex.org/W2395574141","https://openalex.org/W2568050379","https://openalex.org/W2613030384","https://openalex.org/W2735552266","https://openalex.org/W2773373365","https://openalex.org/W3099891702","https://openalex.org/W6600234944"],"related_works":["https://openalex.org/W2075768550","https://openalex.org/W2117163556","https://openalex.org/W108653788","https://openalex.org/W4312622265","https://openalex.org/W2031157814","https://openalex.org/W2907580149","https://openalex.org/W1526456721","https://openalex.org/W2252902320","https://openalex.org/W1507805823","https://openalex.org/W2518211214"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2019-05-09T00:00:00"}