Följ
alessandra russo
alessandra russo
Professor in Applied Computational Logic
Verifierad e-postadress på imperial.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
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
2612000
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
2532004
Making inconsistency respectable in software development
B Nuseibeh, S Easterbrook, A Russo
Journal of systems and software 58 (2), 171-180, 2001
2472001
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
1792017
Inductive learning of answer set programs
M Law, A Russo, K Broda
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
1402014
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
1092009
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
1082009
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
1072015
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
An abductive approach for analysing event-based requirements specifications
A Russo, R Miller, B Nuseibeh, J Kramer
Logic Programming: 18th International Conference, ICLP 2002 Copenhagen …, 2002
1022002
Inductive logic programming as abductive search
D Corapi, A Russo, E Lupu
Technical Communications of the 26th International Conference on Logic …, 2010
912010
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
902012
Inductive logic programming in answer set programming
D Corapi, A Russo, E Lupu
International conference on inductive logic programming, 91-97, 2011
902011
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
882013
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
842003
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
822020
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
732006
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
662019
Dynamic policy analysis and conflict resolution for diffserv quality of service management
M Charalambides, P Flegkas, G Pavlou, J Rubio-Loyola, AK Bandara, ...
2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006, 294-304, 2006
642006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20