{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:59:15Z","timestamp":1730285955429,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/noms.2012.6212037","type":"proceedings-article","created":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T17:01:35Z","timestamp":1340125295000},"page":"1111-1118","source":"Crossref","is-referenced-by-count":2,"title":["ValidMaker: A tool for managing device configurations using logical constraints"],"prefix":"10.1109","author":[{"given":"S.","family":"Halle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. L.","family":"Ngoupe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Nijdam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Valtchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"155","article-title":"Network configuration management via model finding","author":"narain","year":"2005","journal-title":"LISA"},{"year":"2006","journal-title":"Proceedings of the 20th Conference on Systems Administration (LISA 2006) Washington D C USA December 3-8 2006","key":"35"},{"key":"17","first-page":"123","article-title":"It's elementary, dear Watson: Applying logic programming to convergent system management processes","author":"couch","year":"1999","journal-title":"LISA"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-540-39671-0_4"},{"year":"0","journal-title":"Configuring VTP","key":"33"},{"year":"0","journal-title":"PIKT","key":"15"},{"doi-asserted-by":"publisher","key":"34","DOI":"10.1109\/TIME.2006.11"},{"key":"16","first-page":"215","article-title":"Directing change using Bcfg2","author":"desai","year":"2006","journal-title":"LISA"},{"key":"13","first-page":"309","article-title":"Cfengine: A site configuration engine","volume":"8","author":"burgess","year":"1995","journal-title":"Computing Systems"},{"key":"14","first-page":"1","author":"anderson","year":"2002","journal-title":"LCFG The Next Generation"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1016\/S0951-8320(02)00202-8"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1017\/S0890060401154065"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1145\/261640.261654"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1080\/08839519108927927"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1145\/236337.236376"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/65.953233"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/INFCOM.2003.1208982"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1007\/978-3-540-27815-3_7"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1007\/s10922-008-9108-y"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1145\/505145.505149"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1145\/1921168.1921176"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1109\/TIME.2005.18"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/MC.2004.2"},{"key":"2","first-page":"43","article-title":"Detecting bgp configuration faults with static analysis","author":"feamster","year":"0","journal-title":"2nd Symp on Networked Systems Design and Implementation (NSDI) Boston MA May 2005"},{"key":"10","first-page":"1","article-title":"Snitch: Interactive decision trees for troubleshooting misconfigurations","author":"mickens","year":"2007","journal-title":"SysML"},{"year":"2002","author":"strassner","journal-title":"Bridge to IP Profitability","key":"1"},{"doi-asserted-by":"publisher","key":"30","DOI":"10.1007\/978-3-540-30189-9_15"},{"key":"7","first-page":"10","author":"castillo","year":"2006","journal-title":"ZipTie Network Inventory Framework Enabling the next Era of Network Management Tools"},{"year":"0","journal-title":"RANCID - Really Awesome New Cisco ConfIg Differ","key":"6"},{"year":"2003","journal-title":"802 11Q Virtual Bridged Local Area Networks Standard","first-page":"327","key":"32"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1162678.1162681"},{"year":"2005","journal-title":"Proceedings of the 19th Conference on Systems Administration (LISA 2005) San Diego USA December 4-9 2005","key":"31"},{"key":"4","first-page":"131","article-title":"Modeling next generation configuration management tools","author":"burgess","year":"2006","journal-title":"LISA"},{"key":"9","first-page":"15","article-title":"An expectant chat about script maturity","author":"couch","year":"2000","journal-title":"LISA"},{"year":"0","journal-title":"Voyence","key":"8"}],"event":{"name":"2012 IEEE\/IFIP Network Operations and Management Symposium (NOMS 2012)","start":{"date-parts":[[2012,4,16]]},"location":"Maui, HI","end":{"date-parts":[[2012,4,20]]}},"container-title":["2012 IEEE Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6203618\/6211874\/06212037.pdf?arnumber=6212037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:44:42Z","timestamp":1490103882000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6212037\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/noms.2012.6212037","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}