| Symnet: Scalable symbolic execution for modern networks R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2016 ACM SIGCOMM Conference, 314-327, 2016 | 184 | 2016 |
| Debugging P4 programs with Vera R Stoenescu, D Dumitrescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018 | 130 | 2018 |
| bf4: towards bug-free P4 programs D Dumitrescu, R Stoenescu, L Negreanu, C Raiciu Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020 | 40 | 2020 |
| Dataplane equivalence and its applications D Dumitrescu, R Stoenescu, M Popovici, L Negreanu, C Raiciu 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019 | 35 | 2019 |
| Symnet: Static checking for stateful networks R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2013 workshop on Hot topics in middleboxes and network …, 2013 | 35 | 2013 |
| An ontology-based dynamic service composition framework for intelligent houses M Popovici, M Muraru, A Agache, L Negreanu, C Giumale, C Dobre 2011 Tenth International Symposium on Autonomous Decentralized Systems, 177-184, 2011 | 11 | 2011 |
| Genetic algorithms viewed as anticipatory systems I Mocanu, E Kalisz, L Negreanu Computing Anticipatory Systems: Casys ‘09: Ninth International Conference on …, 2010 | 7 | 2010 |
| A multi-agent system for service acquiring in smart environments I Mocanu, L Negreanu, AM Florea Intelligent Distributed Computing VI: Proceedings of the 6th International …, 2013 | 6 | 2013 |
| Modeling ontologies for time-dependent applications C Giumale, L Negreanu, M Muraru, M Popovici 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 6 | 2010 |
| Reasoning with fluid qualities C Giumale, L Negreanu 17th International Conference on Control Systems and Computer Science, CSCS …, 2009 | 6 | 2009 |
| A modeling method and declarative language for temporal reasoning based on fluid qualities M Popovici, M Muraru, A Agache, C Giumale, L Negreanu, C Dobre Conceptual Structures for Discovering Knowledge: 19th International …, 2011 | 5 | 2011 |
| Enhancing RUSTDOC to allow search by types M Dobrescu-Balaur, L Negreanu Studies in Informatics and Control 24 (2), 221-228, 2015 | 4 | 2015 |
| Formal verification of service requests in a multi-agent system using Event-B method L Negreanu, I Mocanu 8th Workshop on Workshop Knowledge Engineering and Software Engineering …, 2012 | 4 | 2012 |
| Agents Modeling under Fairness Assumption in Event-B I Mocanu, L Negreanu, AM Florea Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2014 | 3 | 2014 |
| Modeling and proof of event-driven interaction in multi agent systems in Event-B L Negreanu, M Popovici 2013 19th International Conference on Control Systems and Computer Science …, 2013 | 3 | 2013 |
| Modeling with fluid qualities C Giumale, L Negreanu, M Muraru, M Popovici, A Agache, C Dobre Proceedings of the 18th International Conference on Control Systems and …, 2011 | 3 | 2011 |
| Strategic behaviour in multi-agent systems able to perform temporal reasoning M Popovici, L Negreanu Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2013 | 2 | 2013 |
| Formal Specification and Verification of Concurrent Agents in Event-B L Negreanu, I Mocanu, AM Florea 2013 19th International Conference on Control Systems and Computer Science …, 2013 | 2 | 2013 |
| SymNet R Stoenescu, M Popovici, L Negreanu, C Raiciu Proceedings of the 2016 ACM SIGCOMM Conference, 2016 | 1 | 2016 |
| A Formal Approach for the Development of Service-Oriented Applications L Negreanu, C Giumale, A Agache, M Muraru, M Popovici, C Dobre arXiv preprint arXiv:1202.2572, 2012 | 1 | 2012 |
Stefan Trausan-MatuProf. Univ. Politehnica of Bucharest; Research Inst. for AI; Academy of Romanian ScientistsVerifierad e-postadress på cs.pub.ro