{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:42:34Z","timestamp":1725907354531},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663340"},{"type":"electronic","value":"9783319663357"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_14","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:53:48Z","timestamp":1502337228000},"page":"224-239","source":"Crossref","is-referenced-by-count":6,"title":["Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking"],"prefix":"10.1007","author":[{"given":"Paul","family":"Gainer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Linker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ullrich","family":"Hustadt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183\u2013235 (1994)","journal-title":"TCS"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Amin, S., Elahi, A., Saghar, K., Mehmood, F.: Formal modelling and verification approach for improving probabilistic behaviour of robot swarms. In: Proceedings of IBCAST 2017, pp. 392\u2013400. IEEE (2017)","DOI":"10.1109\/IBCAST.2017.7868084"},{"issue":"20","key":"14_CR3","doi-asserted-by":"crossref","first-page":"1999","DOI":"10.1016\/j.tcs.2009.12.019","volume":"411","author":"E Bartocci","year":"2010","unstructured":"Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Detecting synchronisation of biological oscillators by model checking. TCS 411(20), 1999\u20132018 (2010)","journal-title":"TCS"},{"issue":"1","key":"14_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.ins.2010.11.017","volume":"182","author":"I Bojic","year":"2012","unstructured":"Bojic, I., Podobnik, V., Ljubi, I., Jezic, G., Kusek, M.: A self-optimizing mobile network: auto-tuning the network with firefly-synchronized agents. Inf. Sci. 182(1), 77\u201392 (2012)","journal-title":"Inf. Sci."},{"key":"14_CR5","unstructured":"Breza, M.: Bio-inspired tools for a distributed wireless sensor network operating system. Ph.D. thesis, Imperial College London, March 2013"},{"issue":"3","key":"14_CR6","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1086\/415929","volume":"63","author":"J Buck","year":"1988","unstructured":"Buck, J.: Synchronous rhythmic flashing of fireflies. II. Q. Rev. Biol. 63(3), 265\u2013289 (1988)","journal-title":"II. Q. Rev. Biol."},{"issue":"10","key":"14_CR7","doi-asserted-by":"crossref","first-page":"1693","DOI":"10.1016\/j.jss.2011.04.054","volume":"84","author":"D Bucur","year":"2011","unstructured":"Bucur, D., Kwiatkowska, M.: On software verification for sensor nodes. J. Syst. Softw. 84(10), 1693\u20131707 (2011)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"14_CR8","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1109\/TEVC.2009.2017516","volume":"13","author":"AL Christensen","year":"2009","unstructured":"Christensen, A.L., Grady, R.O., Dorigo, M.: From fireflies to fault-tolerant swarms of robots. IEEE Trans. Evol. Comput. 13(4), 754\u2013766 (2009)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Degesys, J., Basu, P., Redi, J.: Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access. In: Proceedings of SAC 2008, pp. 1976\u20131980. ACM (2008)","DOI":"10.1145\/1363686.1364164"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-662-47221-7_9","volume-title":"Cellular Automata and Discrete Complex Systems","author":"N Fat\u00e8s","year":"2015","unstructured":"Fat\u00e8s, N.: Remarks on the cellular automaton global synchronisation problem. In: Kari, J. (ed.) AUTOMATA 2015. LNCS, vol. 9099, pp. 113\u2013126. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-662-47221-7_9"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-40379-3_13","volume-title":"Towards Autonomous Robotic Systems","author":"P Gainer","year":"2016","unstructured":"Gainer, P., Dixon, C., Hustadt, U.: Probabilistic model checking of ant-based positionless swarming. In: Alboul, L., Damian, D., Aitken, J.M.M. (eds.) TAROS 2016. LNCS (LNAI), vol. 9716, pp. 127\u2013138. Springer, Cham (2016). doi:\n10.1007\/978-3-319-40379-3_13"},{"issue":"5","key":"14_CR12","first-page":"512","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. FAC 6(5), 512\u2013535 (1994)","journal-title":"FAC"},{"issue":"1","key":"14_CR13","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.tcs.2011.07.018","volume":"413","author":"F Heidarian","year":"2012","unstructured":"Heidarian, F., Schmaltz, J., Vaandrager, F.: Analysis of a clock synchronization protocol for wireless sensor networks. TCS 413(1), 87\u2013105 (2012)","journal-title":"TCS"},{"issue":"2","key":"14_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S Konur","year":"2012","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst. 60(2), 199\u2013213 (2012)","journal-title":"Robot. Auton. Syst."},{"issue":"1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0167-2789(91)90075-K","volume":"50","author":"Y Kuramoto","year":"1991","unstructured":"Kuramoto, Y.: Collective synchronization of pulse-coupled oscillators and excitable units. Physica D: Nonlin. Phenom. 50(1), 15\u201330 (1991)","journal-title":"Physica D: Nonlin. Phenom."},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-22110-1_47"},{"issue":"6","key":"14_CR17","doi-asserted-by":"crossref","first-page":"1645","DOI":"10.1137\/0150098","volume":"50","author":"RE Mirollo","year":"1990","unstructured":"Mirollo, R.E., Strogatz, S.H.: Synchronization of pulse-coupled biological oscillators. SIAM J. App. Math. 50(6), 1645\u20131662 (1990)","journal-title":"SIAM J. App. Math."},{"key":"14_CR18","unstructured":"Perez-Diaz, F., Trenkwalder, S., Zillmer, R., Gross, R.: Emergence and inhibition of synchronization in robot swarms. In: DARS 2016. Springer Tracts in Advanced Robotics. Springer, Cham (in press)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Werner-Allen, G., Tewari, G., Patel, A., Welsh, M., Nagpal, R.: Firefly-inspired sensor network synchronicity with realistic radio effects. In: Proceedings of SenSys 2005, pp. 142\u2013153. ACM (2005)","DOI":"10.1145\/1098918.1098934"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:57:29Z","timestamp":1502337449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}