{"id":"https://openalex.org/W2735966221","doi":"https://doi.org/10.1145/3106989.3106991","title":"Predicting Network Futures with Plankton","display_name":"Predicting Network Futures with Plankton","publication_year":2017,"publication_date":"2017-07-17","ids":{"openalex":"https://openalex.org/W2735966221","doi":"https://doi.org/10.1145/3106989.3106991","mag":"2735966221"},"language":"en","primary_location":{"id":"doi:10.1145/3106989.3106991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106989.3106991","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First Asia-Pacific Workshop on Networking","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/A5035613166","display_name":"Santhosh Prabhu","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Santhosh Prabhu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061723484","display_name":"Ali Kheradmand","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Kheradmand","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082789555","display_name":"Brighten Godfrey","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brighten Godfrey","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038897777","display_name":"Matthew Caesar","orcid":"https://orcid.org/0000-0001-5955-9229"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Caesar","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1834,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.92268041,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"92","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9973000288009644,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9958000183105469,"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/correctness","display_name":"Correctness","score":0.8940054178237915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7830688953399658},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5583455562591553},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5317455530166626},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4984586238861084},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.49097350239753723},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4681204855442047},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4608253240585327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33427000045776367},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1956298053264618},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.122874915599823}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8940054178237915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7830688953399658},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5583455562591553},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5317455530166626},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4984586238861084},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.49097350239753723},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4681204855442047},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4608253240585327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33427000045776367},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1956298053264618},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.122874915599823},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3106989.3106991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106989.3106991","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First Asia-Pacific Workshop on Networking","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W158224344","https://openalex.org/W1249296113","https://openalex.org/W1583487553","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W2023808162","https://openalex.org/W2044744030","https://openalex.org/W2099927462","https://openalex.org/W2115309705","https://openalex.org/W2115526539","https://openalex.org/W2142065670","https://openalex.org/W2477023729","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2536639940","https://openalex.org/W2577367366","https://openalex.org/W2604258491","https://openalex.org/W2604667416","https://openalex.org/W4251998475"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2103326719","https://openalex.org/W2111870610","https://openalex.org/W2906490231"],"abstract_inverted_index":{"Recent":[0],"years":[1],"have":[2,14,54,210],"seen":[3],"significant":[4,55],"advancement":[5],"in":[6,57,81,105],"the":[7,39,45,115,121,169,172,177,205],"field":[8],"of":[9,34,42,59,74,111,141,147,171,200],"formal":[10],"network":[11,46,117,173,201],"verification.":[12],"Tools":[13,104],"been":[15],"proposed":[16],"for":[17,137],"offline":[18],"data":[19,23,93,99,148],"plane":[20,24,94,100,149,152],"verification,":[21],"real-time":[22],"verification":[25,28,52,135],"and":[26,77,119,150],"configuration":[27],"under":[29],"arbitrary,":[30],"but":[31],"static":[32],"sets":[33],"failures.":[35],"However,":[36],"due":[37,196],"to":[38,197],"fundamental":[40],"limitation":[41],"not":[43,109],"treating":[44],"as":[47,174,176],"an":[48],"evolving":[49],"system,":[50],"current":[51,206],"platforms":[53],"constraints":[56],"terms":[58],"scope.":[60],"In":[61,184],"real-world":[62],"networks,":[63],"correctness":[64,86],"policies":[65],"may":[66,89],"be":[67],"violated":[68],"only":[69],"through":[70],"a":[71,82,134,159,163,198],"particular":[72],"combination":[73],"environment":[75],"events":[76,179],"protocol":[78],"actions,":[79],"possibly":[80],"non-deterministic":[83],"sequence.":[84],"Moreover,":[85],"specifications":[87],"themselves":[88],"often":[90],"correlate":[91],"multiple":[92],"states,":[95],"particularly":[96],"when":[97],"dynamic":[98],"elements":[101],"are":[102,108,126],"present.":[103],"existence":[106],"today":[107],"capable":[110],"reasoning":[112],"about":[113],"all":[114,120],"possible":[116],"events,":[118,202],"subsequent":[122],"execution":[123],"paths":[124],"that":[125,167,180,193],"enabled":[127],"by":[128],"those":[129],"events.":[130],"We":[131],"propose":[132],"Plankton,":[133],"platform":[136],"identifying":[138],"undesirable":[139],"evolutions":[140],"networks.":[142],"By":[143],"combining":[144],"symbolic":[145],"modeling":[146],"control":[151],"with":[153],"explicit":[154],"state":[155],"exploration,":[156],"Plankton":[157,187],"performs":[158],"goal-directed":[160],"search":[161],"on":[162],"finite-state":[164],"transition":[165],"system":[166],"captures":[168],"behavior":[170],"well":[175],"various":[178],"can":[181,188,194],"influence":[182],"it.":[183],"this":[185],"way,":[186],"automatically":[189],"find":[190],"policy":[191],"violations":[192],"occur":[195],"sequence":[199],"starting":[203],"from":[204],"state.":[207],"Initial":[208],"experiments":[209],"successfully":[211],"predicted":[212],"scenarios":[213],"like":[214],"BGP":[215],"Wedgies.":[216]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}