{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:14Z","timestamp":1772836154081,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/iwcmc.2013.6583560","type":"proceedings-article","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T19:31:30Z","timestamp":1377804690000},"page":"207-212","source":"Crossref","is-referenced-by-count":2,"title":["DataMonitor - A formal approach for passively testing a MANET routing protocol"],"prefix":"10.1109","author":[{"given":"Felipe","family":"Lalanne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"wehbi","year":"2005","journal-title":"Dynamic Remote Access Solution to A Hot-zone"},{"key":"17","year":"0","journal-title":"NS-2 Emulator"},{"key":"18","author":"dike","year":"0","journal-title":"User Mode Linux"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3626"},{"key":"13","article-title":"A formal data-centric approach for passive testing of communication protocols","volume":"pp","author":"lalanne","year":"2012","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"11","article-title":"Information technology-open systems interconnection-conformance testing methodology and framework-part 1: General concepts","year":"1994","journal-title":"Technical Report ISO"},{"key":"12","article-title":"A logic-based passive testing approach for the validation of communicating protocols","author":"che","year":"2012","journal-title":"Proc of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"3","first-page":"145","article-title":"Automatic functional verification of OPNET models with SDL-OPNET co-simulation","volume":"11","author":"kim","year":"2011","journal-title":"International Journal of Computer Science and Network Security"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.988495"},{"key":"1","article-title":"A survey of routing protocols in mobile adhoc networks","volume":"1","author":"taneja","year":"2010","journal-title":"International Journal of Innovation Management and Technology"},{"key":"10","first-page":"754","article-title":"Formal specification and validation of a hybrid connectivity restoration algorithm for wireless sensor and actor networks","volume":"12","author":"muhammad","year":"2012","journal-title":"SENSORS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2002.1181393"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883614"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"9","author":"steele","year":"2012","journal-title":"Security Verification of Secure Manet Routing Protocols"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.07.009"}],"event":{"name":"2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC 2013)","location":"Sardinia, Italy","start":{"date-parts":[[2013,7,1]]},"end":{"date-parts":[[2013,7,5]]}},"container-title":["2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6578011\/6583517\/06583560.pdf?arnumber=6583560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:25:11Z","timestamp":1490217911000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6583560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iwcmc.2013.6583560","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}