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 |
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 | 62 | 2012 |
An investigation into the use of reinforcement learning techniques within the algorithmic trading domain J Cumming, D Alrajeh, L Dickens Imperial College London: London, UK 58, 2015 | 53 | 2015 |
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 | 52 | 2012 |
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 | 51 | 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 | 47 | 2020 |
Adapting requirements models to varying environments D Alrajeh, A Cailliau, A van Lamsweerde Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 35 | 2020 |
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 | 31 | 2017 |
Automated support for diagnosis and repair D Alrajeh, J Kramer, A Russo, S Uchitel Communications of the ACM 58 (2), 65-72, 2015 | 31 | 2015 |
Extracting requirements from scenarios with ILP D Alrajeh, O Ray, A Russo, S Uchitel Inductive Logic Programming: 16th International Conference, ILP 2006 …, 2007 | 31 | 2007 |
Interpolation-based GR (1) assumptions refinement DG Cavezza, D Alrajeh Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 29 | 2017 |
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 | 29 | 2009 |
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 | 27 | 2016 |
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 | 24 | 2014 |
Combining experts' causal judgments D Alrajeh, H Chockler, JY Halpern Artificial Intelligence 288, 103355, 2020 | 21 | 2020 |
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 | 18 | 2013 |
Learning from vacuously satisfiable scenario-based specifications D Alrajeh, J Kramer, A Russo, S Uchitel Fundamental Approaches to Software Engineering: 15th International …, 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 | 15 | 2006 |
Learning classical planning strategies with policy gradient P Gomoluch, D Alrajeh, A Russo Proceedings of the International Conference on Automated Planning and …, 2019 | 14 | 2019 |
Towards learning domain-independent planning heuristics P Gomoluch, D Alrajeh, A Russo, A Bucchiarone arXiv preprint arXiv:1707.06895, 2017 | 14 | 2017 |