{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:43:04Z","timestamp":1768002184285,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030312794","type":"print"},{"value":"9783030312800","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31280-0_12","type":"book-chapter","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T23:06:50Z","timestamp":1570489610000},"page":"194-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Model Checking Based Approach for Detecting SDN Races"],"prefix":"10.1007","author":[{"given":"Evgenii","family":"Vinarskii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamal","family":"Zeghlache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"key":"12_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Berde, P., et al.: ONOS: towards an open, distributed SDN OS. In: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, pp. 1\u20136. ACM (2014)","DOI":"10.1145\/2620728.2620744"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"El-Hassany, A., Miserez, J., Bielik, P., Vanbever, L., Vechev, M.T.: SDNRacer: concurrency analysis for software-defined networks. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, 13\u201317 June 2016, pp. 402\u2013415 (2016). https:\/\/doi.org\/10.1145\/2908080.2908124","DOI":"10.1145\/2908080.2908124"},{"key":"12_CR4","unstructured":"Open Networking Foundation: OpenFlow switch specification version 1.4.0 (2013). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.4.0.pdf"},{"key":"12_CR5","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)"},{"key":"12_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning About Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, Cambridge (2004)"},{"key":"12_CR7","unstructured":"Koshibe, A., et al.: ONOS - Appendix B: REST API (2014). https:\/\/wiki.onosproject.org\/display\/ONOS\/Appendix+B%3A+REST+API. Accessed 02 June 2019"},{"key":"12_CR8","volume-title":"The TCP\/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference","author":"CM Kozierok","year":"2005","unstructured":"Kozierok, C.M.: The TCP\/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference. No Starch Press, San Francisco (2005)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-319-63390-9_16","volume-title":"Computer Aided Verification","author":"J McClurg","year":"2017","unstructured":"McClurg, J., Hojjat, H., \u010cern\u00fd, P.: Synchronization synthesis for network programs. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 301\u2013321. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_16"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N McKeown","year":"2008","unstructured":"McKeown, N., et al.: OpenFlow: enabling innovation in campus networks. ACM SIGCOMM Comput. Commun. Rev. 38(2), 69\u201374 (2008)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Miserez, J., Bielik, P., El-Hassany, A., Vanbever, L., Vechev, M.T.: SDNRacer: detecting concurrency violations in software-defined networks. In: Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR 2015, Santa Clara, California, USA, 17\u201318 June 2015, pp. 22:1\u201322:7 (2015). https:\/\/doi.org\/10.1145\/2774993.2775004","DOI":"10.1145\/2774993.2775004"},{"key":"12_CR12","doi-asserted-by":"publisher","unstructured":"de Oliveira, R.L.S., Schweitzer, C.M., Shinoda, A.A., Prete, L.R.: Using mininet for emulation and prototyping software-defined networks. In: 2014 IEEE Colombian Conference on Communications and Computing (COLCOM), pp. 1\u20136 (2014). https:\/\/doi.org\/10.1109\/ColComCon.2014.6860404","DOI":"10.1109\/ColComCon.2014.6860404"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Scott, C., et al.: Troubleshooting blackbox SDN control software with minimal causal sequences. In: Proceeding of the ACM SIGCOMM 2014 Conference, Chicago, Illinois, USA (2014)","DOI":"10.1145\/2619239.2626304"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Shalimov, A., Zuikov, D., Zimarina, D., Pashkov, V., Smeliansky, R.: Advanced study of SDN\/OpenFlow controllers. In: 9th Central & Eastern European Software Engineering Conference in Russia. ACM (2013)","DOI":"10.1145\/2556610.2556621"},{"key":"12_CR15","volume-title":"Introduction to Linear Algebra","author":"G Strang","year":"1993","unstructured":"Strang, G.: Introduction to Linear Algebra, vol. 3. Wellesley-Cambridge Press, Wellesley (1993)"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/TNSM.2015.2419975","volume":"12","author":"XS Sun","year":"2015","unstructured":"Sun, X.S., Agarwal, A., Ng, T.S.E.: Controlling race conditions in OpenFlow to accelerate application verification and packet forwarding. IEEE Trans. Netw. Serv. Manag. 12(2), 263\u2013277 (2015). https:\/\/doi.org\/10.1109\/TNSM.2015.2419975","journal-title":"IEEE Trans. Netw. Serv. Manag."},{"key":"12_CR17","unstructured":"Vinarskii, E.: Perl scripts, promela descriptions and counterexamples for SDN race detection (2019). http:\/\/mks1.cmc.msu.ru\/EvgeniiEM\/detecting_SDN_races"},{"key":"12_CR18","volume-title":"Programming Perl","author":"L Wall","year":"2000","unstructured":"Wall, L., Christiansen, T., Orwant, J.: Programming Perl. O\u2019Reilly Media Inc., Sebastopol (2000)"},{"key":"12_CR19","volume-title":"A Introduction to Probability Theory and Its Applications","author":"F William","year":"1971","unstructured":"William, F.: A Introduction to Probability Theory and Its Applications. Wiley, New York (1971)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Yuan, D., Hu, H.: Multi-layer modeling of OpenFlow based on EFSM. In: 4th International Conference on Machinery, Materials and Information Technology Applications, pp. 209\u2013214 (2016)","DOI":"10.2991\/icmmita-16.2016.97"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31280-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:59:28Z","timestamp":1710363568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31280-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030312794","9783030312800"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31280-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ictss2019.centralesupelec.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}