{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:12:30Z","timestamp":1761581550066,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/icmcs.2016.7905530","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T17:14:16Z","timestamp":1493054056000},"page":"327-331","source":"Crossref","is-referenced-by-count":3,"title":["Comparative study of MPR selection algorithms based on statistical model checking"],"prefix":"10.1109","author":[{"given":"Omar","family":"Barki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zouhair","family":"Guennoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnane","family":"Addaim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Principles of Model Checking","year":"0","author":"baier","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","author":"behrmann","year":"2004","journal-title":"A tutorial on uppaal Formal methods for the design of real-time systems"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal SMC Tutorial","volume":"17","author":"alexandre david","year":"2015","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"Design Verification for Embedded Systems","year":"0","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SITA.2015.7358414"},{"key":"ref3","article-title":"Formal verification of a new version of AOMDV in ad hoc network","author":"ahmed","year":"0","journal-title":"EUSPN-2014 Scien-ceDirect"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCITechnol.2012.6285815"},{"key":"ref5","article-title":"Improving MPR Selection Algorithm in OLSR Protocol Based on Node Localization Technology","volume":"9","author":"anbao","year":"2014","journal-title":"Journal of Networks"},{"key":"ref8","article-title":"Application of Formal Modeling to Detect Black Hole Attacks in Wireless Sensor Network Routing Protocols","author":"bouridane","year":"0","journal-title":"Proceedings of the 11th IBCAST 2014"},{"key":"ref7","article-title":"Black Hole Problem with OLSR Protocol in MANETs","volume":"4","author":"thakur","year":"2014","journal-title":"TTI TFT"},{"journal-title":"Formal Analysis of Proactive Distributed Routing","year":"0","author":"kamali","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3626"},{"key":"ref9","first-page":"239","article-title":"improving mpr selection algorithm in olsr Protocol based on dos free transmission in manet mpr selection process","volume":"7","author":"ezhilarasi","year":"2015","journal-title":"International Journal of Technology and Engineering System (IJTES)"}],"event":{"name":"2016 5th International Conference on Multimedia Computing and Systems (ICMCS)","start":{"date-parts":[[2016,9,29]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2016,10,1]]}},"container-title":["2016 5th International Conference on Multimedia Computing and Systems (ICMCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7896955\/7905513\/07905530.pdf?arnumber=7905530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T15:59:55Z","timestamp":1569081595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7905530\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icmcs.2016.7905530","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}