{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:23Z","timestamp":1749615203210,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_22","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T15:41:08Z","timestamp":1474299668000},"page":"351-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Wireless Protocol Validation Under Uncertainty"],"prefix":"10.1007","author":[{"given":"Jinghao","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuvendu K.","family":"Lahiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranveer","family":"Chandra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey","family":"Challen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Arnold, M., Vechev, M., Yahav, E.: QVM: an efficient runtime for detecting defects in deployed systems. In: ACM Sigplan Notices, vol. 43, pp. 143\u2013162. ACM (2008)","DOI":"10.1145\/1449955.1449776"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bahl, P., Chandra, R., Padhye, J., Ravindranath, L., Singh, M., Wolman, A., Zill, B.: Enhancing the security of corporate Wi-Fi networks using DAIR. In: Proceedings of the 4th International Conference on Mobile Systems, Applications and Services, pp. 1\u201314. ACM (2006)","DOI":"10.1145\/1134680.1134682"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-35632-2_17","volume-title":"Runtime Verification","author":"D Basin","year":"2013","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring compliance policies over incomplete and disagreeing logs. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 151\u2013167. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35632-2_17"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-21437-0_9","volume-title":"FM 2011: Formal Methods","author":"B Bonakdarpour","year":"2011","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-based runtime verification. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 88\u2013102. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21437-0_9"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, Y.-C., Bellardo, J., Benk\u00f6, P., Snoeren, A.C., Voelker, G.M., Savage, S.: Jigsaw: solving the puzzle of enterprise 802.11 analysis, vol. 36. ACM (2006)","DOI":"10.1145\/1151659.1159920"},{"key":"22_CR7","unstructured":"Ciabarra, M.: WiFried: iOS 8 WiFi Issue. https:\/\/goo.gl\/KtRDqk"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-319-21690-4_19","volume-title":"Computer Aided Verification","author":"A Das","year":"2015","unstructured":"Das, A., Lahiri, S.K., Lal, A., Li, Y.: Angelic verification: precise verification modulo unknowns. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 324\u2013342. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21690-4_19"},{"key":"22_CR9","unstructured":"digitalmediaphile. Windows 10 wifi issues with surface pro 3 and surface 3. http:\/\/goo.gl\/vBqiEo"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-00431-5_5","volume-title":"Model Checking and Artificial Intelligence","author":"S Edelkamp","year":"2009","unstructured":"Edelkamp, S., Schuppan, V., Bo\u0161na\u010dki, D., Wijs, A., Fehnker, A., Aljazzar, H.: Survey on directed model checking. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS (LNAI), vol. 5348, pp. 65\u201389. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00431-5_5"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Fei, L., Midkiff, S.P.: Artemis: practical runtime monitoring of applications for execution anomalies. In: ACM SIGPLAN Notices, vol. 41, pp. 84\u201395. ACM (2006)","DOI":"10.1145\/1133255.1133992"},{"key":"22_CR12","unstructured":"Gizmodo. The worst bugs in android 5.0 lollipop and how to fix them. http:\/\/goo.gl\/akDcvA"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using verisoft. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 174\u2013186. ACM (1997)","DOI":"10.1145\/263699.263717"},{"key":"22_CR14","unstructured":"Google. Google contact lens. https:\/\/en.wikipedia.org\/wiki\/GoogleContactLens"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Hauswirth, M., Chilimbi, T.M.: Low-overhead memory leak detection using adaptive statistical profiling. In: ACM SIGPLAN Notices, vol. 39, pp. 156\u2013164. ACM (2004)","DOI":"10.1145\/1037187.1024412"},{"issue":"3","key":"22_CR16","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1002\/bltj.2069","volume":"2","author":"A Kamerman","year":"1997","unstructured":"Kamerman, A., Monteban, L.: Wavelan-II: a high-performance wireless lan for the unlicensed band. Bell Labs Tech. J. 2(3), 118\u2013133 (1997)","journal-title":"Bell Labs Tech. J."},{"key":"22_CR17","unstructured":"Lahiri, S., Chandra, R., Shi, J., Challen, G.: Wireless protocol validation under uncertainty. Technical report, July 2016. https:\/\/www.microsoft.com\/en-us\/research\/publication\/wireless-protocol-validation-under-uncertainty\/"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: Proceedings of 1997 International Conference on Network Protocols, pp. 113\u2013122. IEEE (1997)","DOI":"10.1109\/ICNP.1997.643699"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Mahajan, R., Rodrig, M., Wetherall, D., Zahorjan, J.: Analyzing the MAC-level behavior of wireless networks in the wild. In: ACM SIGCOMM Computer Communication Review, vol. 36, pp. 75\u201386. ACM (2006)","DOI":"10.1145\/1151659.1159923"},{"issue":"SI","key":"22_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/844128.844136","volume":"36","author":"M Musuvathi","year":"2002","unstructured":"Musuvathi, M., Park, D.Y., Chou, A., Engler, D.R., Dill, D.L.: CMC: a pragmatic approach to model checking real code. ACM SIGOPS Oper. Syst. Rev. 36(SI), 75\u201388 (2002)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"22_CR21","unstructured":"Mytkowicz, T., Sweeney, P.F., Hauswirth, M., Diwan, A.: Observer effect and measurement bias in performance analysis (2008)"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-12331-3_2","volume-title":"Modeling and Tools for Network Simulation","author":"GF Riley","year":"2010","unstructured":"Riley, G.F., Henderson, T.R.: The NS-3 network simulator. In: Wehrle, K., G\u00fcne\u015f, M., Gross, J. (eds.) Modeling and Tools for Network Simulation, pp. 15\u201334. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12331-3_2"},{"key":"22_CR23","unstructured":"Savvius Inc., Savvius Wi-Fi adapters. https:\/\/goo.gl\/l3VXSx"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_15"},{"key":"22_CR25","unstructured":"Wikipedia. Chromecast. https:\/\/en.wikipedia.org\/wiki\/Chromecast"},{"key":"22_CR26","unstructured":"Wikipedia. Xbox One controller. https:\/\/en.wikipedia.org\/wiki\/XboxOneController"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T20:03:16Z","timestamp":1749585796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}