Dalal Alrajeh
Dalal Alrajeh
Associate professor, Department of Computing, Imperial College London
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
Adapting requirements models to varying environments
D Alrajeh, A Cailliau, A van Lamsweerde
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
Inductive Logic Programming: 16th International Conference, ILP 2006 …, 2007
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
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
Interpolation-based GR (1) assumptions refinement
DG Cavezza, D Alrajeh
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 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
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
Combining experts' causal judgments
D Alrajeh, H Chockler, JY Halpern
Artificial Intelligence 288, 103355, 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
Learning from vacuously satisfiable scenario-based specifications
D Alrajeh, J Kramer, A Russo, S Uchitel
Fundamental Approaches to Software Engineering: 15th International …, 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
Towards learning domain-independent planning heuristics
P Gomoluch, D Alrajeh, A Russo, A Bucchiarone
arXiv preprint arXiv:1707.06895, 2017
Deriving non-zeno behaviour models from goal models using ILP
D Alrajeh, J Kramer, A Russo, S Uchitel
Formal aspects of computing 22, 217-241, 2010
The system can't perform the operation now. Try again later.
Articles 1–20