Dalal Alrajeh
Dalal Alrajeh
Lecturer (Assistant Professor), Department of Computing, Imperial College London
Zweryfikowany adres z imperial.ac.uk - Strona główna
Cytowane przez
Cytowane przez
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
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
An investigation into the use of reinforcement learning techniques within the algorithmic trading domain
J Cumming, DD Alrajeh, L Dickens
Imperial College London: London, UK, 2015
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
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
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
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
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
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
Interpolation-based GR (1) assumptions refinement
DG Cavezza, D Alrajeh
International Conference on Tools and Algorithms for the Construction and …, 2017
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
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
Learning from vacuously satisfiable scenario-based specifications
D Alrajeh, J Kramer, A Russo, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2012
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
Deriving non-zeno behaviour models from goal models using ILP
D Alrajeh, J Kramer, A Russo, S Uchitel
Formal aspects of computing 22 (3), 217-241, 2010
Goal-conflict detection based on temporal satisfiability checking
R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
Inductive learning using constraint-driven bias
D Athakravi, D Alrajeh, K Broda, A Russo, K Satoh
Inductive logic programming, 16-32, 2015
Learning classical planning strategies with policy gradient
P Gomoluch, D Alrajeh, A Russo
Proceedings of the International Conference on Automated Planning and …, 2019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20