Matei Popovici

According to our database, Matei Popovici authored at least 24 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Reasoning about Strategic Abilities: Agents with Truly Perfect Recall.

Nils Bulling, Wojciech Jamroga, Matei Popovici

ACM Trans. Comput. Log., 2019

Dataplane equivalence and its applications.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

Debugging P4 programs with vera.

Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Equivalence and its applications to network verification.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018

2017

Verifying large-scale networks using NetCheck.

Matei Popovici

Proceedings of the 2017 European Conference on Networks and Communications, 2017

2016

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 Niculescu, Carlos Parada, Matei Popovici, Vincenzo Riccobene, Stefano Salsano, Bessem Sayadi, John Thomson, Christos Tselios, George Tsolis

Trans. Emerg. Telecommun. Technol., 2016

SymNet: Scalable symbolic execution for modern networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Exploiting Multipath Congestion Control for Fun and Profit.

Matei Popovici, Costin Raiciu

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015

A game-theoretic approach to compute stable topologies in mobile ad hoc networks.

Nils Bulling, Matei Popovici

J. Log. Comput., 2015

Stability and Strategic Time-Dependent Behaviour in Multiagent Systems.

Matei Popovici, Lorina Negreanu

Comput. Informatics, 2015

In-Net: in-network processing for the masses.

Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, João Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu

Proceedings of the Tenth European Conference on Computer Systems, 2015

Hiding and Revealing Information in Boolean Games.

Matei Popovici, Lorina Negreanu

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

2014

ATL* With Truly Perfect Recall: Expressivity and Validities.

Nils Bulling, Wojciech Jamroga, Matei Popovici

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Agents with truly perfect recall in alternating-time temporal logic.

Nils Bulling, Wojciech Jamroga, Matei Popovici

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning.

Matei Popovici, Lorina Negreanu

Proceedings of the Intelligent Distributed Computing VII, 2013

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B.

Lorina Negreanu, Matei Popovici

Proceedings of the 19th International Conference on Control Systems and Computer Science, 2013

SymNet: static checking for stateful networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013

Social-Based Routing with Congestion Avoidance in Opportunistic Networks.

Alexandru Asandei, Ciprian Dobre, Matei Popovici

Proceedings of the Ad-hoc, Mobile, and Wireless Network - 12th International Conference, 2013

2012

A game-theoretic approach to cooperation in multi-agent systems.

Matei Popovici, Ciprian Dobre

Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012

Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters.

Matei Popovici

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks.

Nils Bulling, Michael Köster, Matei Popovici

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

2011

An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses.

Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities.

Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010

Modeling Ontologies for Time-Dependent Applications.

Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010