Author

Dalal Alrajeh

Observed names: Alrajeh, D, Alrajeh, Dalal, D. Alrajeh, Dalai Alrajeh

Observed institution: Imperial College London

ORCID: 0000-0002-1365-8026

Observed ORCID: 0000-0002-1365-8026

OpenAlex ID: A5029277829

Learning operational requirements from goal models

2009 · Dalal Alrajeh, Jeff Kramer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 79

Elaborating Requirements Using Model Checking and Inductive Learning

2012 · Dalal Alrajeh, Jeff Kramer, et al. · IEEE Transactions on Software Engineering · 40

The Problem with Crime Problem-Solving: Towards a Second Generation Pop?

2019 · Hervé Borrion, Paul Ekblom, et al. · The British Journal of Criminology · 37

PDF

Generating obstacle conditions for requirements completeness

2012 · Dalal Alrajeh, Jeff Kramer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 37

Adapting requirements models to varying environments

2020 · Dalal Alrajeh, Antoine Cailliau, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 36

Towards forensic-ready software systems

2018 · Liliana Pasquale, Dalal Alrajeh, et al. · IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) · 36

Generating Obstacle Conditions for Requirements Completeness

2012 · Dalal Alrajeh, Jeff Kramer, et al. · 36

Goal-conflict detection based on temporal satisfiability checking

2016 · Renzo Degiovanni, Nicolas Ricci, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 27

Interpolation-Based GR(1) Assumptions Refinement

2017 · Davide G. Cavezza, Dalal Alrajeh · Lecture notes in computer science · 25

Using abduction and induction for operational requirements elaboration

2008 · D. Alrajeh, O. Ray, et al. · Journal of Applied Logic · 22

PDF

Machine Learning for Dynamic Software Analysis: Potentials and Limits

2018 · Alrajeh, D, Russo, A · Lecture notes in computer science · 21

Minimal Assumptions Refinement for Realizable Specifications

2020 · Davide G. Cavezza, Dalal Alrajeh, et al. · 19

Automated goal operationalisation based on interpolation and SAT solving

2014 · Renzo Degiovanni, Dalal Alrajeh, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 19

Automated support for diagnosis and repair

2015 · Dalal Alrajeh, Jeff Kramer, et al. · Communications of the ACM · 18

Extracting Requirements from Scenarios with ILP

2007 · Dalal Alrajeh, Oliver Ray, et al. · Lecture notes in computer science · 18

On evidence preservation requirements for forensic-ready systems

2017 · Dalal Alrajeh, Liliana Pasquale, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 17

Supporting incremental behaviour model elaboration

2012 · Sebastian Uchitel, Dalal Alrajeh, et al. · Computer Science - Research and Development · 15

Learning from Vacuously Satisfiable Scenario-Based Specifications

2012 · Dalal Alrajeh, Jeff Kramer, et al. · Lecture notes in computer science · 14

Risk-driven revision of requirements models

2016 · Dalal Alrajeh, Axel van Lamsweerde, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 12

Deriving non-Zeno behaviour models from goal models using ILP

2009 · D. Alrajeh, J. Kramer, et al. · Formal Aspects of Computing · 11

PDF

Adapting Specifications for Reactive Controllers

2023 · Titus Buckworth, Dalal Alrajeh, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 10

Combining experts' causal judgments

2020 · Dalal Alrajeh, Hana Chockler, et al. · Artificial Intelligence · 10

A Weakness Measure for GR(1) Formulae

2018 · Davide Giacomo Cavezza, Dalal Alrajeh, et al. · Lecture notes in computer science · 10

PDF

Inferring operational requirements from scenarios and goal models using inductive learning

2006 · Dalal Alrajeh, Alessandra Russo, et al. · 10