Lorina Negreanu

According to our database, Lorina Negreanu authored at least 18 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

bf4: towards bug-free P4 programs.

Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

Dataplane equivalence and its applications.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

Debugging P4 programs with vera.

Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Equivalence and its applications to network verification.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018

2016

SymNet: Scalable symbolic execution for modern networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2015

Stability and Strategic Time-Dependent Behaviour in Multiagent Systems.

Matei Popovici, Lorina Negreanu

Comput. Informatics, 2015

Hiding and Revealing Information in Boolean Games.

Matei Popovici, Lorina Negreanu

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

Modeling Non-starvation in Multi-agent Systems.

Lorina Negreanu

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

2013

Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning.

Matei Popovici, Lorina Negreanu

Proceedings of the Intelligent Distributed Computing VII, 2013

Agents Modeling under Fairness Assumption in Event-B.

Irina Mocanu, Lorina Negreanu, Adina Magda Florea

Proceedings of the Intelligent Distributed Computing VII, 2013

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B.

Lorina Negreanu, Matei Popovici

Proceedings of the 19th International Conference on Control Systems and Computer Science, 2013

Formal Specification and Verification of Concurrent Agents in Event-B.

Lorina Negreanu, Irina Mocanu, Adina Magda Florea

Proceedings of the 19th International Conference on Control Systems and Computer Science, 2013

SymNet: static checking for stateful networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013

2012

A Multi-Agent System for Service Acquiring in Smart Environments.

Irina Mocanu, Lorina Negreanu, Adina Magda Florea

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

2011

An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses.

Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

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

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010

Modeling Ontologies for Time-Dependent Applications.

Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

1998

Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering.

Stefan Trausan-Matu, Lorina Negreanu

Sci. Ann. Cuza Univ., 1998