| 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 | 283 | 2003 |
| Leveraging inconsistency in software development B Nuseibeh, S Easterbrook, A Russo Computer 33 (4), 24-29, 2000 | 263 | 2000 |
| 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 | 254 | 2004 |
| Making inconsistency respectable in software development B Nuseibeh, S Easterbrook, A Russo Journal of systems and software 58 (2), 171-180, 2001 | 250 | 2001 |
| 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 | 180 | 2017 |
| Inductive learning of answer set programs M Law, A Russo, K Broda Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 144 | 2014 |
| 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 | 110 | 2009 |
| 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 | 109 | 2009 |
| 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 | 108 | 2015 |
| 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 | 103 | 2005 |
| 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 | 103 | 2002 |
| Inductive logic programming in answer set programming D Corapi, A Russo, E Lupu International conference on inductive logic programming, 91-97, 2011 | 93 | 2011 |
| Inductive logic programming as abductive search D Corapi, A Russo, E Lupu Technical Communications of the 26th International Conference on Logic …, 2010 | 91 | 2010 |
| 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 | 90 | 2013 |
| 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 | 89 | 2012 |
| 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 | 85 | 2020 |
| 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 | 84 | 2003 |
| 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 | 73 | 2006 |
| 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 | 71 | 2019 |
| 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 | 67 | 2020 |
Jorge LoboICREA - Universitat Pompeu Fabra確認したメール アドレス: upf.edu