@inproceedings{DBLP:conf/icfem/GainerLDH018,
  author    = {Paul Gainer and
               Sven Linker and
               Clare Dixon and
               Ullrich Hustadt and
               Michael Fisher},
  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},
  pages     = {160--176},
  year      = {2018},
  crossref  = {DBLP:conf/icfem/2018},
  url       = {https://doi.org/10.1007/978-3-030-02450-5\_10},
  doi       = {10.1007/978-3-030-02450-5\_10},
  timestamp = {Mon, 05 Nov 2018 11:04:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/GainerLDH018},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {[<span class="s4">S4</span>]}
}

{"_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":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","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":[]}],"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","pages":"160–176","year":"2018","crossref":"DBLP:conf/icfem/2018","url":"https://doi.org/10.1007/978-3-030-02450-5\\_10","doi":"10.1007/978-3-030-02450-5_10","timestamp":"Mon, 05 Nov 2018 11:04:23 +0100","biburl":"https://dblp.org/rec/bib/conf/icfem/GainerLDH018","bibsource":"dblp computer science bibliography, https://dblp.org","note":"[<span class=\"s4\">S4</span>]","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 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 pages = {160--176},\n year = {2018},\n crossref = {DBLP:conf/icfem/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 = {Mon, 05 Nov 2018 11:04:23 +0100},\n biburl = {https://dblp.org/rec/bib/conf/icfem/GainerLDH018},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n note = {[<span class=\"s4\">S4</span>]}\n}\n\n\n\n","author_short":["Gainer, P.","Linker, S.","Dixon, C.","Hustadt, U.","Fisher, 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://cgi.csc.liv.ac.uk/~slk/","hustadt, u":"https://cgi.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":["sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","FgmYE34DdKWThg2dR","viaGT23rwj7vKvjeq","WhiGijHmCtTSdLaAj"]}