Lorina Negreanu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SIGCOMM | bf4: towards bug-free P4 programs. | Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu |
| 2019 | NSDI | Dataplane equivalence and its applications. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Equivalence and its applications to network verification. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Debugging P4 programs with vera. | Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2016 | SIGCOMM | SymNet: Scalable symbolic execution for modern networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2013 | CoNEXT | SymNet: static checking for stateful networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2013 | IDC | Agents Modeling under Fairness Assumption in Event-B. | Irina Mocanu, Lorina Negreanu, Adina Magda Florea |
| 2013 | IDC | Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. | Matei Popovici, Lorina Negreanu |
| 2012 | IDC | A Multi-Agent System for Service Acquiring in Smart Environments. | Irina Mocanu, Lorina Negreanu, Adina Magda Florea |
| 2011 | ICCS | A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. | Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre |
| 2011 | ISADS | An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. | Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre |
| 2010 | SYNASC | Modeling Ontologies for Time-Dependent Applications. | Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici |