| 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 | 107 | 2009 |
| Generating obstacle conditions for requirements completeness D Alrajeh, J Kramer, A Van Lamsweerde, A Russo, S Uchitel 2012 34th International Conference on Software Engineering (ICSE), 705-715, 2012 | 56 | 2012 |
| Elaborating requirements using model checking and inductive learning D Alrajeh, J Kramer, A Russo, S Uchitel IEEE Transactions on Software Engineering 39 (3), 361-383, 2012 | 50 | 2012 |
| An investigation into the use of reinforcement learning techniques within the algorithmic trading domain J Cumming, DD Alrajeh, L Dickens Imperial College London: London, UK 58, 2015 | 43 | 2015 |
| Towards forensic-ready software systems L Pasquale, D Alrajeh, C Peersman, T Tun, B Nuseibeh, A Rashid Proceedings of the 40th International Conference on Software Engineering …, 2018 | 34 | 2018 |
| The problem with crime problem-solving: Towards a second generation POP? H Borrion, P Ekblom, D Alrajeh, AL Borrion, A Keane, D Koch, ... The British Journal of Criminology 60 (1), 219-240, 2020 | 32 | 2020 |
| Automated support for diagnosis and repair D Alrajeh, J Kramer, A Russo, S Uchitel Communications of the ACM 58 (2), 65-72, 2015 | 30 | 2015 |
| Extracting requirements from scenarios with ILP D Alrajeh, O Ray, A Russo, S Uchitel Inductive Logic Programming: 16th International Conference, ILP 2006 …, 2007 | 29 | 2007 |
| Using abduction and induction for operational requirements elaboration D Alrajeh, O Ray, A Russo, S Uchitel Journal of Applied Logic 7 (3), 275-288, 2009 | 26 | 2009 |
| On evidence preservation requirements for forensic-ready systems D Alrajeh, L Pasquale, B Nuseibeh Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 23 | 2017 |
| Interpolation-based GR (1) assumptions refinement DG Cavezza, D Alrajeh Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 23 | 2017 |
| Automated goal operationalisation based on interpolation and sat solving R Degiovanni, D Alrajeh, N Aguirre, S Uchitel Proceedings of the 36th International Conference on Software Engineering …, 2014 | 22 | 2014 |
| Adapting requirements models to varying environments D Alrajeh, A Cailliau, A van Lamsweerde Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 20 | 2020 |
| Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 17 | 2016 |
| Supporting incremental behaviour model elaboration S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ... Computer Science-Research and Development 28, 279-293, 2013 | 17 | 2013 |
| Combining experts' causal judgments D Alrajeh, H Chockler, JY Halpern Artificial Intelligence 288, 103355, 2020 | 15 | 2020 |
| Learning from Vacuously Satisfiable Scenario-Based Specifications. D Alrajeh, J Kramer, A Russo, S Uchitel FASE 12, 377-393, 2012 | 15 | 2012 |
| Inferring operational requirements from scenarios and goal models using inductive learning D Alrajeh, A Russo, S Uchitel Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 14 | 2006 |
| An inductive approach for modal transition system refinement D Alrajeh, J Kramer, A Russo, S Uchitel Technical Communications of the 27th International Conference on Logic …, 2011 | 13 | 2011 |
| Learning neural search policies for classical planning P Gomoluch, D Alrajeh, A Russo, A Bucchiarone Proceedings of the International Conference on Automated Planning and …, 2020 | 12 | 2020 |
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
