Follow
Radu Stoenescu
Title
Cited by
Cited by
Year
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
1722016
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
1112018
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
342015
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
332019
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
322013
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
312020
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
22015
SymNet
R Stoenescu, M Popovici, L Negreanu, C Raiciu
Proceedings of the 2016 ACM SIGCOMM Conference, 2016
12016
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
12016
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
The system can't perform the operation now. Try again later.
Articles 1–14