Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Radu Stoenescu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Costin Raiciu

> Home > Persons > Radu Stoenescu

Publications

2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/DumitrescuSNR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/DumitrescuSNR20
Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu:
bf4: towards bug-free P4 programs. SIGCOMM 2020: 571-585
2019
[c7]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/DumitrescuSPNR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/DumitrescuSPNR19
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
Dataplane equivalence and its applications. NSDI 2019: 683-698
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/DumitrescuSPNR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/DumitrescuSPNR18
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
Equivalence and its applications to network verification. SIGCOMM Posters and Demos 2018: 21-23
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/StoenescuDPNR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/StoenescuDPNR18
Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
Debugging P4 programs with vera. SIGCOMM 2018: 518-532
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lanman/StoenescuDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanman/StoenescuDR16
Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu:
OpenStack networking for humans: Symbolic execution to the rescue. LANMAN 2016: 1-6
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/StoenescuPNR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/StoenescuPNR16
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
SymNet: Scalable symbolic execution for modern networks. SIGCOMM 2016: 314-327
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/StoenescuPNR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/StoenescuPNR16
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
SymNet: scalable symbolic execution for modern networks. CoRR abs/1604.02847 (2016)
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/StoenescuOPAMBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/StoenescuOPAMBM15
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: 23:1-23:15
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/StoenescuPNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/StoenescuPNR13
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu:
SymNet: static checking for stateful networks. HotMiddlebox@CoNEXT 2013: 31-36

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.