Folgen
Lorina Negreanu
Lorina Negreanu
Professor of computer science, Politehnica University of Bucharest
Bestätigte E-Mail-Adresse bei cs.pub.ro
Titel
Zitiert von
Zitiert von
Jahr
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
1722016
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
1112018
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
332019
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
322013
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
312020
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
112011
Genetic algorithms viewed as anticipatory systems
I Mocanu, E Kalisz, L Negreanu
AIP Conference Proceedings 1303 (1), 207-215, 2010
72010
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
62013
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
62010
Reasoning with fluid qualities
C Giumale, L Negreanu
17th International Conference on Control Systems and Computer Science, CSCS …, 2009
62009
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
52011
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
42012
Enhancing RUSTDOC to allow search by types
M Dobrescu-Balaur, L Negreanu
Studies in Informatics and Control 24 (2), 221-228, 2015
32015
Agents Modeling under Fairness Assumption in Event-B
I Mocanu, L Negreanu, AM Florea
Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2014
32014
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
32013
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
32011
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
22013
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
22013
SymNet
R Stoenescu, M Popovici, L Negreanu, C Raiciu
Proceedings of the 2016 ACM SIGCOMM Conference, 2016
12016
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
12012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20