Lorina Negreanu

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