Empowering the future through innovative smart solutions for rural areas
2024 - 2025
EduGPT
2023 - 2024
Empowering the future through innovative smart solutions for rural areas
2023 - 2027
Provably Correct Networks
2018 - 2023
Superfluidity: a super-fluid, cloud-native, converged edge system
2015 - 2018
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: Scalable symbolic execution for modern networks Radu STOENESCU, DAN MATEI POPOVICI, COSTIN RAICIU, Proceedings of the 2016 ACM SIGCOMM Conference , 2016,
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
Superfluidity: a flexible functional architecture for 5G networks Giuseppe BIANCHI, Erez BITON, Nicola BLEFARI‐MELAZZI, Isabel BORGES, Luca CHIARAVIGLIO, Pedro de la Cruz RAMOS, Philip EARDLEY, Francisco FONTES, Michael J MCGRATH, Lionel NATARIANNI, DRAGOS STEFAN NICULESCU, Carlos PARADA, DAN MATEI POPOVICI, Vincenzo RICCOBENE, Stefano SALSANO, Bessem SAYADI, John THOMSON, Christos TSELIOS, George TSOLIS, Transactions on Emerging Telecommunications Technologies WILEY, 2016, 000383590100005 10.1002/ett.3082
Agora: A Distributed Language Model Framework With API-Call Support for Integrated Climate Forecasting Alexandra UDRESCU, DAN MATEI POPOVICI, IEEE ACCESS IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2025, 001489666400019 10.1109/ACCESS.2025.3568028
Reasoning about strategic abilities: agents with truly perfect recall Nils BULLING, Nils Bulling1and Wojciech JAMROGA, DAN MATEI POPOVICI, ACM Transactions on Computational Logic (TOCL) ACM, 2019, 000464922400004 10.1145/3309761
Paradigme de Programare DAN MATEI POPOVICI, , 2019,
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
Paradigme de programare - laborator DAN MATEI POPOVICI, , 2019,
A survey of Temporal Knowledge Representation and Reasoning DAN MATEI POPOVICI, CIPRIAN MIHAI DOBRE, Editura Politehnica Press, 2012,
Formal Languages and Automata - Lecture Notes DAN MATEI POPOVICI, POLITEHNICA PRESS, 2018,
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,
