Lorina Negreanu

Statistics

Publications

Citations

288

H-Index

Active since

2013

Affiliations

Universitatea Națională de Știință și Tehnologie Politehnica București(Current)

Lorina Negreanu is an author at Universitatea Națională de Știință și Tehnologie Politehnica București specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSystem SoftwareSoftware Testing

Publications per year

2013–2020

Publications

SymNet

Radu Stoenescu, Matei Popovici, Lorina Negreanu et al. · 2016 · 112 citations · Full text

Debugging P4 programs with vera

Radu Stoenescu, Dragoș Dumitrescu, Matei Popovici et al. · 2018 · 94 citations · Full text

Program Checking, Engineering, Verification +19

bf4

Dragoș Dumitrescu, Radu Stoenescu, Lorina Negreanu et al. · 2020 · 32 citations

Engineering, Verification, Computer-aided Verification +18

SymNet

Radu Stoenescu, Matei Popovici, Lorina Negreanu et al. · 2013 · 20 citations

Network Monitoring, Engineering, Software-defined Networking +15

Dataplane equivalence and its applications

Dragoș Dumitrescu, Radu Stoenescu, Matei Popovici et al. · Networked Systems Design and Implementation · 2019 · 20 citations

Data Representation, Engineering, Similarity Measure +8

1–5 of 6