Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Matei Popovici"'
Publikováno v:
ACM Transactions on Computational Logic. 20:1-46
In alternating-time temporal logic ATL * , agents with perfect recall assign choices to sequences of states, i.e., to possible finite histories of the game. However, when a nested strategic modality is interpreted, the new strategy does not take into
Autor:
Bessem Sayadi, Luca Chiaraviglio, Francisco Fontes, Pedro de la Cruz Ramos, Matei Popovici, Giuseppe Bianchi, Michael J. McGrath, Christos Tselios, Dragos Niculescu, Nicola Blefari-Melazzi, Philip Eardley, John Thomson, Stefano Salsano, George Tsolis, Erez Biton, Lionel Natarianni, Carlos Parada, Isabel Borges, Vincenzo Riccobene
Publikováno v:
Transactions on Emerging Telecommunications Technologies. 27:1178-1186
We propose the innovative architecture of Superfluidity, a Horizon 2020 project, co-funded by the European Union. Superfluidity targets 5G networks, by addressing key network operator challenges with a multi-pronged approach, based on the concept of
Publikováno v:
SIGCOMM Posters and Demos
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos
Publikováno v:
SIGCOMM
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication-SIGCOMM 18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication -SIGCOMM '18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication-SIGCOMM 18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication -SIGCOMM '18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
We present Vera, a tool that verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common bugs including parsing/deparsing errors, invalid memory accesses, loops and tunneling errors, among others. Vera can also be us
Autor:
Carlos Parada, Isabel Borges, Francisco Fontes, George Tsolis, Michael J. McGrath, Vincenzo Riccobene, John Thomson, Julian Chesterfield, Joel Atherley, Manos Ragiadakos, Luis Tomas Bolivar, Livnat Peer, Daniel Mellado, Erez Biton, Claudio Pisa, Francesco Lombardo, Stefano Salsano, Luca Chiaraviglio, Mohammad Shojafar, Lavinia Amorosi, Costin Raiciu, Radu Stoenescu, Matei Popovici, Dragos Dimitrescu, Maria Bianco
This deliverable reports the efforts of the three WP6 Tasks. It concludes all the efforts done at WP6, finalizing the control framework, the SLA-base deployment design, and completes the symbolic execution checking and anomaly detection tools impleme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::665c152b491e20db708a762a1ea40737
Autor:
Matei Popovici
Publikováno v:
EuCNC
We present NetCheck, a network policy language for verifying large-scale networked infrastructures. NetCheck is expressive enough to capture basic network properties such as reachability and maintenance, as well as more complex behaviours such as end
Autor:
Nils Bulling, Matei Popovici
Publikováno v:
Journal of Logic and Computation. 25:639-667
Autor:
Costin Raiciu, Matei Popovici
Publikováno v:
HotNets
Multipath congestion control prefers sending more traffic over paths with lower loss rates. This behaviour is key to achieving resource pooling and efficiently allocating resources in multipath networks. However, loss rates can be manipulated in the
Autor:
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
Publikováno v:
Transactions on Emerging Telecommunications Technologies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6e8cf9c991f737e3af749163e82f4c67
http://hdl.handle.net/2108/183214
http://hdl.handle.net/2108/183214
Autor:
Matei Popovici, Lorina Negreanu
Publikováno v:
COMPUTING AND INFORMATICS; Vol 34, No 1 (2015): Computing and Informatics; 4-22
Temporal reasoning and strategic behaviour are important abilities of multiagent systems. We introduce a game-theoretic framework suitable for modelling selfish and rational agents which can store and reason about the evolution of an environment, and