Dalal Alrajeh
Dalal Alrajeh
Lecturer (Assistant Professor), Department of Computing, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
942009
Slanty design
R Beale
Communications of the ACM 50 (1), 21-24, 2007
73*2007
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
372012
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
332012
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
262006
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
222009
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, 2015
212015
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
192015
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
152014
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 (4), 279-293, 2013
152013
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
142006
Towards forensic-ready software systems
L Pasquale, D Alrajeh, C Peersman, T Tun, B Nuseibeh, A Rashid
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
112018
Learning from vacuously satisfiable scenario-based specifications
D Alrajeh, J Kramer, A Russo, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2012
112012
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
102011
Deriving non-zeno behaviour models from goal models using ILP
D Alrajeh, J Kramer, A Russo, S Uchitel
Formal aspects of computing 22 (3-4), 217-241, 2010
102010
Interpolation-based GR (1) assumptions refinement
DG Cavezza, D Alrajeh
International Conference on Tools and Algorithms for the Construction and …, 2017
82017
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
72017
Integrating model checking and inductive logic programming
D Alrajeh, A Russo, S Uchitel, J Kramer
International Conference on Inductive Logic Programming, 45-60, 2011
72011
Extracting Requirements from Scenarios with ILP, Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 …
OR Dalal Alrajeh, A Russo, S Uchitel
Springer-Verlag, Berlin, Heidelberg, 2007
7*2007
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
62020
The system can't perform the operation now. Try again later.
Articles 1–20