| 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 | 123 | 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 | 38 | 2020 |
| 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 | 35 | 2019 |
| Can we exploit buggy P4 programs? MV Dumitru, D Dumitrescu, C Raiciu Proceedings of the Symposium on SDN Research, 62-68, 2020 | 29 | 2020 |
| Steganography techniques D Dumitrescu, IM Stan, E Simion Cryptology ePrint Archive, 2017 | 13 | 2017 |
| Genetic algorithms in neural networks D Dumitrescu, I Stan Proceedings of the Artificial Intelligence: Methodology, Systems …, 1996 | 6 | 1996 |
| 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 |
| Generic Data Synchronization Algorithm in Distributed Systems D Dumitrescu, M Carabaş Exploring Services Science: 7th International Conference, IESS 2016 …, 2016 | | 2016 |
