{"id":"https://openalex.org/W1595126969","doi":"https://doi.org/10.1007/978-3-642-01702-5_7","title":"A Framework for Inherent Vacuity","display_name":"A Framework for Inherent Vacuity","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1595126969","doi":"https://doi.org/10.1007/978-3-642-01702-5_7","mag":"1595126969"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-01702-5_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01702-5_7","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/A5003817717","display_name":"Dana Fisman","orcid":"https://orcid.org/0000-0002-6015-4170"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Dana Fisman","raw_affiliation_strings":["IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel","IBM Haifa Research Lab, Haifa University Campus, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"IBM Haifa Research Lab, Haifa University Campus, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Orna Kupferman","raw_affiliation_strings":["School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000600007","display_name":"Sarai Sheinvald","orcid":"https://orcid.org/0000-0002-0524-7390"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Sarai Sheinvald-Faragy","raw_affiliation_strings":["School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000059818","display_name":"Moshe Y. Vardi","orcid":"https://orcid.org/0000-0002-0661-5773"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moshe Y. Vardi","raw_affiliation_strings":["Rice University, Houston Texas, 77005, USA","Rice University, Houston Texas, USA"],"affiliations":[{"raw_affiliation_string":"Rice University, Houston Texas, 77005, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Rice University, Houston Texas, USA","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003817717"],"corresponding_institution_ids":["https://openalex.org/I197251160","https://openalex.org/I4210167297"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.91,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.94286304,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"7","last_page":"22"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.993399977684021,"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.8112406730651855},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.7409847378730774},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7183071374893188},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.562667965888977},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5573246479034424},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5276521444320679},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4588812291622162},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4501134157180786},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.44591474533081055},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.44258686900138855},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4368472695350647},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3123447895050049}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8112406730651855},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.7409847378730774},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7183071374893188},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.562667965888977},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5573246479034424},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5276521444320679},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4588812291622162},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4501134157180786},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.44591474533081055},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.44258686900138855},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4368472695350647},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3123447895050049},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-01702-5_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01702-5_7","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:CiteSeerX.psu:10.1.1.140.4382","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.huji.ac.il/~danafi/publications/FKSV08.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W61031493","https://openalex.org/W153866903","https://openalex.org/W176994763","https://openalex.org/W1480351298","https://openalex.org/W1483744477","https://openalex.org/W1497843565","https://openalex.org/W1501230691","https://openalex.org/W1514731943","https://openalex.org/W1520071402","https://openalex.org/W1520345377","https://openalex.org/W1528333202","https://openalex.org/W1540883472","https://openalex.org/W1545603837","https://openalex.org/W1550875290","https://openalex.org/W1556566737","https://openalex.org/W1582359184","https://openalex.org/W1583654333","https://openalex.org/W1589421353","https://openalex.org/W1599379570","https://openalex.org/W1606555018","https://openalex.org/W1667182944","https://openalex.org/W1725092093","https://openalex.org/W1852693356","https://openalex.org/W1976597924","https://openalex.org/W1976773489","https://openalex.org/W1990609140","https://openalex.org/W2003227046","https://openalex.org/W2016206563","https://openalex.org/W2019188908","https://openalex.org/W2019211555","https://openalex.org/W2032189196","https://openalex.org/W2032906824","https://openalex.org/W2128158689","https://openalex.org/W2136877520","https://openalex.org/W2145836761","https://openalex.org/W2476089118","https://openalex.org/W2911594569","https://openalex.org/W2914665807","https://openalex.org/W3142470543","https://openalex.org/W4230220072","https://openalex.org/W4233832762","https://openalex.org/W4236096187","https://openalex.org/W4239884176"],"related_works":["https://openalex.org/W2149238005","https://openalex.org/W2047524021","https://openalex.org/W2558572842","https://openalex.org/W2158159493","https://openalex.org/W239966521","https://openalex.org/W2136463869","https://openalex.org/W2049993111","https://openalex.org/W3048422056","https://openalex.org/W2211523418","https://openalex.org/W2950867169"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}