Matei Popovici

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 9

Top Topics

Symbolic Execution

Multiagent Systems

Congestion Control

Top Venues

Comput. Informatics

Publications

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Dataplane equivalence and its applications. NSDI (2019)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20 (2) (2019)
Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Debugging P4 programs with vera. SIGCOMM (2018)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Equivalence and its applications to network verification. SIGCOMM Posters and Demos (2018)
Matei Popovici
Verifying large-scale networks using NetCheck. EuCNC (2017)
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 Niculescu, Carlos Parada, Matei Popovici, Vincenzo Riccobene, Stefano Salsano, Bessem Sayadi, John Thomson, Christos Tselios, George Tsolis
Superfluidity: a flexible functional architecture for 5G networks. Trans. Emerg. Telecommun. Technol. 27 (9) (2016)
Matei Popovici, Costin Raiciu
Exploiting Multipath Congestion Control for Fun and Profit. HotNets (2016)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: scalable symbolic execution for modern networks. CoRR (2016)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: Scalable symbolic execution for modern networks. SIGCOMM (2016)
Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, João Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu
In-Net: in-network processing for the masses. EuroSys (2015)
Matei Popovici, Lorina Negreanu
Hiding and Revealing Information in Boolean Games. CSCS (2015)
Nils Bulling, Matei Popovici
A game-theoretic approach to compute stable topologies in mobile ad hoc networks. J. Log. Comput. 25 (3) (2015)
Matei Popovici, Lorina Negreanu
Stability and Strategic Time-Dependent Behaviour in Multiagent Systems. Comput. Informatics 34 (1) (2015)
Nils Bulling, Wojciech Jamroga, Matei Popovici
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI (2014)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Agents with truly perfect recall in alternating-time temporal logic. AAMAS (2014)
Alexandru Asandei, Ciprian Dobre, Matei Popovici
Social-Based Routing with Congestion Avoidance in Opportunistic Networks. ADHOC-NOW (2013)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: static checking for stateful networks. HotMiddlebox@CoNEXT (2013)
Matei Popovici, Lorina Negreanu
Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. IDC (2013)
Lorina Negreanu, Matei Popovici
Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. CSCS (2013)
Matei Popovici, Ciprian Dobre
A game-theoretic approach to cooperation in multi-agent systems. WIMS (2012)
Nils Bulling, Michael Köster, Matei Popovici
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. CLIMA (2012)
Matei Popovici
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters. CLIMA (2012)
Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre
An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. ISADS (2011)
Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre
A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. ICCS (2011)
Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici
Modeling Ontologies for Time-Dependent Applications. SYNASC (2010)