{"id":"https://openalex.org/W2150310382","doi":"https://doi.org/10.1109/memcod.2004.1459810","title":"Check and simulate: a case for incorporating model checking in network simulation","display_name":"Check and simulate: a case for incorporating model checking in network simulation","publication_year":2005,"publication_date":"2005-07-06","ids":{"openalex":"https://openalex.org/W2150310382","doi":"https://doi.org/10.1109/memcod.2004.1459810","mag":"2150310382"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2004.1459810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2004.1459810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.","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/A5113976218","display_name":"Ahmed Sobeih","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":true,"raw_author_name":"A. Sobeih","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"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":"M. Viswanathan","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010747298","display_name":"Jennifer C. Hou","orcid":"https://orcid.org/0000-0003-4022-2452"},"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":"J.C. Hou","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5113976218"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.1886,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.89872319,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"88","issue":null,"first_page":"27","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9955000281333923,"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":0.9955000281333923,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.992900013923645,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9908999800682068,"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.8720723986625671},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8321468830108643},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7808969020843506},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6363561749458313},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5890336632728577},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5363885760307312},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5308493375778198},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.512689471244812},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4697314500808716},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3806604743003845},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35993826389312744}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8720723986625671},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8321468830108643},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7808969020843506},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6363561749458313},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5890336632728577},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5363885760307312},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5308493375778198},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.512689471244812},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4697314500808716},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3806604743003845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35993826389312744},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2004.1459810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2004.1459810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.60.5312","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5312","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.projects.ncassr.org/multicast/papers/memocode04.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W30169036","https://openalex.org/W134518639","https://openalex.org/W1503170978","https://openalex.org/W1551802537","https://openalex.org/W1559035930","https://openalex.org/W2001487918","https://openalex.org/W2035951289","https://openalex.org/W2038394915","https://openalex.org/W2065675749","https://openalex.org/W2070726469","https://openalex.org/W2101416941","https://openalex.org/W2102258543","https://openalex.org/W2106247017","https://openalex.org/W2112115709","https://openalex.org/W2115309705","https://openalex.org/W2116678681","https://openalex.org/W2116685080","https://openalex.org/W2116989825","https://openalex.org/W2117009500","https://openalex.org/W2124478678","https://openalex.org/W2126345586","https://openalex.org/W2132150351","https://openalex.org/W2135199914","https://openalex.org/W2135274583","https://openalex.org/W2152676297","https://openalex.org/W2160614176","https://openalex.org/W2171480813","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4213079124","https://openalex.org/W4233287603","https://openalex.org/W4251167975","https://openalex.org/W4285719527","https://openalex.org/W4300021588","https://openalex.org/W6601242463","https://openalex.org/W6633072721","https://openalex.org/W6675094966","https://openalex.org/W6675445138","https://openalex.org/W6683332776"],"related_works":["https://openalex.org/W1572578464","https://openalex.org/W2052023694","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2136312285","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W2952737788","https://openalex.org/W2493800215"],"abstract_inverted_index":{"Existing":[0],"network":[1,11,24,38,55],"simulators":[2],"perform":[3],"reasonably":[4],"well":[5],"in":[6,89,118,135,138,160],"evaluating":[7],"the":[8,15,21,43,49,59,66,90,94,99,102,108,131,148,153],"performance":[9],"of":[10,17,23,77,92,101,124,130],"protocols,":[12],"but":[13],"lack":[14],"capability":[16,46],"verifying":[18],"and":[19,105,164],"validating":[20],"correctness":[22],"protocols.":[25],"In":[26],"this":[27],"paper":[28],"we":[29,126],"have":[30,127],"extended":[31],"J-Sim":[32,132,154],"-":[33,41],"an":[34,72,139],"open-source,":[35],"component-based":[36],"compositional":[37],"simulation":[39],"environment":[40],"with":[42,165],"model":[44,133,151,155],"checking":[45],"to":[47,97,106,147],"explore":[48],"state":[50,61,67,95,103],"space":[51,62,68,104],"created":[52],"by":[53],"a":[54,75,78,122,161],"protocol":[56],"until":[57],"either":[58],"entire":[60],"is":[63,69,82],"explored":[64],"(if":[65],"finite)":[70],"or":[71],"error":[73,167],"(e.g.,":[74],"violation":[76],"user-defined":[79],"safety":[80],"assertion)":[81],"discovered.":[83],"We":[84],"also":[85],"exploit":[86],"protocol-specific":[87],"properties":[88],"process":[91],"exploring":[93],"space,":[96],"reduce":[98],"size":[100],"guide":[107],"(best-first)":[109],"search":[110],"towards":[111],"paths":[112],"that":[113],"can":[114,157],"potentially":[115],"locate":[116,158],"errors":[117,137,159],"less":[119],"time.":[120],"As":[121,145],"proof":[123],"concept,":[125],"demonstrated":[128],"use":[129],"checker":[134,156],"locating":[136],"automatic":[140],"repeat":[141],"request":[142],"(ARQ)":[143],"protocol.":[144],"compared":[146],"Maude":[149],"LTL":[150],"checker,":[152],"timely":[162],"manner":[163],"shorter":[166],"traces.":[168]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}