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
2009 IEEE 31st International Conference on Software Engineering, 265-275, 2009
902009
Slanty design
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
362012
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
212009
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
182015
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
172015
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
142013
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
82017
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
72018
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
Combining experts’ causal judgments
D Alrajeh, H Chockler, JY Halpern
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
62018
Risk-driven revision of requirements models
D Alrajeh, A van Lamsweerde, J Kramer, A Russo, S Uchitel
Proceedings of the 38th International Conference on Software Engineering …, 2016
62016
Integrating model checking and inductive logic programming
D Alrajeh, A Russo, S Uchitel, J Kramer
International Conference on Inductive Logic Programming, 45-60, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20