{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:50:57Z","timestamp":1725519057396},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_29","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"346-359","source":"Crossref","is-referenced-by-count":11,"title":["Early Prototyping of Wireless Sensor Network Algorithms in PVS"],"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":"29_CR1","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1031495.1031498","volume-title":"Proc. Intl. Conf. on Embedded Networked Sensor Systems","author":"N. Xu","year":"2004","unstructured":"Xu, N., Rangwala, S., Chintalapudi, K., Ganesan, D., Broad, A., Govindan, R., Estrin, D.: A wireless sensor network for structural monitoring. In: Proc. Intl. Conf. on Embedded Networked Sensor Systems, pp. 13\u201324. ACM, New York (2004)"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/1182807.1182889","volume-title":"Proc. Intl. Conf. on Embedded Networked Sensor Systems","author":"S. Kim","year":"2006","unstructured":"Kim, S., Pakzad, S., Culler, D., Demmel, J., Fenves, G., Glaser, S., Turon, M.: Wireless sensor networks for structural health monitoring. In: Proc. Intl. Conf. on Embedded Networked Sensor Systems, pp. 427\u2013428. ACM, New York (2006)"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Aboelela, E., Edberg, W., Papakonstantinou, C., Vokkarane, V.: Wireless sensor network based model for secure railway operations. In: Intl. Workshop on eSafety and Convergence of Heterogeneous Wireless Networks, pp. 623\u2013628 (2006)","DOI":"10.1109\/.2006.1629461"},{"issue":"4","key":"29_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MPRV.2004.18","volume":"3","author":"K. Lorincz","year":"2004","unstructured":"Lorincz, K., Malan, D.J., Fulford-Jones, T.R.F., Nawoj, A., Clavel, A., Shnayder, V., Mainland, G., Welsh, M., Moulton, S.: Sensor networks for emergency response: Challenges and opportunities. IEEE Pervasive Computing\u00a03(4), 16\u201323 (2004)","journal-title":"IEEE Pervasive Computing"},{"issue":"1","key":"29_CR5","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MPRV.2002.993139","volume":"1","author":"V. Stanford","year":"2002","unstructured":"Stanford, V.: Using pervasive computing to deliver elder care. IEEE Pervasive Computing\u00a01(1), 10\u201313 (2002)","journal-title":"IEEE Pervasive Computing"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Chen, G., Branch, J., Pflug, J., Zhu, L., Szymanski, B.: Sense: A sensor network simulator. Advances in Pervasive Computing and Networking, 249\u2013267 (2004)","DOI":"10.1007\/0-387-23466-7_13"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/35.978060","volume":"40","author":"K. Pawlikowski","year":"2002","unstructured":"Pawlikowski, K., Jeong, H., Lee, J.: On credibility of simulation studies of telecommunication networks. IEEE Communications Magazine\u00a040(1), 132\u2013139 (2002)","journal-title":"IEEE Communications Magazine"},{"issue":"2","key":"29_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., von Henke, F.: 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":"29_CR9","series-title":"Lecture Notes in Computer Science","first-page":"338","volume-title":"Applied Formal Methods","author":"S. Owre","year":"1998","unstructured":"Owre, S., Rushby, J., Shankar, N., Stringer-Calvert, D.: PVS: an experience report. In: Applied Formal Methods. LNCS, vol.\u00a01641, pp. 338\u2013345. Springer, Heidelberg (1998)"},{"key":"29_CR10","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":"29_CR11","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":"29_CR12","unstructured":"Butler, R., Sjogren, J.: A pvs graph theory library. Nasa technical memorandum 1998-206923, NASA Langley Research Center, Hampton, Virginia (1998)"},{"key":"29_CR13","first-page":"174","volume-title":"Proc. Intl. Conf. on Mobile Computing and Networking","author":"W. Heinzelman","year":"1999","unstructured":"Heinzelman, W., Kulik, J., Balakrishnan, H.: Adaptive protocols for information dissemination in wireless sensor networks. In: Proc. Intl. Conf. on Mobile Computing and Networking, pp. 174\u2013185. ACM, New York (1999)"},{"key":"29_CR14","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/958491.958506","volume-title":"Proc. Intl. Conf. on Embedded Networked Sensor Systems","author":"P. Levis","year":"2003","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSim: accurate and scalable simulation of entire TinyOS applications. In: Proc. Intl. Conf. on Embedded Networked Sensor Systems, pp. 126\u2013137. ACM Press, New York (2003)"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1145\/1031495.1031518","volume-title":"Proc. Intl. Conf. on Embedded Networked Sensor Systems","author":"V. Shnayder","year":"2004","unstructured":"Shnayder, V., Hempstead, M., Chen, B., Allen, G., Welsh, M.: Simulating the power consumption of large-scale sensor network applications. In: Proc. Intl. Conf. on Embedded Networked Sensor Systems, pp. 188\u2013200. ACM, New York (2004)"},{"key":"29_CR16","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":"29_CR17","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":"29_CR18","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/570738.570752","volume-title":"Proc. Intl. Workshop on Wireless Sensor Networks and Applications","author":"S. Coleri","year":"2002","unstructured":"Coleri, S., Ergen, M., Koo, T.J.: Lifetime analysis of a sensor network with hybrid automata modelling. In: Proc. Intl. Workshop on Wireless Sensor Networks and Applications, pp. 98\u2013104. ACM, New York (2002)"},{"issue":"5","key":"29_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/949952.940109","volume":"28","author":"F. Xie","year":"2003","unstructured":"Xie, F., Browne, J.C.: Verified systems by composition from verified components. SIGSOFT Softw. Eng. Notes\u00a028(5), 277\u2013286 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"29_CR20","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)"},{"key":"29_CR21","first-page":"474","volume-title":"ISM 2005: Proceedings of the Seventh IEEE International Symposium on Multimedia","author":"Y. Luo","year":"2005","unstructured":"Luo, Y., Tsai, J.J.P.: A graphical simulation system for modeling and analysis of sensor networks. In: ISM 2005: Proceedings of the Seventh IEEE International Symposium on Multimedia, pp. 474\u2013482. IEEE Computer Society, Washington (2005)"},{"key":"29_CR22","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","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:51Z","timestamp":1606183551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}