Principles of Model Checking, 2008. ,
Onos: towards an open, distributed sdn os, Proceedings of the third workshop on Hot topics in software defined networking, pp.1-6, 2014. ,
Sdnracer: concurrency analysis for software-defined networks, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, pp.402-415, 2016. ,
Openflow switch specification version 1, 2013. ,
The Spin model checker: primer and reference manual, 2003. ,
Logic in Computer Science: Modelling and reasoning about systems, 2004. ,
, ONOS -Appendix B: REST API, 2014.
, The TCP/IP guide: a comprehensive, illustrated Internet protocols reference, 2005.
Synchronization synthesis for network programs, Computer Aided Verification -29th International Conference, pp.301-321, 2017. ,
Openflow: enabling innovation in campus networks, ACM SIG-COMM Computer Communication Review, vol.38, issue.2, pp.69-74, 2008. ,
Sdnracer: detecting concurrency violations in software-defined networks, Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, vol.22, pp.1-22, 2015. ,
Using mininet for emulation and prototyping software-defined networks, 2014 IEEE Colombian Conference on Communications and Computing (COLCOM), pp.1-6, 2014. ,
,
Troubleshooting blackbox sdn control software with minimal causal sequences, Proceeding of the ACM SIGCOMM 2014 Conference, 2014. ,
Advanced study of sdn/openflow controllers. In: 9th central & eastern european software engineering conference in russia, 2013. ,
Introduction to linear algebra, vol.3, 1993. ,
Controlling race conditions in openflow to accelerate application verification and packet forwarding, IEEE Trans. Network and Service Management, vol.12, issue.2, pp.263-277, 2015. ,
Perl scripts, promela descriptions and counterexamples for sdn race detection, 2019. ,
Programming perl, 2000. ,
A Introduction to Probability Theory and Its Applications, 1971. ,
Multi-layer modeling of openflow based on efsm, 4th International Conference on Machinery, Materials and Information Technology Applications, pp.209-214, 2016. ,