{"id":"https://openalex.org/W2965167111","doi":"https://doi.org/10.1007/978-3-030-31784-3_31","title":"Performance Evaluation of the NDN Data Plane Using Statistical Model Checking","display_name":"Performance Evaluation of the NDN Data Plane Using Statistical Model Checking","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2965167111","doi":"https://doi.org/10.1007/978-3-030-31784-3_31","mag":"2965167111"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-31784-3_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-31784-3_31","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.01607","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049010403","display_name":"Siham Khoussi","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR","US"],"is_corresponding":true,"raw_author_name":"Siham Khoussi","raw_affiliation_strings":["National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062604298","display_name":"Ayoub Nouri","orcid":"https://orcid.org/0000-0001-8959-5212"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ayoub Nouri","raw_affiliation_strings":["Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049163433","display_name":"Junxiao Shi","orcid":"https://orcid.org/0000-0003-3138-0790"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junxiao Shi","raw_affiliation_strings":["National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","National Inst. of Standards and Technology, Gaithersburg, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"National Inst. of Standards and Technology, Gaithersburg, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084988566","display_name":"James J. Filliben","orcid":"https://orcid.org/0000-0002-2388-3198"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Filliben","raw_affiliation_strings":["National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","National Inst. of Standards and Technology, Gaithersburg, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"National Inst. of Standards and Technology, Gaithersburg, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003031611","display_name":"Lotfi Benmohamed","orcid":"https://orcid.org/0009-0003-4857-7351"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lotfi Benmohamed","raw_affiliation_strings":["National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","National Inst. of Standards and Technology, Gaithersburg, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"National Inst. of Standards and Technology, Gaithersburg, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024100219","display_name":"Abdella Battou","orcid":"https://orcid.org/0000-0003-3071-842X"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdella Battou","raw_affiliation_strings":["National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","National Inst. of Standards and Technology, Gaithersburg, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA","institution_ids":["https://openalex.org/I1321296531"]},{"raw_affiliation_string":"National Inst. of Standards and Technology, Gaithersburg, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109183304","display_name":"Saddek Bensalem","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":["Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, 38000, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble Institute of Engineering Univ. Grenoble Alpes, VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5049010403"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1321296531","https://openalex.org/I899635006"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4549,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60690769,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"534","last_page":"550"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11478","display_name":"Caching and Content Delivery","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11478","display_name":"Caching and Content Delivery","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10796","display_name":"Cooperative Communication and Network Coding","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8346947431564331},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.7878865599632263},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7615095376968384},{"id":"https://openalex.org/keywords/nist","display_name":"NIST","score":0.6507529616355896},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.6284154057502747},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6146278381347656},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5153847932815552},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.513801634311676},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4627286195755005},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4109513461589813},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40821248292922974},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2129988670349121},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10721305012702942}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8346947431564331},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.7878865599632263},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7615095376968384},{"id":"https://openalex.org/C111219384","wikidata":"https://www.wikidata.org/wiki/Q6954384","display_name":"NIST","level":2,"score":0.6507529616355896},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.6284154057502747},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6146278381347656},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5153847932815552},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.513801634311676},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4627286195755005},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4109513461589813},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40821248292922974},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2129988670349121},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10721305012702942},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-31784-3_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-31784-3_31","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:arXiv.org:1905.01607","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.01607","pdf_url":"https://arxiv.org/pdf/1905.01607","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"mag:2965167111","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.01607","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1905.01607","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.01607","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.01607","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.01607","pdf_url":"https://arxiv.org/pdf/1905.01607","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1515008247","https://openalex.org/W1544634046","https://openalex.org/W1558483585","https://openalex.org/W1813667095","https://openalex.org/W1987535580","https://openalex.org/W2076057321","https://openalex.org/W2115857453","https://openalex.org/W2122642161","https://openalex.org/W2133038101","https://openalex.org/W2155903900","https://openalex.org/W2314322419","https://openalex.org/W2892813239","https://openalex.org/W2898291905","https://openalex.org/W2981548924","https://openalex.org/W4214963255"],"related_works":["https://openalex.org/W2900702342","https://openalex.org/W2896744742","https://openalex.org/W2601504759","https://openalex.org/W2611990442","https://openalex.org/W3200888793","https://openalex.org/W2570697233","https://openalex.org/W2050137639","https://openalex.org/W2141816950","https://openalex.org/W2940576612","https://openalex.org/W142631152","https://openalex.org/W2942743438","https://openalex.org/W2898594258","https://openalex.org/W2996965071","https://openalex.org/W2807388580","https://openalex.org/W2038404441","https://openalex.org/W3044861764","https://openalex.org/W3135046260","https://openalex.org/W2617483195","https://openalex.org/W2083741971","https://openalex.org/W2906765604"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}