{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:33:58Z","timestamp":1725539638890},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642051173"},{"type":"electronic","value":"9783642051180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05118-0_8","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:32:03Z","timestamp":1257319923000},"page":"105-119","source":"Crossref","is-referenced-by-count":10,"title":["Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Pfeifer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","volume":"38","author":"I. Akyldiz","year":"2002","unstructured":"Akyldiz, I., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless Sensor Networks: a Survey. Computer Networks\u00a038, 393\u2013422 (2002)","journal-title":"Computer Networks"},{"key":"8_CR2","unstructured":"Varga, A.: The Omnet++ Discrete Event Simulation System. In: Proceedings of the European Simulation Multiconference (ESM 2001) (June 2001)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1016\/B978-155860702-6\/50048-X","volume-title":"Readings in hardware\/software co-design","author":"J. Buck","year":"2002","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a Framework for Simulating and Prototyping Heterogeneous Systems. In: Readings in hardware\/software co-design, pp. 527\u2013543. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"8_CR4","first-page":"485","volume-title":"Proc. Intl. Conf. on Dependable Systems and Networks","author":"C. Bolton","year":"2004","unstructured":"Bolton, C., Lowe, G.: Analyses of the Reverse Path Forwarding Routing Algorithm. In: Proc. Intl. Conf. on Dependable Systems and Networks, pp. 485\u2013494. IEEE Computer Society, Los Alamitos (2004)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/1023663.1023694","volume-title":"Proc. Symp. on Modeling, Analysis and Simulation of Wireless and Mobile Systems","author":"S. Nair","year":"2004","unstructured":"Nair, S., Cardell-Oliver, R.: Formal Specification and Analysis of Performance Variation in Sensor Network Diffusion Protocols. In: Proc. Symp. on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pp. 170\u2013173. ACM, New York (2004)"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/32.988495","volume":"28","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Gunter, C., Lee, I., Sokolsky, O., Kim, M., Obradovic, D., Viswanathan, M.: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Engineering\u00a028(2), 129\u2013145 (2002)","journal-title":"IEEE Trans. Software Engineering"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-87698-4_29","volume-title":"Computer Safety, Reliability, and Security","author":"C. Bernardeschi","year":"2008","unstructured":"Bernardeschi, C., Masci, P., Pfeifer, H.: Early Prototyping of Wireless Sensor Network Algorithms in PVS. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 346\u2013359. Springer, Heidelberg (2008)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Owre, S., Rushby, J., Shankar, N., Henke, F.v.: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. on Software Engineering\u00a021(2), 107\u2013125 (1995)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"8_CR9","unstructured":"Crow, J., Owre, S., Rushby, J., Shankar, N., Stringer-Calvert, D.: Evaluating, testing, and animating PVS specifications. Technical Report, Computer Science Laboratory, SRI International, Menlo Park, CA (2001)"},{"key":"8_CR10","unstructured":"Mu\u00f1oz, C.: Rapid prototyping in PVS. Technical Report NIA Report No. 2003-03, NASA\/CR-2003-212418, National Institute of Aerospace, Hampton, VA (2003)"},{"key":"8_CR11","unstructured":"Butler, R., Sjogren, J.: A pvs graph theory library. Nasa Technical Memorandum 1998-206923, NASA Langley Research Center, Hampton, Virginia (1998)"},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1145\/359657.359665","volume":"21","author":"Y. Dalal","year":"1978","unstructured":"Dalal, Y., Metcalfe, R.: Reverse Path Forwarding of Broadcast Packets. Communications of ACM\u00a021(12), 1040\u20131048 (1978)","journal-title":"Communications of ACM"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/958491.958494","volume-title":"SenSys 2003","author":"A. Woo","year":"2003","unstructured":"Woo, A., Tong, T., Culler, D.: Taming the Underlying Challenges of Reliable Multihop Routing in Sensor Networks. In: SenSys 2003, pp. 14\u201327. ACM Press, New York (2003)"},{"key":"8_CR14","unstructured":"Texas Instruments: Chipcon CC2420 Datasheet (2007), \n                    \n                      http:\/\/focus.ti.com\/lit\/ds\/symlink\/cc2420.pdf"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Clausen, T., Larsen, N., Olesen, T., Viennot, L.: Investigating Data Broadcast Performance in Mobile ad hoc Networks. In: The 5th International Symposium on Wireless Personal Multimedia Communications, WPMC (2002)","DOI":"10.1109\/WPMC.2002.1088283"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-72952-5_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P., Thorvaldsen, S.: Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 122\u2013140. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05118-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:20:43Z","timestamp":1619781643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05118-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642051173","9783642051180"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05118-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}