SDNRacer: detecting concurrency violations in software-defined networks. Miserez, J., Bielik, P., El-Hassany, A., Vanbever, L., & Vechev, M. T. In Rexford, J. & Vahdat, A., editors, SOSR, pages 22:1-22:7, 2015. ACM. Link Paper bibtex @inproceedings{conf/sosr/MiserezBEVV15,
added-at = {2016-01-27T00:00:00.000+0100},
author = {Miserez, Jeremie and Bielik, Pavol and El-Hassany, Ahmed and Vanbever, Laurent and Vechev, Martin T.},
biburl = {http://www.bibsonomy.org/bibtex/2f14114e9ea103c44d01662d5e044418e/dblp},
booktitle = {SOSR},
crossref = {conf/sosr/2015},
editor = {Rexford, Jennifer and Vahdat, Amin},
ee = {http://doi.acm.org/10.1145/2774993.2775004},
interhash = {9603ca685781bf24d607831b9b9bd4ff},
intrahash = {f14114e9ea103c44d01662d5e044418e},
isbn = {978-1-4503-3451-8},
keywords = {dblp},
pages = {22:1-22:7},
publisher = {ACM},
timestamp = {2016-01-28T11:40:09.000+0100},
title = {SDNRacer: detecting concurrency violations in software-defined networks.},
url = {http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15},
year = 2015
}
Downloads: 0
{"_id":"Z6A9LdoEPwWbiEc7q","bibbaseid":"miserez-bielik-elhassany-vanbever-vechev-sdnracerdetectingconcurrencyviolationsinsoftwaredefinednetworks-2015","downloads":0,"creationDate":"2016-02-17T10:30:04.773Z","title":"SDNRacer: detecting concurrency violations in software-defined networks.","author_short":["Miserez, J.","Bielik, P.","El-Hassany, A.","Vanbever, L.","Vechev, M. T."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/\"ahmed shamsul arefin\"?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-27T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Miserez"],"firstnames":["Jeremie"],"suffixes":[]},{"propositions":[],"lastnames":["Bielik"],"firstnames":["Pavol"],"suffixes":[]},{"propositions":[],"lastnames":["El-Hassany"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Vanbever"],"firstnames":["Laurent"],"suffixes":[]},{"propositions":[],"lastnames":["Vechev"],"firstnames":["Martin","T."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2f14114e9ea103c44d01662d5e044418e/dblp","booktitle":"SOSR","crossref":"conf/sosr/2015","editor":[{"propositions":[],"lastnames":["Rexford"],"firstnames":["Jennifer"],"suffixes":[]},{"propositions":[],"lastnames":["Vahdat"],"firstnames":["Amin"],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/2774993.2775004","interhash":"9603ca685781bf24d607831b9b9bd4ff","intrahash":"f14114e9ea103c44d01662d5e044418e","isbn":"978-1-4503-3451-8","keywords":"dblp","pages":"22:1-22:7","publisher":"ACM","timestamp":"2016-01-28T11:40:09.000+0100","title":"SDNRacer: detecting concurrency violations in software-defined networks.","url":"http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15","year":"2015","bibtex":"@inproceedings{conf/sosr/MiserezBEVV15,\n added-at = {2016-01-27T00:00:00.000+0100},\n author = {Miserez, Jeremie and Bielik, Pavol and El-Hassany, Ahmed and Vanbever, Laurent and Vechev, Martin T.},\n biburl = {http://www.bibsonomy.org/bibtex/2f14114e9ea103c44d01662d5e044418e/dblp},\n booktitle = {SOSR},\n crossref = {conf/sosr/2015},\n editor = {Rexford, Jennifer and Vahdat, Amin},\n ee = {http://doi.acm.org/10.1145/2774993.2775004},\n interhash = {9603ca685781bf24d607831b9b9bd4ff},\n intrahash = {f14114e9ea103c44d01662d5e044418e},\n isbn = {978-1-4503-3451-8},\n keywords = {dblp},\n pages = {22:1-22:7},\n publisher = {ACM},\n timestamp = {2016-01-28T11:40:09.000+0100},\n title = {SDNRacer: detecting concurrency violations in software-defined networks.},\n url = {http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15},\n year = 2015\n}\n\n","author_short":["Miserez, J.","Bielik, P.","El-Hassany, A.","Vanbever, L.","Vechev, M. T."],"editor_short":["Rexford, J.","Vahdat, A."],"key":"conf/sosr/MiserezBEVV15","id":"conf/sosr/MiserezBEVV15","bibbaseid":"miserez-bielik-elhassany-vanbever-vechev-sdnracerdetectingconcurrencyviolationsinsoftwaredefinednetworks-2015","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2774993.2775004","Paper":"http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15"},"keyword":["dblp"],"downloads":0},"search_terms":["sdnracer","detecting","concurrency","violations","software","defined","networks","miserez","bielik","el-hassany","vanbever","vechev"],"keywords":["dblp"],"authorIDs":[],"dataSources":["XA98H7MrAfSrDfP6g"]}