{"id":"https://openalex.org/W4394628733","doi":"https://doi.org/10.1109/cloudnet59005.2023.10490075","title":"From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis","display_name":"From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis","publication_year":2023,"publication_date":"2023-11-01","ids":{"openalex":"https://openalex.org/W4394628733","doi":"https://doi.org/10.1109/cloudnet59005.2023.10490075"},"language":"en","primary_location":{"id":"doi:10.1109/cloudnet59005.2023.10490075","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cloudnet59005.2023.10490075","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 12th International Conference on Cloud Networking (CloudNet)","raw_type":"proceedings-article"},"type":"article","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/A5114064107","display_name":"Shiyu Yuan","orcid":"https://orcid.org/0009-0002-2832-1829"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shiyu Yuan","raw_affiliation_strings":["Stevens Institute of Technology,Hoboken,NJ","Stevens Institute of Technology, Hoboken, NJ"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Hoboken,NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027373671","display_name":"Jingda Yang","orcid":"https://orcid.org/0009-0005-0532-8907"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingda Yang","raw_affiliation_strings":["Stevens Institute of Technology,Hoboken,NJ","Stevens Institute of Technology, Hoboken, NJ"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Hoboken,NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002804082","display_name":"Sudhanshu Arya","orcid":"https://orcid.org/0000-0002-6030-5258"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudhanshu Arya","raw_affiliation_strings":["Stevens Institute of Technology,Hoboken,NJ","Stevens Institute of Technology, Hoboken, NJ"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Hoboken,NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059975108","display_name":"Carlo Lipizzi","orcid":"https://orcid.org/0000-0001-7888-3382"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carlo Lipizzi","raw_affiliation_strings":["Stevens Institute of Technology,Hoboken,NJ","Stevens Institute of Technology, Hoboken, NJ"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Hoboken,NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100347118","display_name":"Ying Wang","orcid":"https://orcid.org/0000-0002-5789-2850"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ying Wang","raw_affiliation_strings":["Stevens Institute of Technology,Hoboken,NJ","Stevens Institute of Technology, Hoboken, NJ"],"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Hoboken,NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute of Technology, Hoboken, NJ","institution_ids":["https://openalex.org/I108468826"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5114064107"],"corresponding_institution_ids":["https://openalex.org/I108468826"],"apc_list":null,"apc_paid":null,"fwci":0.7962,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74492593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"229","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.7907999753952026,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.7907999753952026,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.7584999799728394,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.767388641834259},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.7452553510665894},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7290134429931641},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.6454527974128723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5944937467575073},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5575133562088013},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43525558710098267},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4258001446723938},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.04961681365966797}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.767388641834259},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.7452553510665894},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7290134429931641},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.6454527974128723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5944937467575073},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5575133562088013},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43525558710098267},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4258001446723938},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.04961681365966797},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cloudnet59005.2023.10490075","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cloudnet59005.2023.10490075","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 12th International Conference on Cloud Networking (CloudNet)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1579838312","https://openalex.org/W2123442489","https://openalex.org/W2735925068","https://openalex.org/W2809727329","https://openalex.org/W2896457183","https://openalex.org/W2987215725","https://openalex.org/W2992104486","https://openalex.org/W3154758272","https://openalex.org/W3177769392","https://openalex.org/W3185341429","https://openalex.org/W4200248513","https://openalex.org/W4214769238","https://openalex.org/W4223518423","https://openalex.org/W4286572135","https://openalex.org/W4312937798","https://openalex.org/W4327767773","https://openalex.org/W4376123187","https://openalex.org/W4382202372","https://openalex.org/W4383175748","https://openalex.org/W4384263581","https://openalex.org/W4384517744","https://openalex.org/W4384811729","https://openalex.org/W4385067298","https://openalex.org/W4385245566","https://openalex.org/W4392122658","https://openalex.org/W4394628749","https://openalex.org/W6634485491","https://openalex.org/W6678737427","https://openalex.org/W6740724813","https://openalex.org/W6755207826","https://openalex.org/W6794213531","https://openalex.org/W6810840224","https://openalex.org/W6852332046","https://openalex.org/W6854088150","https://openalex.org/W6854141097","https://openalex.org/W6854517035"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2592399342","https://openalex.org/W2045204345","https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W1999356246"],"abstract_inverted_index":{"Formal":[0],"method-based":[1],"analysis":[2,87,199],"of":[3,62,88,142,149,170,190,234,241],"the":[4,32,60,86,143,161,167,173,222,229,232,238],"5G":[5,209],"Wireless":[6],"Communication":[7],"Protocol":[8],"is":[9,188],"crucial":[10],"for":[11,70,122,151,156,192,200,208],"identifying":[12],"logical":[13,50],"vulnerabilities":[14],"and":[15,56,103,111,116,135,154,163,204,210,225,237,244],"facilitating":[16],"an":[17,81,193],"all-encompassing":[18],"security":[19],"assessment.":[20],"Natural":[21],"Language":[22],"Processing":[23],"(NLP)":[24],"assisted":[25],"techniques":[26],"are":[27,74,119],"not":[28],"widely":[29],"adopted":[30],"by":[31],"industry":[33],"application":[34,240],"such":[35],"as":[36,138],"formal":[37,40,64,112,117,123,136,157,198,235],"analysis.":[38,124],"Traditional":[39],"verification":[41,223],"through":[42],"a":[43,92,177,182],"mathematics":[44],"approach":[45],"heavily":[46],"relied":[47],"on":[48],"manual":[49,184],"abstraction":[51],"prone":[52],"to":[53,84,100,108,220,227],"being":[54],"time-consuming,":[55],"error-prone.":[57],"To":[58],"address":[59],"challenges":[61],"incorporating":[63],"methods":[65,236],"into":[66],"protocol":[67,171,205],"designs,":[68,172],"especially":[69,207],"3GPP":[71],"protocols":[72],"that":[73,95,129],"articulated":[75],"in":[76,166,196],"natural":[77,168],"language,":[78],"we":[79],"present":[80],"NLP-assisted":[82,215],"methodology":[83],"streamline":[85],"protocols.":[89],"We":[90,125],"introduce":[91],"two-step":[93],"pipeline":[94],"first":[96],"uses":[97,105],"NLP":[98],"tools":[99],"construct":[101],"data":[102,107],"then":[104],"constructed":[106],"extract":[109],"identifiers":[110,115,134],"properties.":[113],"The":[114],"properties":[118,137,158],"further":[120],"used":[121],"implemented":[126],"three":[127],"models":[128],"take":[130],"different":[131],"dependencies":[132],"between":[133,231],"criteria.":[139],"Our":[140,186],"results":[141],"optimal":[144],"model":[145],"reach":[146],"valid":[147],"accuracy":[148],"39%":[150],"identifier":[152],"extraction":[153],"42%":[155],"predictions.":[159],"Considering":[160],"complexity":[162],"ambiguity":[164],"inherent":[165],"language":[169],"modest":[174],"result":[175],"represents":[176],"meaningful":[178],"leap":[179],"towards":[180],"automating":[181],"traditionally":[183],"process.":[185],"work":[187],"proof":[189],"concept":[191],"efficient":[194],"procedure":[195],"performing":[197],"large-scale":[201,243],"complicate":[202],"specification":[203],"analysis,":[206],"nextG":[211],"communications.":[212],"By":[213],"leveraging":[214],"techniques,":[216],"our":[217],"method":[218],"aims":[219],"automate":[221],"process":[224],"seeks":[226],"bridge":[228],"gap":[230],"rigorousness":[233],"real-world":[239],"analyzing":[242],"complex":[245],"industrial":[246],"documents.":[247]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}