{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:32Z","timestamp":1730281832729,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2004.1459810","type":"proceedings-article","created":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T18:49:21Z","timestamp":1120675761000},"page":"27-36","source":"Crossref","is-referenced-by-count":2,"title":["Check and simulate: a case for incorporating model checking in network simulation"],"prefix":"10.1109","author":[{"given":"A.","family":"Sobeih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.C.","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","article-title":"Formally specified monitoring of temporal properties","author":"kim","year":"0","journal-title":"Proc of ECRTS'99"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2001.937448"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00020-2"},{"year":"0","key":"15"},{"key":"16","article-title":"REAL: A network simulator","volume":"88","author":"keshav","year":"1988","journal-title":"Technical Report"},{"key":"13","article-title":"Java Pathfinder, a translator from Java to Promela","author":"havelund","year":"0","journal-title":"Proc of SPIN'99"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"Java in a Nutshell","year":"1997","author":"flanagan","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"21","article-title":"Stochastic differential equation modeling and analysis of TCP windowsize behavior","author":"misra","year":"0","journal-title":"Proc of Performance'99"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060297"},{"journal-title":"Ns-2","year":"0","key":"23"},{"key":"24","article-title":"Modeling TCP throughput: A simple model and its empirical validation","author":"padhye","year":"0","journal-title":"Proc of ACM SIGCOMM'98"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873671"},{"key":"26","article-title":"Ad hoc on demand distance vector (aodv) routing","author":"perkins","year":"2002","journal-title":"IETF Draft"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/84537.84549"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2002.1019294"},{"journal-title":"Computer Networks","year":"1996","author":"tanenbaum","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.988495"},{"journal-title":"Systems and Sofware Verification Model-checking Techniques and Tools","year":"2001","author":"berard","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82534-4"},{"key":"1","article-title":"Improving simulation for network research","volume":"99","author":"bajaj","year":"1999","journal-title":"Technical Report"},{"journal-title":"Design realization and evaluation of a component-based compositional software architecture for network simulation","year":"2002","author":"tyan","key":"30"},{"journal-title":"Maude 2 0 Manual","year":"2003","author":"clavel","key":"7"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.798322"},{"key":"31","article-title":"JavaSim: A component-based compositional network simulation environment","author":"tyan","year":"0","journal-title":"Proc of Western Simulation Multiconference CNDS'01"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/90.893874"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276232"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"}],"event":{"name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.","location":"San Diego, CA, USA"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9882\/31414\/01459810.pdf?arnumber=1459810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T13:26:03Z","timestamp":1489497963000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1459810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/memcod.2004.1459810","relation":{},"subject":[]}}