| Symnet: Scalable symbolic execution for modern networks R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2016 ACM SIGCOMM Conference, 314-327, 2016 | 179 | 2016 |
| Debugging P4 programs with Vera R Stoenescu, D Dumitrescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018 | 117 | 2018 |
| bf4: towards bug-free P4 programs D Dumitrescu, R Stoenescu, L Negreanu, C Raiciu Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020 | 37 | 2020 |
| In-net: In-network processing for the masses R Stoenescu, V Olteanu, M Popovici, M Ahmed, J Martins, R Bifulco, ... Proceedings of the Tenth European Conference on Computer Systems, 1-15, 2015 | 35 | 2015 |
| Symnet: Static checking for stateful networks R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2013 workshop on Hot topics in middleboxes and network …, 2013 | 34 | 2013 |
| Dataplane equivalence and its applications D Dumitrescu, R Stoenescu, M Popovici, L Negreanu, C Raiciu 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019 | 33 | 2019 |
| Good cop, bad cop: forcing middleboxes to cooperate C Raiciu, V Olteanu, R Stoenescu IAB Workshop on Stack Evolution in a Middlebox Internet (SEMI), IAB. IAB, 2015 | 2 | 2015 |
| SymNet R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2016 ACM SIGCOMM Conference, 2016 | 1 | 2016 |
| Openstack networking for humans: Symbolic execution to the rescue R Stoenescu, D Dumitrescu, C Raiciu 2016 IEEE International Symposium on Local and Metropolitan Area Networks …, 2016 | 1 | 2016 |
| Equivalence and its applications to network verification D Dumitrescu, R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 21-23, 2018 | | 2018 |
| Symnet: scalable symbolic execution for modern networks CRUPB Radu Stoenescu (University Politehnica of Bucharest), Matei Popovici ... Sigcomm, 2016 | | 2016 |
| Deliverable D6. 1: System Orchestration and Management Design and Implementation C PARADA, I BORGES, F FONTES, V RICCOBENE, J THOMSON, ... | | |
| Verifying networks with symbolic execution and temporal logic M Popovici, R Stoenescu, L Negreanu, C Raiciu | | |
| Symbolic execution-model equivalence & applications M Popovici, R Stoenescu, L Negreanu, C Raiciu | | |
Costin RaiciuProfessor, Computer Science Department, University Politehnica of Bucharest, Romania在 cs.pub.ro 的电子邮件经过验证
