Urmăriți
Dragos Dumitrescu
Dragos Dumitrescu
Adresă de e-mail confirmată pe cs.pub.ro
Titlu
Citat de
Citat de
Anul
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
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
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
322020
Can we exploit buggy P4 programs?
MV Dumitru, D Dumitrescu, C Raiciu
Proceedings of the Symposium on SDN Research, 62-68, 2020
242020
Steganography techniques
D Dumitrescu, IM Stan, E Simion
Cryptology ePrint Archive, 2017
132017
Genetic algorithms in neural networks
D Dumitrescu, I Stan
Proceedings of the Artificial Intelligence: Methodology, Systems …, 0
5
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
Generic Data Synchronization Algorithm in Distributed Systems
D Dumitrescu, M Carabaș
Exploring Services Science: 7th International Conference, IESS 2016 …, 2016
2016
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–9