Matei Popovici

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