{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:47:06Z","timestamp":1725540426747},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050886"},{"type":"electronic","value":"9783642050893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05089-3_33","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T22:31:40Z","timestamp":1257287500000},"page":"516-531","source":"Crossref","is-referenced-by-count":10,"title":["Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"],"prefix":"10.1007","author":[{"given":"Faranak","family":"Heidarian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Schmaltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"Assegei, F.A.: Decentralized frame synchronization of a TDMA-based wireless sensor network. Master\u2019s thesis, Eindhoven University of Technology, Department of Electrical Engineering (2008)"},{"issue":"5","key":"33_CR2","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1317379.1317385","volume":"41","author":"R. Bakhshi","year":"2007","unstructured":"Bakhshi, R., Bonnet, F., Fokkink, W., Haverkort, B.: Formal analysis techniques for gossiping protocols. SIGOPS Oper. Syst. Rev.\u00a041(5), 28\u201336 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"33_CR3","first-page":"125","volume-title":"Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006)","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), Riverside, CA, USA, September 11-14, pp. 125\u2013126. IEEE Computer Society, Los Alamitos (2006)"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"33_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11691372_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G.M. Brown","year":"2006","unstructured":"Brown, G.M., Pike, L.: Easy parameterized verification of biphase mark and 8n1 protocols. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 58\u201372. Springer, Heidelberg (2006)"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/41840.41841","volume-title":"PODC 1987: Proceedings of the sixth annual ACM Symposium on Principles of distributed computing","author":"A. Demers","year":"1987","unstructured":"Demers, A., Greene, D., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H., Swinehart, D., Terry, D.: Epidemic algorithms for replicated database maintenance. In: PODC 1987: Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, pp. 1\u201312. ACM, New York (1987)"},{"issue":"4","key":"33_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s00446-005-0135-6","volume":"18","author":"R. Fan","year":"2006","unstructured":"Fan, R., Lynch, N.A.: Gradient clock synchronization. Distributed Computing\u00a018(4), 255\u2013266 (2006)","journal-title":"Distributed Computing"},{"issue":"5","key":"33_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1317379.1317381","volume":"41","author":"A.-M. Kermarrec","year":"2007","unstructured":"Kermarrec, A.-M., van Steen, M.: Gossiping in distributed systems. SIGOPS Oper. Syst. Rev.\u00a041(5), 2\u20137 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"7","key":"33_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks and the ordering of events in distributed systems. Communications of the ACM\u00a021(7), 558\u2013564 (1978)","journal-title":"Communications of the ACM"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/11864219_36","volume-title":"Distributed Computing","author":"T. Locher","year":"2006","unstructured":"Locher, T., Wattenhofer, R.: Oblivious gradient clock synchronization. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 520\u2013533. Springer, Heidelberg (2006)"},{"key":"33_CR11","unstructured":"Meier, L., Thiele, L.: Gradient clock synchronization in sensor networks. Technical Report 219, Computer Engineering and Networks Lab., ETH Zurich (2005)"},{"key":"33_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.jpdc.2008.11.001","volume":"69","author":"R.M. Pussente","year":"2009","unstructured":"Pussente, R.M., Barbosa, V.C.: An algorithm for clock synchronization with the gradient property in sensor networks. Parallel and Distributed Computing\u00a069, 261\u2013265 (2009)","journal-title":"Parallel and Distributed Computing"},{"key":"33_CR14","unstructured":"QUASIMODO. Case studies: Models, Deliverable 5.5 from the FP7 ICT STREP project 214755 (QUASIMODO) (January 2009)"},{"key":"33_CR15","unstructured":"QUASIMODO. Preliminary description of case studies, Deliverable 5.2 from the FP7 ICT STREP project 214755 (QUASIMODO) (January 2009)"},{"key":"33_CR16","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/197917.198115","volume-title":"PODC 1994: Thirteenth annual ACM symposium on Principles of distributed computing","author":"J. Rushby","year":"1994","unstructured":"Rushby, J.: A formally verified algorithm for clock synchronization under a hybrid fault model. In: PODC 1994: Thirteenth annual ACM symposium on Principles of distributed computing, pp. 304\u2013313. ACM, New York (1994)"},{"key":"33_CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/FAMCAD.2007.22","volume-title":"Formal methods in computer aided design","author":"J. Schmaltz","year":"2007","unstructured":"Schmaltz, J.: A formal model of clock domain crossing and automated verification of time-triggered hardware. In: Baumgartner, J., Sheeran, M. (eds.) Formal methods in computer aided design, pp. 223\u2013230. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"3","key":"33_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.adhoc.2005.01.002","volume":"3","author":"B. Sundararaman","year":"2005","unstructured":"Sundararaman, B., Buy, U., Kshemkalyani, A.D.: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks\u00a03(3), 281\u2013323 (2005)","journal-title":"Ad Hoc Networks"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Tjoa, R., Chee, K.L., Sivaprasad, P.K., Rao, S.V., Lim, J.G.: Clock drift reduction for relative time slot tdma-based sensor networks. In: Proceedings of the 15th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2004), September 2004, pp. 1042\u20131047 (2004)","DOI":"10.1109\/PIMRC.2004.1373857"},{"key":"33_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1450058.1450060","volume-title":"EMSOFT","author":"S. Umeno","year":"2008","unstructured":"Umeno, S.: Event order abstraction for parametric real-time system verification. In: EMSOFT, pp. 1\u201310. ACM, New York (2008)"},{"issue":"4","key":"33_CR21","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s00165-006-0008-1","volume":"18","author":"F.W. Vaandrager","year":"2006","unstructured":"Vaandrager, F.W., de Groot, A.L.: Analysis of a biphase mark protocol with Uppaal and PVS. Formal Asp. Comput.\u00a018(4), 433\u2013458 (2006)","journal-title":"Formal Asp. Comput."}],"container-title":["Lecture Notes in Computer Science","FM 2009: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05089-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:19:04Z","timestamp":1619781544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05089-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050886","9783642050893"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05089-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}