@inproceedings{DBLP:conf/icfem/GainerLDH018,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  editor       = {Jing Sun and
                  Meng Sun},
  title        = {The Power of Synchronisation: Formal Analysis of Power Consumption
                  in Networks of Pulse-Coupled Oscillators},
  booktitle    = {Formal Methods and Software Engineering - 20th International Conference
                  on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
                  November 12-16, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11232},
  pages        = {160--176},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02450-5\_10},
  doi          = {10.1007/978-3-030-02450-5\_10},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"czB5azeYcAFJQn57g","bibbaseid":"gainer-linker-dixon-hustadt-fisher-thepowerofsynchronisationformalanalysisofpowerconsumptioninnetworksofpulsecoupledoscillators-2018","downloads":1,"creationDate":"2018-11-28T14:16:22.102Z","title":"The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators","author_short":["Gainer, P.","Linker, S.","Dixon, C.","Hustadt, U.","Fisher, M."],"year":2018,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Gainer"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"editor":[{"firstnames":["Jing"],"propositions":[],"lastnames":["Sun"],"suffixes":[]},{"firstnames":["Meng"],"propositions":[],"lastnames":["Sun"],"suffixes":[]}],"title":"The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators","booktitle":"Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"11232","pages":"160–176","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-02450-5\\_10","doi":"10.1007/978-3-030-02450-5_10","timestamp":"Fri, 25 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icfem/GainerLDH018.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icfem/GainerLDH018,\n author = {Paul Gainer and\n Sven Linker and\n Clare Dixon and\n Ullrich Hustadt and\n Michael Fisher},\n editor = {Jing Sun and\n Meng Sun},\n title = {The Power of Synchronisation: Formal Analysis of Power Consumption\n in Networks of Pulse-Coupled Oscillators},\n booktitle = {Formal Methods and Software Engineering - 20th International Conference\n on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,\n November 12-16, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11232},\n pages = {160--176},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-02450-5\\_10},\n doi = {10.1007/978-3-030-02450-5\\_10},\n timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gainer, P.","Linker, S.","Dixon, C.","Hustadt, U.","Fisher, M."],"editor_short":["Sun, J.","Sun, M."],"key":"DBLP:conf/icfem/GainerLDH018","id":"DBLP:conf/icfem/GainerLDH018","bibbaseid":"gainer-linker-dixon-hustadt-fisher-thepowerofsynchronisationformalanalysisofpowerconsumptioninnetworksofpulsecoupledoscillators-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-02450-5\\_10"},"metadata":{"authorlinks":{"linker, s":"https://138.253.184.233/~slk/","hustadt, u":"https://intranet.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":1},"search_terms":["power","synchronisation","formal","analysis","power","consumption","networks","pulse","coupled","oscillators","gainer","linker","dixon","hustadt","fisher"],"keywords":[],"authorIDs":["23NWGnBoADDc5tnSP","2MjC8kJEbSQD9aztz","2zRTB3Q7a8GGkXKR4","3KCd7RKiipJdubnpi","3uwidWcjAbT8uJEsw","452uzYakZSEoegoXT","5MwsGou8LZBojFA7i","5RpyokJoTrxknbFXE","5bfed12b5aef4b10000000f3","5de7ecadc8f9f6df010001e2","5ded2e5a9d5885de01000067","5deffc9f14db5cdf010001cc","5df1f79078da84de010000ec","5df329c63b310cde01000136","5df34cd6d617e5de01000006","5df436ff96bfa7de01000074","5df6740c797ba9de010000f9","5df92a4ed04b27df010000c0","5dfa2a391c2129de010000d6","5dfee5765dd8e7df0100004c","5dfff38389b920de01000015","5e038a36d6cccbdf010000bc","5e03b6d6a94129de01000056","5e07c886ea5f0bdf010000ce","5e0a6c1c3eccf6e00100008c","5e0b71eae73cd6de010000e3","5e0dddd3552b25df0100012a","5e0f0ad7070585df0100006c","5e10d7970192c6df010000e5","5e15fdf1efa1cddf01000228","5e167fef0ba191df01000113","5e16e6185e8bcfdf0100000e","5e1788abcf35a4de010001a4","5e1c5f81e556c6de010001a8","5e1cede5abed9bde010001d0","5e1f6817e8f5ddde0100015d","5e20d1eeb46c27ee0100008f","5e251937b55b9edf0100006a","5e29ca83edf563df01000216","5e2a42432d8494f201000057","5e2dcabf8ceb9adf01000057","5e307e4bcb949bdf01000004","5e31800600e4e5de0100005d","5e34b1cbed2109df01000049","5e34df9762bc74de010000f7","5e36a65e7b975dde01000008","5e373e7e4cbab2df010000f3","5e37e617e8908edf010000a2","5e38e37a81a46ade0100009a","5e3b0cbaba2e16df01000023","5e3c0e0c0c5519de0100004a","5e3c832ffeacaede010000cb","5e3c8b62feacaede01000146","5e3f6074cd8fe2de010000a4","5e4009f817f17dde0100007a","5e436037a37866de01000178","5e440a93547b4cdf010001c8","5e454afba96575df010000be","5e476cda45a735de010000bc","5e48915a6ac344de0100002e","5e4bbfdba6b53fde01000020","5e53513653de8dde010000d9","5e55520de89e5fde01000048","5e56ecf4a8dabede01000423","5e57263a429006de01000215","5e592530e60e02de01000018","5e59b830103b4fde01000055","5e5a569322eebcde010000a3","5e5ccf2daab7afde010000a0","5e5d6c18ad47bcde010001aa","5e5fbbaf19c3fade01000234","5e610ce531c7d3de01000258","5e62abcf08ebcade01000175","5e661a2efa8a45de010001e9","5e664d1aa77c4ade010001c2","5e664f3aa77c4ade010001e2","5e676bd31dcaf4de010001fb","5e685211149172de01000048","5e6af76169285ede0100004f","5kxm2x8Hk3XBD3xxQ","6TCYM7u8ep9neFJai","6qn2c9ScXv9JL3wty","7YDbwR2jepBkdwHjt","7o37SatWSGo57r7LR","7qcHNct8SEjpnbmFH","89ZMSWjcmw6ZjFdmS","8Eydcv5fHEGMAS6nJ","8MrT6QniKe5r9PRy3","8pDE8vS9B7NWEbXTg","8xw4ovXMkxn2QQ2JD","AEH9EqfgiQjgwZTAJ","AQgzDzCKREJFMG7kP","AZ2KWEiXRDAnAji4X","AhGQWcczTf4LNFWug","AkzQLrs3pfuCZkrNJ","Ax42gcYCHMd5Y7xkQ","BB7T8vTpX3tZP6rZZ","BZvsbAz6dZLj9eeEG","BrkBA32xMgmPc4Rco","CGtmuSAWCwkv67Rri","DJofX33ALvdrbndrr","DXEqW7xtEWXzDcWF8","E9MHr3eeZhkxLiirb","EmF8Bxw6ifCXEpsGN","ErF5j2ExyMA4DdJwL","FQ4uzxMf3b4zvaCis","FTnHdnnRz9SBSwRhh","FZnqqo5nueApxpdgm","FwQbt6vyPdimP4uCf","GP4pbPirHfZHwXTgE","HHCMvx7WujcMdaTa4","JH9hSSdimj2aXXxrW","JefeskGruB68mu2vE","JvRq93zvygRpnFK33","K3sS34ZHCDLBWKJka","K7DFrGks6T7iLwgx4","KB4BNbzdLY9TAnBZa","KyM3A343Bq5hxAxKh","LQi44oAacy49ZcMEP","La86aAFzQZtDtbSub","LdnGo2hc3qX7mWqYR","MsRDpvLKQPWxeMmSJ","MzhEh4j5QqFX9yDfy","NgDgnm7jr6STF4FSL","Nn7chGimwThpeQ2wG","PQLSwepQr39dhEWSd","Ptfx8LxTDY22uiDsF","Q43A52QpdhZYMf4ZR","Q9vTP4SXmLXJ2APEH","QJaKjW4C3FA6PNfjS","QNbmhjtfYkBjhcRFN","RfEGPEtGbw7vh2Svq","Ro2kQfLk5hgQjfbug","SFhjLR2BmsC5E58SA","SNmYGrw22tkcD3KNi","SPbKXDfhjzuYmqx9C","TRgsc9FytXfg4PGkF","TtpfHdfrxZaS86euA","Wd74Q8G9RHqgh39tD","WqK4CFt4Hjhm46pRG","WyE4Fz96Lpwp4JWAp","XLNpvYYJGzx5bc5Au","XXPkJ4rgGHR7KkLPw","Xmc5s7RHJbdWgwjbG","YRG8EDAFn3t9MYS5d","YYsCK6Rr6NmBjmgL8","YfYscBn3bD9yXa2rg","YxPvyg2TNk387nuD4","ZDfsEDSkueAq9XzfN","ZXRbYG6AbAbi2vt5J","ZufP5aj2pZgoN9cqv","a9sYGcsokHSTRreYq","aQLR39RKeqjQcByRb","aniTSARzdeqHukCBf","bbFzLAE5EoPALRbxQ","bd3nXnNMnbCySxnSD","bfsEGMkutDJ8focS4","bmaRHWsFphF49czs3","cafyymyHW4yaXadGE","d5yicdDoFcdA9pdMk","daXM9SjkBwauwRE45","doDSBehpcbDTz5oRY","dvk9YAQPDJXYh7HCQ","epRTPN7DCr2akJDH3","f9MrYRy6KdAWhWMGG","fHYFX87DobY9NKWFs","g8dZ9uXjvtfKYK6rL","gJquEj3FtZ9ZMsECw","gMtaXpsK5AfHTmdzp","h3F2GE8F9wShdvnQP","hZDE3zbw7u5nqPqJM","i3pJSteRpxQ59Bybv","iXBgBPEYqMFtweXYT","igCdZ7S5x4QXm7zyZ","jSWkW7hdpuoJMj2jy","kLTXJHka2r7MGFPgm","kWZ8GicB24jPR4Yy4","keGp2dxy4R8Ttn8zS","kmGAmMEbGCRht4tB8","m6fYqXYWjJSkQnRdf","mAfTCmtFw974tybHw","mLnAyMwBjMj2mbTy2","mQf72TfqhxRTudk29","mg8vzvigryX7hEv5v","mokXR5XymRRfHfg2R","nLuAk4cZd7qB9vpJ8","njcrjtK2GauhGXxe6","qHtosA5skrqSSTPW7","qrjnLPPnMpJ7tEaNw","qtanewajH3YyiF84q","t4KjbXahY9r6mBSQm","tJioMgFAsZwJTun7m","u9cBgHMzDTaRGXy2R","u9ocAQQ3Bf7FFisp9","uYGnrTyrNY8ShTfi8","v2hkmTde7BAFhp4H3","vcWj7N6K3XNHbY6qx","vkE2hHDa3K2TWuNQ2","wdNJLAzBys7PC97TN","x56rNM6Y9Y89KNfgB","xJ8kGCfW2HzScYce2","xKyQvdEicJznyJEhx","xTTWW6j6J8SgLicLY","xfaBxPoHPtHZjtvDr","xsTQxbKvjqFzgRDsh","ynRfde8XNJnFR25tg","zmcjWwKfEKxYtT8NT","zoLMhaWBbpBTCaAZS","ztqM8or8pxCb8JZ2m"],"dataSources":["viaGT23rwj7vKvjeq","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"]}