Dalal Alrajeh
Dalal Alrajeh
Lecturer (Assistant Professor), Department of Computing, Imperial College London
Verified email at imperial.ac.uk - Homepage
TitleCited byYear
Learning operational requirements from goal models
D Alrajeh, J Kramer, A Russo, S Uchitel
Proceedings of the 31st international conference on software engineering …, 2009
902009
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
R Beale
Communications of the ACM 50 (1), 21-24, 2007
72*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
352012
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
312012
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
252006
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
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
192015
An investigation into the use of reinforcement learning techniques within the algorithmic trading domain
J Cumming, DD Alrajeh, L Dickens
Master’s thesis, Imperial College London, United Kiongdoms, 2015. URL http …, 2015
142015
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
142014
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
132013
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
132006
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
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
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
92011
Interpolation-based GR (1) assumptions refinement
DG Cavezza, D Alrajeh
International Conference on Tools and Algorithms for the Construction and …, 2017
72017
Extracting Requirements from Scenarios with ILP, Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 …
D Alrajeh, O Ray, A Russo, S Uchitel
Springer-Verlag, Berlin, Heidelberg, 2007
72007
Risk-driven revision of requirements models
D Alrajeh, A van Lamsweerde, J Kramer, A Russo, S Uchitel
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
62016
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
52018
Combining experts’ causal judgments
D Alrajeh, H Chockler, JY Halpern
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
52018
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
52016
The system can't perform the operation now. Try again later.
Articles 1–20