Matei Popovici
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | NSDI | Dataplane equivalence and its applications. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Equivalence and its applications to network verification. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Debugging P4 programs with vera. | Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2016 | HOTNETS | Exploiting Multipath Congestion Control for Fun and Profit. | Matei Popovici, Costin Raiciu |
| 2016 | SIGCOMM | SymNet: Scalable symbolic execution for modern networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2015 | EuroSys | In-Net: in-network processing for the masses. | Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, Joo Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu |
| 2014 | ECAI | ATL* With Truly Perfect Recall: Expressivity and Validities. | Nils Bulling, Wojciech Jamroga, Matei Popovici |
| 2013 | CoNEXT | SymNet: static checking for stateful networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2013 | IDC | Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. | Matei Popovici, Lorina Negreanu |
| 2011 | ICCS | 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 |
| 2011 | ISADS | An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. | Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre |
| 2010 | SYNASC | Modeling Ontologies for Time-Dependent Applications. | Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici |