{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:27:07Z","timestamp":1730233627837,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/icccn49398.2020.9209680","type":"proceedings-article","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T20:59:41Z","timestamp":1601499581000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["Rapid Top-Down Synthesis of Large-Scale IoT Networks"],"prefix":"10.1109","author":[{"given":"Pradipta","family":"Ghosh","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Bunton","sequence":"additional","affiliation":[]},{"given":"Dimitrios","family":"Pylorof","sequence":"additional","affiliation":[]},{"given":"Marcos","family":"Vieira","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Chan","sequence":"additional","affiliation":[]},{"given":"Ramesh","family":"Govinda","sequence":"additional","affiliation":[]},{"given":"Gaurav","family":"Sukhatme","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[]},{"given":"Gunjan","family":"Verma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.cviu.2006.06.005","article-title":"Automated camera layout to satisfy taskspecific and floor plan-specific coverage requirements","volume":"103","author":"erdem","year":"2006","journal-title":"Computer Vision and Image Understanding"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6848052"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/378583.378674"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2009.161"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1178782.1178800"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541867"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.12542"},{"year":"2019","key":"ref10","article-title":"Gurobi Optimizer Reference Manual"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2849003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2003.819861"},{"year":"2019","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2847263.2847342"},{"key":"ref15","article-title":"Sudoku as a sat problem","author":"lynce","year":"2006","journal-title":"ISAIM"},{"year":"0","key":"ref16","article-title":"IBM ILOG CPLEX Optimization Studio V12.9.0 documentation"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1077391.1077394"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1132905.1132921"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978811"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2010.5508241"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062367"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0733-9496(2008)134:6(516)"},{"key":"ref3","article-title":"Libra: Divide and conquer to verify forwarding tables in huge networks","author":"zeng","year":"2014","journal-title":"Proc USENIX NSDI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787476"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943087"},{"key":"ref5","article-title":"Understanding lifecycle management complexity of datacenter topologies","author":"zhang","year":"2019","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI'04)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2007.70708"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2007.05.003"},{"key":"ref2","first-page":"469","article-title":"A general approach to network configuration analysis","author":"fogel","year":"0"},{"key":"ref9","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proc Theory and Practice of Software Development"},{"key":"ref1","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc USENIX NSDI"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2011.11.016"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2014.2336257"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1089733.1089736"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1049\/iet-wss.2011.0085"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/984622.984684"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2164010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1132905.1132921"}],"event":{"name":"2020 29th International Conference on Computer Communications and Networks (ICCCN)","start":{"date-parts":[[2020,8,3]]},"location":"Honolulu, HI, USA","end":{"date-parts":[[2020,8,6]]}},"container-title":["2020 29th International Conference on Computer Communications and Networks (ICCCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9205796\/9209588\/09209680.pdf?arnumber=9209680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:16:10Z","timestamp":1656375370000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9209680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/icccn49398.2020.9209680","relation":{},"subject":[],"published":{"date-parts":[[2020,8]]}}}