Obserwuj
Dalal Alrajeh
Dalal Alrajeh
Associate professor, Department of Computing, Imperial College London
Zweryfikowany adres z imperial.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1042009
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
502012
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
462012
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
402015
Automated support for diagnosis and repair
D Alrajeh, J Kramer, A Russo, S Uchitel
Communications of the ACM 58 (2), 65-72, 2015
292015
Extracting requirements from scenarios with ILP
D Alrajeh, O Ray, A Russo, S Uchitel
International Conference on Inductive Logic Programming, 64-78, 2006
282006
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
262018
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
262009
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
252020
Interpolation-based GR (1) assumptions refinement
DG Cavezza, D Alrajeh
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
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
182014
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
162017
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
162013
Learning from vacuously satisfiable scenario-based specifications
D Alrajeh, J Kramer, A Russo, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2012
132012
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
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
122016
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
122011
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
122010
Combining experts' causal judgments
D Alrajeh, H Chockler, JY Halpern
Artificial Intelligence 288, 103355, 2020
112020
A weakness measure for GR (1) formulae
DG Cavezza, D Alrajeh, A György
International Symposium on Formal Methods, 110-128, 2018
112018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20