| 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 | 182 | 2016 |
| 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 |
| Superfluidity: a flexible functional architecture for 5G networks G Bianchi, E Biton, N Blefari‐Melazzi, I Borges, L Chiaraviglio, ... Transactions on Emerging Telecommunications Technologies 27 (9), 1178-1186, 2016 | 75 | 2016 |
| 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 | 35 | 2015 |
| 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 | 34 | 2019 |
| 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 | 34 | 2013 |
| ChatGPT in the classroom. Exploring its potential and limitations in a functional programming course MD Popovici International Journal of Human–Computer Interaction, 1-12, 2023 | 20 | 2023 |
| Exploiting multipath congestion control for fun and profit M Popovici, C Raiciu Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 141-147, 2016 | 11 | 2016 |
| Agents with truly perfect recall in alternating-time temporal logic. N Bulling, W Jamroga, M Popovici AAMAS 14, 1561-1562, 2014 | 11 | 2014 |
| An ontology-based dynamic service composition framework for intelligent houses M Popovici, M Muraru, A Agache, L Negreanu, C Giumale, C Dobre 2011 Tenth International Symposium on Autonomous Decentralized Systems, 177-184, 2011 | 11 | 2011 |
| ATL* with truly perfect recall: Expressivity and validities N Bulling, W Jamroga, M Popovici ECAI 2014, 177-182, 2014 | 9 | 2014 |
| Modeling ontologies for time-dependent applications C Giumale, L Negreanu, M Muraru, M Popovici 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 6 | 2010 |
| A modeling method and declarative language for temporal reasoning based on fluid qualities M Popovici, M Muraru, A Agache, C Giumale, L Negreanu, C Dobre Conceptual Structures for Discovering Knowledge: 19th International …, 2011 | 5 | 2011 |
| Using evolution graphs for describing topology-aware prediction models in large clusters M Popovici International Workshop on Computational Logic in Multi-Agent Systems, 94-109, 2012 | 4 | 2012 |
| A game-theoretic approach to cooperation in multi-agent systems M Popovici, C Dobre Proceedings of the 2nd International Conference on Web Intelligence, Mining …, 2012 | 4 | 2012 |
| A game-theoretic approach to compute stable topologies in mobile ad hoc networks N Bulling, M Popovici Journal of Logic and Computation 25 (3), 639-667, 2015 | 3 | 2015 |
| Modeling and proof of event-driven interaction in multi agent systems in Event-B L Negreanu, M Popovici 2013 19th International Conference on Control Systems and Computer Science …, 2013 | 3 | 2013 |
| Modeling with fluid qualities C Giumale, L Negreanu, M Muraru, M Popovici, A Agache, C Dobre Proceedings of the 18th International Conference on Control Systems and …, 2011 | 3 | 2011 |
| Reasoning about strategic abilities: agents with truly perfect recall N Bulling, W Jamroga, M Popovici ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019 | 2 | 2019 |
| Strategic behaviour in multi-agent systems able to perform temporal reasoning M Popovici, L Negreanu Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2013 | 2 | 2013 |
