10 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.NI2016★ 10 cited
SymNet: scalable symbolic execution for modern networks
Radu Stoenescu, Matei Popovici, Lorina Negreanu +1
We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the net…
cs.SE2012★ 1 cited
A Formal Approach for the Development of Service-Oriented Applications
Lorina Negreanu, Cristian Giumale, Alexandru Agache +3
Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Ap…