{"id":"https://openalex.org/W3113979915","doi":"https://doi.org/10.1109/mascots50786.2020.9285941","title":"Symbolic Execution for Network Functions with Time-Driven Logic","display_name":"Symbolic Execution for Network Functions with Time-Driven Logic","publication_year":2020,"publication_date":"2020-11-17","ids":{"openalex":"https://openalex.org/W3113979915","doi":"https://doi.org/10.1109/mascots50786.2020.9285941","mag":"3113979915"},"language":"en","primary_location":{"id":"doi:10.1109/mascots50786.2020.9285941","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mascots50786.2020.9285941","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)","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/A5100536220","display_name":"Harsha Sharma","orcid":null},"institutions":[{"id":"https://openalex.org/I154851008","display_name":"Indian Institute of Technology Roorkee","ror":"https://ror.org/00582g326","country_code":"IN","type":"education","lineage":["https://openalex.org/I154851008"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Harsha Sharma","raw_affiliation_strings":["Indian Institute of Technology, Roorkee"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Roorkee","institution_ids":["https://openalex.org/I154851008"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031365162","display_name":"Wenfei Wu","orcid":"https://orcid.org/0000-0002-1357-3137"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenfei Wu","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024217547","display_name":"Bangwen Deng","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bangwen Deng","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100536220"],"corresponding_institution_ids":["https://openalex.org/I154851008"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.20510927,"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":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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/T10714","display_name":"Software-Defined Networks and 5G","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/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9991000294685364,"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.8481332063674927},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.760504961013794},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6928352117538452},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5621393918991089},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.48467543721199036},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.47877395153045654},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.45890066027641296},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4549209773540497},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4166545569896698},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36285918951034546},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34752392768859863},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1352713406085968},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10201418399810791}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8481332063674927},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.760504961013794},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6928352117538452},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5621393918991089},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.48467543721199036},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.47877395153045654},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.45890066027641296},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4549209773540497},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4166545569896698},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36285918951034546},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34752392768859863},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1352713406085968},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10201418399810791},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mascots50786.2020.9285941","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mascots50786.2020.9285941","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3293734924","display_name":null,"funder_award_id":"61802225","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W142537503","https://openalex.org/W1480909796","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1882012874","https://openalex.org/W2010365467","https://openalex.org/W2054075353","https://openalex.org/W2099501333","https://openalex.org/W2115526539","https://openalex.org/W2124678127","https://openalex.org/W2130210899","https://openalex.org/W2155216527","https://openalex.org/W2163593754","https://openalex.org/W2256352919","https://openalex.org/W2296618620","https://openalex.org/W2308109111","https://openalex.org/W2339906640","https://openalex.org/W2548032328","https://openalex.org/W2604815149","https://openalex.org/W2605250808","https://openalex.org/W2763317416","https://openalex.org/W2770728219","https://openalex.org/W2810006281","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2861933588","https://openalex.org/W2878990204","https://openalex.org/W2906894838","https://openalex.org/W2918935582","https://openalex.org/W2948357036","https://openalex.org/W2963885243","https://openalex.org/W2967012987","https://openalex.org/W4288335661","https://openalex.org/W6637688222","https://openalex.org/W6639592347","https://openalex.org/W6664072704","https://openalex.org/W6684118736","https://openalex.org/W6698042110","https://openalex.org/W6719622580","https://openalex.org/W6735935406","https://openalex.org/W6736340968","https://openalex.org/W6759911528"],"related_works":["https://openalex.org/W2772436979","https://openalex.org/W2124110813","https://openalex.org/W3168910894","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061"],"abstract_inverted_index":{"Symbolic":[0],"Execution":[1],"is":[2],"a":[3,81],"commonly":[4],"used":[5],"technique":[6],"in":[7,75],"network":[8,15],"function":[9],"(NF)":[10],"verification,":[11],"and":[12,63,79,100,109],"it":[13],"helps":[14],"operators":[16],"to":[17,55,71],"find":[18],"implementation":[19],"or":[20],"configuration":[21],"bugs":[22],"before":[23],"the":[24,57],"deployment.":[25],"By":[26],"studying":[27],"most":[28],"existing":[29],"symbolic":[30,82],"execution":[31,83],"engine,":[32],"we":[33,45,68],"realize":[34],"that":[35,47,86],"they":[36],"only":[37],"focus":[38],"on":[39,102],"packet":[40],"arrival":[41],"based":[42],"event":[43],"logic;":[44],"propose":[46],"NF":[48,59,76],"modeling":[49,77],"language":[50,78],"should":[51],"include":[52],"time-driven":[53,73],"logic":[54,74,90],"describe":[56],"actual":[58],"implementations":[60],"more":[61],"accurately":[62],"performing":[64],"complete":[65],"verification.":[66],"Thus,":[67],"define":[69],"primitives":[70],"express":[72],"develop":[80],"engine":[84],"NF-SE":[85,99],"can":[87],"verify":[88],"such":[89],"for":[91,93],"NFs":[92,105],"multiple":[94,103],"packets.":[95],"Our":[96],"prototype":[97],"of":[98],"evaluation":[101],"example":[104],"demonstrate":[106],"its":[107],"usefulness":[108],"correctness.":[110]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}