Lorina Negreanu

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 6

Top Topics

Symbolic Execution

Multiagent Systems

Temporal Reasoning

Top Venues

Comput. Informatics

Publications

Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
bf4: towards bug-free P4 programs. SIGCOMM (2020)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Dataplane equivalence and its applications. NSDI (2019)
Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Debugging P4 programs with vera. SIGCOMM (2018)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Equivalence and its applications to network verification. SIGCOMM Posters and Demos (2018)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: scalable symbolic execution for modern networks. CoRR (2016)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: Scalable symbolic execution for modern networks. SIGCOMM (2016)
Lorina Negreanu
Modeling Non-starvation in Multi-agent Systems. CSCS (2015)
Matei Popovici, Lorina Negreanu
Hiding and Revealing Information in Boolean Games. CSCS (2015)
Matei Popovici, Lorina Negreanu
Stability and Strategic Time-Dependent Behaviour in Multiagent Systems. Comput. Informatics 34 (1) (2015)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: static checking for stateful networks. HotMiddlebox@CoNEXT (2013)
Matei Popovici, Lorina Negreanu
Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. IDC (2013)
Lorina Negreanu, Matei Popovici
Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. CSCS (2013)
Irina Mocanu, Lorina Negreanu, Adina Magda Florea
Agents Modeling under Fairness Assumption in Event-B. IDC (2013)
Lorina Negreanu, Irina Mocanu, Adina Magda Florea
Formal Specification and Verification of Concurrent Agents in Event-B. CSCS (2013)
Irina Mocanu, Lorina Negreanu, Adina Magda Florea
A Multi-Agent System for Service Acquiring in Smart Environments. IDC (2012)
Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre
An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. ISADS (2011)
Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre
A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. ICCS (2011)
Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici
Modeling Ontologies for Time-Dependent Applications. SYNASC (2010)
Stefan Trausan-Matu, Lorina Negreanu
Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering. Sci. Ann. Cuza Univ. 8 (1998)