Lorina Negreanu

Identifiers

• name variant Lorina Negreanu 0.60 · backfill

Papers (2)

1. SymNet: scalable symbolic execution for modern networks cs.NI · 2016 · author #3
2. A Formal Approach for the Development of Service-Oriented Applications cs.SE · 2012 · author #1

Mentions

• 1202.2572 #1 · backfill · confidence 0.70 Lorina Negreanu

Frequent Coauthors

• Matei Popovici 2 shared papers
• Alexandru Agache 1 shared papers
• Ciprian Dobre 1 shared papers
• Costin Raiciu 1 shared papers
• Cristian Giumale 1 shared papers
• Mihnea Muraru 1 shared papers
• Radu Stoenescu 1 shared papers