دنبال کردن
alessandra russo
alessandra russo
Professor in Applied Computational Logic
ایمیل تأیید شده در imperial.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Using event calculus to formalise policy specification and analysis‏
AK Bandara, EC Lupu, A Russo‏
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003‏
2822003
Leveraging inconsistency in software development‏
B Nuseibeh, S Easterbrook, A Russo‏
Computer 33 (4), 24-29, 2000‏
2592000
A goal-based approach to policy refinement‏
AK Bandara, EC Lupu, J Moffett, A Russo‏
Proceedings. Fifth IEEE International Workshop on Policies for Distributed …, 2004‏
2522004
Making inconsistency respectable in software development‏
B Nuseibeh, S Easterbrook, A Russo‏
Journal of systems and software 58 (2), 171-180, 2001‏
2492001
Optimizing resource allocation for virtualized network functions in a cloud center using genetic algorithms‏
W Rankothge, F Le, A Russo, J Lobo‏
IEEE Transactions on Network and Service Management 14 (2), 343-356, 2017‏
1812017
Inductive learning of answer set programs‏
M Law, A Russo, K Broda‏
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014‏
1502014
Towards making network function virtualization a cloud computing service‏
W Rankothge, J Ma, F Le, A Russo, J Lobo‏
2015 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2015‏
1122015
Learning operational requirements from goal models‏
D Alrajeh, J Kramer, A Russo, S Uchitel‏
2009 IEEE 31st International Conference on Software Engineering, 265-275, 2009‏
1122009
Expressive policy analysis with enhanced system dynamicity‏
R Craven, J Lobo, J Ma, A Russo, E Lupu, A Bandara‏
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009‏
1102009
An abductive approach for analysing event-based requirements specifications‏
A Russo, R Miller, B Nuseibeh, J Kramer‏
International Conference on Logic Programming, 22-37, 2002‏
1042002
Policy conflict analysis for quality of service management‏
M Charalambides, P Flegkas, G Pavlou, AK Bandara, EC Lupu, A Russo, ...‏
Sixth IEEE International Workshop on Policies for Distributed Systems and …, 2005‏
1022005
Inductive logic programming in answer set programming‏
D Corapi, A Russo, E Lupu‏
International conference on inductive logic programming, 91-97, 2011‏
972011
Inductive logic programming as abductive search‏
D Corapi, A Russo, E Lupu‏
Technical Communications of the 26th International Conference on Logic …, 2010‏
912010
Radon: rational decomposition and orchestration for serverless computing‏
G Casale, M Artač, WJ Van Den Heuvel, A van Hoorn, P Jakovits, ...‏
SICS Software-Intensive Cyber-Physical Systems 35, 77-87, 2020‏
892020
Learning revised models for planning in adaptive systems‏
D Sykes, D Corapi, J Magee, J Kramer, A Russo, K Inoue‏
2013 35th International Conference on Software Engineering (ICSE), 63-71, 2013‏
892013
Risk-based security decisions under uncertainty‏
I Molloy, L Dickens, C Morisset, PC Cheng, J Lobo, A Russo‏
Proceedings of the second ACM conference on Data and Application Security …, 2012‏
892012
Mapping UML models incorporating OCL constraints into Object-Z‏
D Roe, K Broda, A Russo‏
Imperial College of Science, Technology and Medicine, Department of Computing, 2003‏
852003
Using argumentation logic for firewall policy specification and analysis‏
AK Bandara, A Kakas, EC Lupu, A Russo‏
Large Scale Management of Distributed Systems: 17th IFIP/IEEE International …, 2006‏
752006
Fastlas: Scalable inductive logic programming incorporating domain-specific optimisation criteria‏
M Law, A Russo, E Bertino, K Broda, J Lobo‏
Proceedings of the AAAI conference on artificial intelligence 34 (03), 2877-2885, 2020‏
712020
Methods and tools for policy analysis‏
AA Jabal, M Davari, E Bertino, C Makaya, S Calo, D Verma, A Russo, ...‏
ACM Computing Surveys (CSUR) 51 (6), 1-35, 2019‏
712019
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20