{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T18:40:26Z","timestamp":1743619226583,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307287"},{"type":"electronic","value":"9783642307294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30729-4_11","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:49:46Z","timestamp":1340786986000},"page":"143-157","source":"Crossref","is-referenced-by-count":5,"title":["MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis"],"prefix":"10.1007","author":[{"given":"Fatemeh","family":"Kazemeyni","sequence":"first","affiliation":[]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[]},{"given":"Ilangko","family":"Balasingham","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","first-page":"213","volume":"153","author":"G. Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. ENTCS\u00a0153(2), 213\u2013239 (2006)","journal-title":"ENTCS"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","volume":"38","author":"I.F. Akyildiz","year":"2002","unstructured":"Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless sensor networks: a survey. Computer Networks\u00a038(4), 393\u2013422 (2002)","journal-title":"Computer Networks"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1016\/j.adhoc.2008.06.003","volume":"7","author":"G. Anastasi","year":"2009","unstructured":"Anastasi, G., Conti, M., Di Francesco, M., Passarella, A.: Energy conservation in wireless sensor networks: A survey. Ad Hoc Networks\u00a07(3), 537\u2013568 (2009)","journal-title":"Ad Hoc Networks"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10009-011-0201-2","volume":"14","author":"A. Basu","year":"2012","unstructured":"Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Software Tools for Technology Transfer\u00a014(1), 53\u201372 (2012)","journal-title":"Software Tools for Technology Transfer"},{"issue":"1-2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"11_CR6","series-title":"LNCS","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.adhoc.2005.01.004","volume":"3","author":"I.A. Dario","year":"2005","unstructured":"Dario, I.A., Akyildiz, I.F., Pompili, D., Melodia, T.: Underwater acoustic sensor networks: Research challenges. Ad Hoc Networks\u00a03(3), 257\u2013279 (2005)","journal-title":"Ad Hoc Networks"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-88194-0_20","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2008","unstructured":"Dong, J.S., Sun, J., Sun, J., Taguchi, K., Zhang, X.: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 318\u2013337. Springer, Heidelberg (2008)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ergen, S.C., Ergen, M., Koo, T.J.: Lifetime analysis of a sensor network with hybrid automata modelling. In: Proc. 1st ACM Int. Workshop on Wireless Sensor Networks and Applications, pp. 98\u2013104 (2002)","DOI":"10.1145\/570738.570752"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00867-2_1","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"A. Fehnker","year":"2009","unstructured":"Fehnker, A., Fruth, M., McIver, A.K.: Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Fault Tolerance. LNCS, vol.\u00a05454, pp. 1\u201324. Springer, Heidelberg (2009)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-73210-5_14","volume-title":"Integrated Formal Methods","author":"A. Fehnker","year":"2007","unstructured":"Fehnker, A., van Hoesel, L., Mader, A.: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol.\u00a04591, pp. 253\u2013272. Springer, Heidelberg (2007)"},{"key":"11_CR12","unstructured":"Heinzelman, W.R., Chandrakasan, A., Balakrishnan, H.: Energy-efficient communication protocol for wireless microsensor networks. In: Proc. 33rd Hawaii Int. Conf. on System Sciences, vol.\u00a08, p. 8020 (2000)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s11036-006-5186-9","volume":"11","author":"S. Jain","year":"2006","unstructured":"Jain, S., Shah, R.C., Brunette, W., Borriello, G., Roy, S.: Exploiting mobility for energy efficient data collection in wireless sensor networks. Mobile Networks and Applications\u00a011(3), 327\u2013339 (2006)","journal-title":"Mobile Networks and Applications"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-68863-1_10","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Katelman","year":"2008","unstructured":"Katelman, M., Meseguer, J., Hou, J.C.: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 150\u2013169. Springer, Heidelberg (2008)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-13464-7_9","volume-title":"Formal Techniques for Distributed Systems","author":"F. Kazemeyni","year":"2010","unstructured":"Kazemeyni, F., Johnsen, E.B., Owe, O., Balasingham, I.: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE 2010. LNCS, vol.\u00a06117, pp. 95\u2013109. Springer, Heidelberg (2010)"},{"key":"11_CR17","unstructured":"Kumar, N., Sen, K., Meseguer, J., Agha, G.: Probabilistic Rewrite Theories: Unifying Models, Logics and Tools. Technical report UIUCDCS-R-2003-2347, Dept. of C. S., Univ. of Illinois at Urbana-Champaign (2003)"},{"issue":"2","key":"11_CR18","first-page":"5","volume":"153","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the probabilistic model checker PRISM. ENTCS\u00a0153(2), 5\u201331 (2006)","journal-title":"ENTCS"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance Evaluation Review\u00a036(4), 40\u201345 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"issue":"14","key":"11_CR20","doi-asserted-by":"publisher","first-page":"3438","DOI":"10.1016\/j.comcom.2008.05.030","volume":"31","author":"J. Lloret","year":"2008","unstructured":"Lloret, J., Palau, C.E., Boronat, F., Tom\u00e1s, J.: Improving networks using group-based topologies. Computer Communications\u00a031(14), 3438\u20133450 (2008)","journal-title":"Computer Communications"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"11_CR22","unstructured":"Muhammad, A., Azween, A.: Dynamic cluster based routing for underwater wireless sensor networks. In: ITSim 2010, 3 (June 2010)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Noori, M., Ardakani, M.: A probabilistic lifetime analysis for clustered wireless sensor networks. In: Proc. WCNC 2008, pp. 2373\u20132378 (2008)","DOI":"10.1109\/WCNC.2008.418"},{"issue":"2-3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.tcs.2008.09.022","volume":"410","author":"P.C. \u00d6lveczky","year":"2009","unstructured":"\u00d6lveczky, P.C., Thorvaldsen, S.: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theoretical Computer Science\u00a0410(2-3), 254\u2013280 (2009)","journal-title":"Theoretical Computer Science"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11561163_6","volume-title":"Formal Methods for Components and Objects","author":"A. Pierro Di","year":"2005","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic Linda-Based Coordination Languages. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 120\u2013140. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR26","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/MCOM.2009.4752684","volume":"47","author":"D. Pompili","year":"2009","unstructured":"Pompili, D., Akyildiz, I.F.: Overview of networking protocols for underwater wireless communications. IEEE Communications Magazine\u00a047(1), 97\u2013102 (2009)","journal-title":"IEEE Communications Magazine"},{"issue":"7","key":"11_CR27","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. In: Proc. 2nd Int. Conf. on the Quantitative Evaluation of Systems (QEST 2005), USA, p. 251 (2005)","DOI":"10.1109\/QEST.2005.42"},{"key":"11_CR29","unstructured":"Shah, R.C., Roy, S., Jain, S., Brunette, W.: Data mules: Modeling a three-tier architecture for sparse sensor networks. In: IEEE SNPA, pp. 30\u201341 (2003)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of QoS properties of biomedical sensor networks. In: Int. Conf. on Embedded Software, pp. 69\u201378 (2008)","DOI":"10.1145\/1450058.1450069"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30729-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T18:21:58Z","timestamp":1743618118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30729-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307287","9783642307294"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30729-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}