Provably Correct Networks
2018 - 2023
SymNet: scalable symbolic execution for modern networks Radu STOENESCU, DAN MATEI POPOVICI, LORINA CRISTINA NEGREANU, COSTIN RAICIU, ACM Conference on Special Interest Group on Data Communication (SIGCOMM) Computer Science, 2016, 000383741200023 10.1145/2934872.2934881
SymNet: Static Checking for Stateful Networks Radu STOENESCU, DAN MATEI POPOVICI, LORINA CRISTINA NEGREANU, COSTIN RAICIU, ACM Workshop on Hot Topics in Middleboxes and Network Function Virtualization (HotMiddlebox) Computer Science, 2013, 000372059000006 10.1145/2535828.2535835
Debugging P4 programs with vera Radu STOENESCU, Dragos DUMITRESCU, DAN MATEI POPOVICI, LORINA CRISTINA NEGREANU, COSTIN RAICIU, Proceedings of Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication ACM, 2018, 000482127900036 10.1145/3230543.3230548
Dataplane equivalence and its applications Dragos DUMITRESCU, Radu STOENESCU, DAN MATEI POPOVICI, LORINA CRISTINA NEGREANU, COSTIN RAICIU, Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019 USENIX ASSOC, 2019, 000474428400043
bf4: towards bug-free P4 programs Dragos DUMITRESCU, Radu STOENESCU, LORINA CRISTINA NEGREANU, COSTIN RAICIU, SIGCOMM `20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION ASSOC COMPUTING MACHINERY, 2020, 000843580100039 10.1145/3387514.3405888
A Code Analysis Tool to Help Students in the Age of Generative AI DANIEL-FLORIN DOSARU, Diana-Maria SIMION, Andrei-Horia IGNAT, LORINA CRISTINA NEGREANU, ALEXANDRU CORNELIU OLTEANU, TECHNOLOGY ENHANCED LEARNING FOR INCLUSIVE AND EQUITABLE QUALITY EDUCATION, PT II, EC-TEL 2024 SPRINGER INTERNATIONAL PUBLISHING AG, 2024, 001332998900031 10.1007/978-3-031-72312-4_31
Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering STEFAN TRAUSAN-MATU, LORINA CRISTINA NEGREANU, Mihaela SPALATELU, Sci. Ann. Cuza Univ. , 2020,
bf4: towards bug-free P4 programs Dragos DUMITRESCU, Radu STOENESCU, LORINA CRISTINA NEGREANU, COSTIN RAICIU, SIGCOMM `20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION ASSOC COMPUTING MACHINERY, 2020, 000843580100039 10.1145/3387514.3405888
Dataplane equivalence and its applications Dragos DUMITRESCU, Radu STOENESCU, DAN MATEI POPOVICI, LORINA CRISTINA NEGREANU, COSTIN RAICIU, Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019 USENIX ASSOC, 2019, 000474428400043
INSTRUMENTING PYTHON CODE TO IMPROVE THE DEVELOPMENT PROCESS LORINA CRISTINA NEGREANU, UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE POLYTECHNIC UNIV BUCHAREST, 2019, 000502008300004
Introducere în INTERNET STEFAN TRAUSAN-MATU, Gheorghe TECUCI, Dan TUFIS, LORINA CRISTINA NEGREANU, Editura Academiei, 1996,
Elemente de calculabilitate si complexitate LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, POLITEHNICA PRESS, 2015,
Formal languages & automata LORINA CRISTINA NEGREANU, DAN MATEI POPOVICI, Politehnica Press, 2018,
Analiza Algoritmilor – Algoritmi de Sortare LORINA CRISTINA NEGREANU, Cristian GIUMALE, Ed. ALL, 1994,
Borland Pascal 7.0 pentru Windows Irina ATHANASIU, LORINA CRISTINA NEGREANU, EUGENIA KALISZ, Ed. TEORA, 1994,
Sistemul de Operare UNIX Alexandru Panoiu, Irina ATHANASIU, LORINA CRISTINA NEGREANU, Silviu CĂLINOIU, Florin Baboescu, EUGENIA KALISZ, Ed. TEORA, 1993,