{"id":"https://openalex.org/W2345430715","doi":"https://doi.org/10.1007/978-3-319-30734-3_15","title":"Statically and Dynamically Verifiable SLA Metrics","display_name":"Statically and Dynamically Verifiable SLA Metrics","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2345430715","doi":"https://doi.org/10.1007/978-3-319-30734-3_15","mag":"2345430715"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-30734-3_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-30734-3_15","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-01336836/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015764128","display_name":"Elena Giachino","orcid":"https://orcid.org/0000-0001-8884-044X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Elena Giachino","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Bologna \u2013 INRIA Focus, Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Bologna \u2013 INRIA Focus, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058794403","display_name":"Stijn de Gouw","orcid":"https://orcid.org/0000-0003-2964-6844"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stijn de Gouw","raw_affiliation_strings":["SDL Fredhopper, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"SDL Fredhopper, Amsterdam, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010877867","display_name":"Cosimo Laneve","orcid":"https://orcid.org/0000-0002-0052-4061"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cosimo Laneve","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Bologna \u2013 INRIA Focus, Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Bologna \u2013 INRIA Focus, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087395324","display_name":"Behrooz Nobakht","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Behrooz Nobakht","raw_affiliation_strings":["SDL Fredhopper, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"SDL Fredhopper, Amsterdam, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5015764128"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1008,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86590999,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"225"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9994999766349792,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8670481443405151},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6590002179145813},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6227663159370422},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.6224600076675415},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.5790475606918335},{"id":"https://openalex.org/keywords/service-level-agreement","display_name":"Service-level agreement","score":0.5705689787864685},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4411594569683075},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4403691291809082},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4389653205871582},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42167460918426514},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.368888258934021},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2372775673866272},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16923996806144714},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.07259982824325562}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8670481443405151},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6590002179145813},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6227663159370422},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.6224600076675415},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5790475606918335},{"id":"https://openalex.org/C2778160497","wikidata":"https://www.wikidata.org/wiki/Q869830","display_name":"Service-level agreement","level":3,"score":0.5705689787864685},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4411594569683075},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4403691291809082},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4389653205871582},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42167460918426514},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.368888258934021},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2372775673866272},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16923996806144714},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.07259982824325562},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-30734-3_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-30734-3_15","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:HAL:hal-01336836v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01336836","pdf_url":"https://hal.science/hal-01336836/document","source":{"id":"https://openalex.org/S4406922453","display_name":"SPIRE - Sciences Po Institutional REpository","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":"Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩","raw_type":"Book sections"},{"id":"pmh:oai:cris.unibo.it:11585/548719","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/548719","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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:research.ou.nl:publications/5ec43e6f-2932-4a93-8ad8-ea5441bbb71a","is_oa":false,"landing_page_url":"https://hdl.handle.net/1820/5ec43e6f-2932-4a93-8ad8-ea5441bbb71a","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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":"Giachino, E, Gouw, S D, Laneve, C & Nobakht, B 2016, Statically and Dynamically Verifiable SLA Metrics. in E \u00c1, M B & E B J (eds), Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Lecture Notes in Computer Science, vol. 9660, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9660, pp. 211-225. https://doi.org/10.1007/978-3-319-30734-3_15","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ou:oai:research.ou.nl:publications/5ec43e6f-2932-4a93-8ad8-ea5441bbb71a","is_oa":false,"landing_page_url":"https://research.ou.nl/en/publications/5ec43e6f-2932-4a93-8ad8-ea5441bbb71a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 211 - 225","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01336836v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01336836","pdf_url":"https://hal.science/hal-01336836/document","source":{"id":"https://openalex.org/S4406922453","display_name":"SPIRE - Sciences Po Institutional REpository","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":"Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩","raw_type":"Book sections"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2345430715.pdf","grobid_xml":"https://content.openalex.org/works/W2345430715.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W110849379","https://openalex.org/W156022161","https://openalex.org/W1475796516","https://openalex.org/W1485833866","https://openalex.org/W1537084112","https://openalex.org/W1574129634","https://openalex.org/W1889387977","https://openalex.org/W1962072139","https://openalex.org/W1984042808","https://openalex.org/W2011562771","https://openalex.org/W2031455705","https://openalex.org/W2033449907","https://openalex.org/W2039977878","https://openalex.org/W2068106852","https://openalex.org/W2110544919","https://openalex.org/W2133673823","https://openalex.org/W2149485483","https://openalex.org/W2167427769","https://openalex.org/W2257203568","https://openalex.org/W2287338563"],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126","https://openalex.org/W2128900334","https://openalex.org/W2139109546"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}