{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:29Z","timestamp":1725557489913},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135675"},{"type":"electronic","value":"9783642135682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13568-2_18","type":"book-chapter","created":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T12:37:14Z","timestamp":1276691834000},"page":"247-261","source":"Crossref","is-referenced-by-count":2,"title":["Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption"],"prefix":"10.1007","author":[{"given":"Haidi","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11946441_26","volume-title":"Parallel and Distributed Processing and Applications","author":"J.L. Bordim","year":"2006","unstructured":"Bordim, J.L., Ito, Y., Nakano, K.: Randomized leader election protocols in noisy radio networks with a single transceiver. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol.\u00a04330, pp. 246\u2013256. Springer, Heidelberg (2006)"},{"issue":"4","key":"18_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s004460050017","volume":"9","author":"J. Brunekreef","year":"1996","unstructured":"Brunekreef, J., Katoen, J.-P., Koymans, R., Mauw, S.: Design and analysis of dynamic leader election protocols in broadcast networks. Distributed Computing\u00a09(4), 157\u2013171 (1996)","journal-title":"Distributed Computing"},{"issue":"8","key":"18_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"18_CR5","unstructured":"Clarke, E., Fujita, M., McGeer, P., McMillan, K., Yang, J., Zhao, X.: Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. In: International Workshop on Logic Synthesis (IWLS), pp. 1\u201315 (1993)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-46419-0_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Alfaro de","year":"2000","unstructured":"de Alfaro, L., Kwiatkowska, M., Norman, G., Parker, D., Segala, R.: Symbolic model checking of concurrent probabilistic processes using MTBDDs and the kronecker representation. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 395\u2013410. Springer, Heidelberg (2000)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Fokkink, W., Pang, J.: Simplifying Itai-Rodeh leader election for anonymous rings. In: Automated Verification of Critical Systems (AVoCS), vol.\u00a0128, pp. 53\u201368 (2004)","DOI":"10.1016\/j.entcs.2005.04.004"},{"key":"18_CR8","first-page":"981","volume":"12","author":"W. Fokkink","year":"2006","unstructured":"Fokkink, W., Pang, J.: Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM. Journal of Universal Computer Science\u00a012, 981\u20131006 (2006)","journal-title":"Journal of Universal Computer Science"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. In: Formal Aspect of Computing, pp. 512\u2013535 (1994)","DOI":"10.1007\/BF01211866"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Jongerden, M.R., Haverkort, B.R., Bohnenkamp, H., Katoen, J.-P.: Maximizing system lifetime by battery scheduling. In: International Conference on Dependable Systems and Networks, pp. 63\u201377 (2009)","DOI":"10.1109\/DSN.2009.5270351"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. In: Int. Conf. on the Quantitative Evaluation of Systems (QEST), pp. 167\u2013176 (2009)","DOI":"10.1109\/QEST.2009.11"},{"key":"18_CR12","unstructured":"Le Lann, G.: Distributed systems: Towards a formal approach. In: Information Processing 77, Proc. of the IFIP Congress, pp. 155\u2013160 (1977)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Herault, T., Lassaigne, R., Magniette, F., Messika, S., Peyronnet, S., Duflot, M., Fribourg, L., Picaronny, C.: Probabilistic model checking of the CSMA\/CD protocol using PRISM and APMC. In: Automated Verification of Critical Systems (AVoCS), ENTCS, vol.\u00a0128, pp. 195\u2013214 (2004)","DOI":"10.1016\/j.entcs.2005.04.012"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1481506.1481511","volume":"36","author":"G. Norman","year":"2008","unstructured":"Norman, G., Kwiatkowska, M., Parker, D.: Analysis of a gossip protocol in PRISM. ACM SIGMETRICS Performance Evaluation Review\u00a036, 17\u201322 (2008)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"18_CR15","first-page":"96","volume-title":"Discrete Algorithms and Methods for Mobile Computing and Communications","author":"N. Malpani","year":"2000","unstructured":"Malpani, N., Welch, J.L., Vaidya, N.: Leader election algorithms for mobile ad hoc networks. In: Discrete Algorithms and Methods for Mobile Computing and Communications, pp. 96\u2013103. ACM, New York (2000)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Miller, M.J., Vaidya, N.H.: Minimizing energy consumption in sensor networks using a wakeup radio. In: Wireless Communications and Networking Conference (WCNC), vol.\u00a04, pp. 2335\u20132340 (2004)","DOI":"10.1109\/WCNC.2004.1311453"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1011284000753","volume":"19","author":"J. Romijn","year":"2001","unstructured":"Romijn, J.: A timed verification of the IEEE 1394 leader election protocol. Formal Methods in System Design\u00a019(2), 165\u2013194 (2001)","journal-title":"Formal Methods in System Design"},{"key":"18_CR18","unstructured":"Romijn, J.M.T.: Model checking the HAVi leader election protocol (1999)"},{"key":"18_CR19","unstructured":"Nordic Semiconductors. nRF2401 Single-chip 2.4GHz Transceiver Data Sheet (2002)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1145\/1031495.1031518","volume-title":"Int. Conf. on Embedded Networked Sensor Systems","author":"V. Shnayder","year":"2004","unstructured":"Shnayder, V., Hempstead, M., Chen, B., Allen, G.W., Welsh, M.: Simulating the power consumption of large-scale sensor network applications. In: Int. Conf. on Embedded Networked Sensor Systems, pp. 188\u2013200. ACM, New York (2004)"},{"key":"18_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction to Distributed Algorithms","author":"G. Tel","year":"2000","unstructured":"Tel, G.: Introduction to Distributed Algorithms. Cambridge University Press, Cambridge (2000)"},{"issue":"76","key":"18_CR22","first-page":"9","volume":"4","author":"D.E. Tiliute","year":"2007","unstructured":"Tiliute, D.E.: Battery management in wireless sensor networks. Electronics and Electrical Engineering\u00a04(76), 9\u201312 (2007)","journal-title":"Electronics and Electrical Engineering"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Vasudevan, S., Kurose, J., Towsley, D.: Design and analysis of a leader election algorithm for mobile ad hoc networks. In: Int. Conf. on Network Protocols (ICNP), pp. 350\u2013360 (2004)","DOI":"10.1109\/ICNP.2004.1348124"},{"key":"18_CR24","unstructured":"MRMC website. http:\/\/www.mrmc-tool.org\/trac\/"},{"key":"18_CR25","unstructured":"PRISM website, http:\/\/www.prismmodelchecker.org"},{"key":"18_CR26","unstructured":"VESTA website, http:\/\/osl.cs.uiuc.edu\/~ksen\/vesta2\/"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13568-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:40:12Z","timestamp":1606185612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13568-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135675","9783642135682"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13568-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}