Stoenescu - PDFSEARCH.IO - Document Search Engine

Stoenescu
Results: 6

#	Item
1	In-Net : In-Network Processing for the Masses Radu Stoenescu‡ Vladimir Olteanu‡ Matei Popovici‡ Mohamed Ahmed∗ Joao Martins∗ Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2015-03-17 08:45:58
2	SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2016-07-20 11:18:40
3	Good Cop, Bad Cop: Forcing Middleboxes to Cooperate Costin Raiciu, Vladimir Olteanu, Radu Stoenescu 1. INTRODUCTION Add to Reading List Source URL: nets.cs.pub.ro - Date: 2014-12-12 09:23:01
4	BALKAN JOURNAL OF PHILOSOPHY Vol. 6, Issue 2, 2014 C O NT E N T S Add to Reading List Source URL: www.issk-bas.org Language: English - Date: 2014-10-13 06:58:33 Stoenescu Stamenkovi Sajama Tasi
5	Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:03 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
6	OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email: Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2016-05-10 04:52:03 Computer network security Network architecture Local area networks Cloud infrastructure Ethernet OpenStack Open vSwitch Virtual LAN Firewall Network virtualization Network address translation Network switch

UPDATE