{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:15Z","timestamp":1750306455878,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,18]],"date-time":"2015-11-18T00:00:00Z","timestamp":1447804800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11,18]]},"DOI":"10.1145\/2837030.2837039","type":"proceedings-article","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T19:49:55Z","timestamp":1450295395000},"page":"62-68","source":"Crossref","is-referenced-by-count":4,"title":["Statistical Model Checking of Opportunistic Network Protocols"],"prefix":"10.1145","author":[{"given":"Shiraj","family":"Arora","sequence":"first","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ankit","family":"Rathor","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V. Panduranga","family":"Rao","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,11,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2006.248176"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015484"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2008.292"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1162654.1162658"},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"Mobile and Multimedia Networks, 2007. WoWMoM 2007. IEEE Intl. Symposium on a","author":"Boldrini Chiara","year":"2007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.55"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31638-8_8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Jerzy\n       \n      Martyna\n    .\n      \n  \n   \n  Performance modeling of opportunistic networks. In Andrzej Kwiecie Piotr Gaj and Piotr Stera editors Computer Networks volume \n  370\n   of \n  Communications in Computer and Information Science pages \n  240\n  --\n  251\n  . \n  Springer Berlin Heidelberg 2013\n  .  Jerzy Martyna. Performance modeling of opportunistic networks. In Andrzej Kwiecie Piotr Gaj and Piotr Stera editors Computer Networks volume 370 of Communications in Computer and Information Science pages 240--251. Springer Berlin Heidelberg 2013.","DOI":"10.1007\/978-3-642-38865-1_25"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2011.6162342"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5674"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382016.2382022"},{"volume-title":"Department of Information Technology","year":"2012","author":"Bjurefors Fredrik","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.85.8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.72"},{"key":"e_1_3_2_1_15_1","first-page":"322","volume-title":"5th Intl. Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proc.","author":"H\u00f6fner Peter","year":"2013"},{"volume-title":"The MIT Press","year":"2008","author":"Baier Christel","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_18_1","first-page":"269","volume-title":"8th Intl. Conf., CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proc.","author":"Aziz Adnan","year":"1996"},{"key":"e_1_3_2_1_19_1","first-page":"46","volume-title":"10th Intl. Conf., TACAS 2004, Held as Part of the Joint European Conf.s on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proc.","author":"Younes H\u00e5kan L. S.","year":"2004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254377"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.42"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"e_1_3_2_1_24_1","first-page":"223","volume-title":"14th Intl. Conf., CAV 2002, Copenhagen, Denmark, July 27-31, 2002, Proc.","author":"H\u00e5kan L.","year":"2002"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Axel\n       \n      Legay Benot\n       \n      Delahaye and \n      \n      \n      Saddek\n       \n      Bensalem\n    .\n      \n  \n   \n  Statistical model checking: An overview. In Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Rou Oleg Sokolsky and Nikolai Tillmann editors Runtime Verification volume \n  6418\n   of \n  Lecture Notes in Computer Science pages \n  122\n  --\n  135\n  . \n  Springer Berlin Heidelberg 2010\n  .   Axel Legay Benot Delahaye and Saddek Bensalem. Statistical model checking: An overview. In Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Rou Oleg Sokolsky and Nikolai Tillmann editors Runtime Verification volume 6418 of Lecture Notes in Computer Science pages 122--135. Springer Berlin Heidelberg 2010.","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"e_1_3_2_1_27_1","first-page":"386","volume-title":"Conf., CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proc.","author":"AlTurki Musab","year":"2011"}],"event":{"name":"AINTEC '15: Asian Internet Engineering Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","AIOT Asian Institute of Technology"],"location":"Bangkok Thailand","acronym":"AINTEC '15"},"container-title":["Proceedings of the Asian Internet Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837030.2837039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837030.2837039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:20Z","timestamp":1750225400000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837030.2837039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,18]]},"references-count":27,"alternative-id":["10.1145\/2837030.2837039","10.1145\/2837030"],"URL":"https:\/\/doi.org\/10.1145\/2837030.2837039","relation":{},"subject":[],"published":{"date-parts":[[2015,11,18]]}}}