Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering. - Stefan Trausan-Matu; Lorina Negreanu (Sci. Ann. Cuza Univ., 1998)

Modeling Ontologies for Time-Dependent Applications. - Cristian Giumale; Lorina Negreanu; Mihnea Muraru; Matei Popovici (SYNASC, 2010)

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 (ICCS, 2011)

An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. - Matei Popovici; Mihnea Muraru; Alexandru Agache; Lorina Negreanu; Cristian Giumale; Ciprian Dobre (ISADS, 2011)

A Multi-Agent System for Service Acquiring in Smart Environments. - Irina Mocanu; Lorina Negreanu; Adina Magda Florea (IDC, 2012)

SymNet: static checking for stateful networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (HotMiddlebox@CoNEXT, 2013)

Formal Specification and Verification of Concurrent Agents in Event-B. - Lorina Negreanu; Irina Mocanu; Adina Magda Florea (CSCS, 2013)

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. - Lorina Negreanu; Matei Popovici (CSCS, 2013)

Agents Modeling under Fairness Assumption in Event-B. - Irina Mocanu; Lorina Negreanu; Adina Magda Florea (IDC, 2013)

Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. - Matei Popovici; Lorina Negreanu (IDC, 2013)

Modeling Non-starvation in Multi-agent Systems. - Lorina Negreanu (CSCS, 2015)

Hiding and Revealing Information in Boolean Games. - Matei Popovici; Lorina Negreanu (CSCS, 2015)

Stability and Strategic Time-Dependent Behaviour in Multiagent Systems. - Matei Popovici; Lorina Negreanu (Comput. Informatics, 2015)

SymNet: Scalable symbolic execution for modern networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2016)

Equivalence and its applications to network verification. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM Posters and Demos, 2018)

Debugging P4 programs with vera. - Radu Stoenescu; Dragos Dumitrescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2018)

Dataplane equivalence and its applications. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (NSDI, 2019)

bf4: towards bug-free P4 programs. - Dragos Dumitrescu; Radu Stoenescu; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2020)