{"id":"https://openalex.org/W1488822784","doi":"https://doi.org/10.1007/978-3-540-39724-3_25","title":"Integrating RAM and Disk Based Verification within the Mur\u03d5 Verifier","display_name":"Integrating RAM and Disk Based Verification within the Mur\u03d5 Verifier","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1488822784","doi":"https://doi.org/10.1007/978-3-540-39724-3_25","mag":"1488822784"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-39724-3_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-39724-3_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-39724-3_25.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/978-3-540-39724-3_25.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000230182","display_name":"Giuseppe Della Penna","orcid":"https://orcid.org/0000-0003-2327-9393"},"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"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Della Penna","raw_affiliation_strings":["Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038380237","display_name":"Benedetto Intrigila","orcid":null},"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"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Benedetto Intrigila","raw_affiliation_strings":["Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085357809","display_name":"Igor Melatti","orcid":"https://orcid.org/0000-0002-6273-6190"},"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"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Igor Melatti","raw_affiliation_strings":["Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L\u2019Aquila, Coppito, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dip. di Informatica, Universit\u00e0 di L'Aquila, Coppito, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010524910","display_name":"Enrico Tronci","orcid":"https://orcid.org/0000-0002-0377-3119"},"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":false,"raw_author_name":"Enrico Tronci","raw_affiliation_strings":["Dip. di Informatica Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","Dip. di Informatica Universit\u00e0 di Roma \"La Sapienza\", Via Salaria 113, 00198, Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dip. di Informatica Universit\u00e0 di Roma \"La Sapienza\", Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082449905","display_name":"Marisa Venturini Zilli","orcid":null},"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":false,"raw_author_name":"Marisa Venturini Zilli","raw_affiliation_strings":["Dip. di Informatica Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","Dip. di Informatica Universit\u00e0 di Roma \"La Sapienza\", Via Salaria 113, 00198, Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dip. di Informatica Universit\u00e0 di Roma \"La Sapienza\", Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2765,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.51541353,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"277","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.994700014591217,"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.7845773696899414},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.6781377792358398},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6173835396766663},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.6007559895515442},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5748574733734131},{"id":"https://openalex.org/keywords/data-verification","display_name":"Data verification","score":0.48169073462486267},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.47048237919807434},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4514079988002777},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.42908450961112976},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.36212486028671265},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.35463276505470276},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3299944996833801},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32742005586624146},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20388269424438477},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10219880938529968},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08995887637138367},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06894972920417786}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7845773696899414},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.6781377792358398},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6173835396766663},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.6007559895515442},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5748574733734131},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.48169073462486267},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.47048237919807434},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4514079988002777},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.42908450961112976},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.36212486028671265},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.35463276505470276},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3299944996833801},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32742005586624146},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20388269424438477},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10219880938529968},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08995887637138367},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06894972920417786},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-39724-3_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-39724-3_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-39724-3_25.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:iris.uniroma1.it:11573/250429","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/250429","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/978-3-540-39724-3_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-39724-3_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-39724-3_25.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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1488822784.pdf","grobid_xml":"https://content.openalex.org/works/W1488822784.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W30961909","https://openalex.org/W195082763","https://openalex.org/W1537530326","https://openalex.org/W1557440254","https://openalex.org/W2069144421","https://openalex.org/W2079071129","https://openalex.org/W2099800340","https://openalex.org/W2476089118","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W4205300843","https://openalex.org/W2325633191","https://openalex.org/W2162709385","https://openalex.org/W1496505755","https://openalex.org/W2391022620","https://openalex.org/W626284047","https://openalex.org/W3208762533","https://openalex.org/W2098699043","https://openalex.org/W3023094627"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}