Dalal Alrajeh

Associate Professor (Reader) · Department of Computing, Imperial College London

About Research Publications Teaching Service

See also my DBLP page.

2026

• Transition-Based Acceptance for ω-Regular Expression Synthesis
  C. Pert, D. Alrajeh and A. Russo
  Formal Aspects of Computing 38(3), 2026. arXiv preprint Journal
• A Model for Mediating Multi-Modal Human Intent into Safe Maneuvers for UAVs
  S. Nelson, D. Alrajeh, P. Alarcon Granadeno and J. Cleland-Huang
  IEEE International Requirements Engineering Conference Workshops (REW), 2026. arXiv Workshop
• Learning to Adapt GR(1) Specifications through Degradation
  T. Georgescu, D. Alrajeh and S. Uchitel
  arXiv:2609.12231, 2026. arXiv Preprint
• Length Generalization with Log-Depth Recurrent Units
  C. Pert, D. Alrajeh and A. Russo
  arXiv:2605.26035, 2026. arXiv Preprint
• Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
  T. Georgescu, A. W. Goodall, D. Alrajeh, F. Belardinelli and S. Uchitel
  International Conference on Neural-Symbolic Learning and Reasoning (NeSy), 2026. arXiv Conference
• How Analysts Use AI in High-Stakes Crime Linkage: An Industrial Study
  J. Woodhams, A. Burrell, W. Li, F. Ahmed, M. Tonkin, J. Lemeire, A. Konovalov, S. Frisson, M. Webb, S. Galambos, V. Nowack and D. Alrajeh
  ACM International Conference on the Foundations of Software Engineering (FSE), Industry Papers track, 2026. arXiv FSE page Conference
• Data-Dependent Goal Modeling for ML-Enabled Law Enforcement Systems
  D. Alrajeh, V. Nowack, P. Benjamin, K. Thomas, W. Hobson, C. Gutierrez Muñoz, C. Hamilton-Giachritsis, J. A. Kloess, J. Woodhams, D. Butler, M. Law, R. Morton, B. Costello, A. Burrell, T. Grant, P. Shah, F. A. Laureano De Leon and M. Lee
  IEEE/ACM International Conference on Software Engineering (ICSE), Software Engineering in Society track, 2026. arXiv ICSE page Conference
• Enhancing Binary Encoded Crime Linkage Analysis Using Siamese Network
  Y. Zhan, F. Ahmed, A. Burrell, M. Tonkin, S. Galambos, J. Woodhams and D. Alrajeh
  AAAI Conference on Artificial Intelligence (AAAI), 2026. arXiv Conference

2025

• Building the Statistical Evidence Base for Crime Linkage Decision-Support Tools with Sexual Offences
  M. Tonkin, J. Lemeire, J. Woodhams, D. Alrajeh, M. Webb, S. Galambos, H. Smailes and A. Burrell
  Journal of Quantitative Criminology, 2025. Journal
• Reasoning about Actual Causality in Answer Set Programming
  D. Özcan, D. Alrajeh and R. Craven
  International Conference on Principles of Knowledge Representation and Reasoning (KR), 2025. PDF KR page Conference
• Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts
  F. Cirelli, D. Alrajeh and S. Uchitel
  IEEE/ACM International Conference on Software Engineering (ICSE), 2025. Conference
• Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement
  V. Nowack, D. Alrajeh, C. Gutierrez Muñoz, K. Thomas, W. Hobson, P. Benjamin, C. Hamilton-Giachritsis, T. Grant, J. Kloess and J. Woodhams
  International Conference on Evaluation and Assessment in Software Engineering (EASE), 2025. arXiv Conference
• Reachability Specification Adaptation for Continuous Dynamical Systems
  Z. Zhang, D. Alrajeh, Y. Gu, R. Metere, M. Sevegnani, K. Ye and P. Yadav
  International Symposium From Data to Models and Back (DataMod), 2025. Conference
• RNN Generalization to Omega-Regular Languages
  C. Pert, D. Alrajeh and A. Russo
  OVERLAY Workshop, co-located with ECAI, 2025. arXiv Workshop
• Causal Detection in Linear Temporal Counterexamples
  H. Meng and D. Alrajeh
  Workshop on Causal Methods in Software Engineering, co-located with FSE, 2025. Workshop
• Untangling Shared Phenomena for Improving Analysis of Normative Requirements
  J. Quan, L. Marsso, D. Alrajeh and M. Chechik
  MO2RE Workshop, co-located with ICSE, 2025. Workshop

2024

• Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification
  R. Metere, K. Ye, Y. Gu, Z. Zhang, D. Alrajeh, M. Sevegnani and P. Yadav
  International Symposium From Data to Models and Back (DataMod), 2024. arXiv Conference
• Revising Goal Oriented Requirements Engineering from a Control Perspective
  D. Alrajeh and S. Uchitel
  Software Engineering in 2030 Workshop, co-located with FSE, 2024. Workshop

2023

• Adapting Specifications for Reactive Controllers
  T. Buckworth, D. Alrajeh, J. Kramer and S. Uchitel
  Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023. Conference
• RECAP-KG: Mining Knowledge Graphs from Raw Primary Care Physician Notes for Remote COVID-19 Assessment in Primary Care
  R. Mekhtieva, B. Forbes, D. Alrajeh, B. Delaney and A. Russo
  AMIA Annual Symposium, 2023. arXiv Conference

2022

• Learning to Rank the Distinctiveness of Behaviour in Serial Offending
  M. Law, T. Sautory, L. Mitchener, K. Davies, M. Tonkin, J. Woodhams and D. Alrajeh
  International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2022. Conference

2021

• A Weakness Measure for GR(1) Formulae
  D. Cavezza, D. Alrajeh and A. György
  Formal Aspects of Computing 33(1), 2021. Journal
• Adaptation²: Adapting Specification Learners in Assured Adaptive Systems
  D. Alrajeh, P. Benjamin and S. Uchitel
  IEEE/ACM International Conference on Automated Software Engineering (ASE), NIER track, 2021. Conference

2020

• Combining Experts' Causal Judgments
  D. Alrajeh, H. Chockler and J. Halpern
  Artificial Intelligence 288, 2020. arXiv Journal
• The Problem with Crime Problem-Solving: Towards a Second Generation POP
  H. Borrion, P. Ekblom, D. Alrajeh, A. L. Borrion, A. Keane, D. Koch, T. Mitchener-Nissen and S. Toubaline
  The British Journal of Criminology 60(1), 2020. Journal
• Adapting Requirements Models to Varying Environments
  D. Alrajeh, A. Cailliau and A. van Lamsweerde
  IEEE/ACM International Conference on Software Engineering (ICSE), 2020. Conference
• Minimal Assumptions Refinement for Realizable Specifications
  D. Cavezza, D. Alrajeh and A. György
  International Conference on Formal Methods in Software Engineering (FormaliSE), 2020. arXiv Conference
• Learning Neural Search Policies for Classical Planning
  P. Gomoluch, D. Alrajeh, A. Russo and A. Bucchiarone
  International Conference on Automated Planning and Scheduling (ICAPS), 2020. arXiv Conference

2019

• Learning Classical Planning Strategies with Policy Gradient
  P. Gomoluch, D. Alrajeh and A. Russo
  International Conference on Automated Planning and Scheduling (ICAPS), 2019. arXiv Conference

2018

• Combining Experts' Causal Judgments
  D. Alrajeh, H. Chockler and J. Halpern
  AAAI Conference on Artificial Intelligence (AAAI), 2018. (extended version) Conference
• A Weakness Measure for GR(1) Formulae
  D. Cavezza, D. Alrajeh and A. György
  International Symposium on Formal Methods (FM), 2018. arXiv Conference
• Towards Forensic-Ready Software Systems
  L. Pasquale, D. Alrajeh, C. Peersman, T. T. Tun, A. Rashid and B. Nuseibeh
  IEEE/ACM International Conference on Software Engineering (ICSE), NIER track, 2018. Conference
• Logic-Based Learning: Theory and Application
  D. Alrajeh and A. Russo
  In A. Bennaceur, R. Hähnle and K. Meinke (eds), Machine Learning for Dynamic Software Analysis: Potentials and Limits, Springer, 2018. Book chapter

2017

• On Evidence Preservation Requirements for Forensic-Ready Systems
  D. Alrajeh, L. Pasquale and B. Nuseibeh
  ESEC/FSE, 2017. Conference
• Interpolation-Based GR(1) Assumptions Refinement
  D. Cavezza and D. Alrajeh
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017. arXiv Conference
• Towards Learning Domain-Independent Planning Heuristics
  P. Gomoluch, D. Alrajeh, A. Russo and A. Bucchiarone
  Workshop on Architectures for Generality and Autonomy, co-located with IJCAI, 2017. arXiv Workshop
• A Non-monotonic Theory of Oracle-guided Inductive Synthesis
  D. Alrajeh, S. Jha and S. Seshia
  First Workshop on Learning in Verification (LiVe), ETAPS, 2017. Workshop

2016

• Risk-Driven Revision of Requirements Models
  D. Alrajeh, A. van Lamsweerde, J. Kramer, A. Russo and S. Uchitel
  IEEE/ACM International Conference on Software Engineering (ICSE), 2016. Conference
• Goal-Conflicts Detection based on Temporal Satisfiability Checking
  R. Degiovanni, N. Ricci, D. Alrajeh, P. F. Castro and N. Aguirre
  IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016. Conference
• Logic-based Learning in Software Engineering
  D. Alrajeh, A. Russo, S. Uchitel and J. Kramer
  Technical briefing, ICSE Companion Volume, 2016. Other

2015

• Automated Support for Diagnosis and Repair
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  Communications of the ACM 58(2), 2015. Journal
• A Logic-based Approach to Understanding Lone-actor Terrorism
  D. Alrajeh and P. Gill
  International Conference on Logic Programming (ICLP), Technical Communications, 2015. Conference
• Inductive Learning Using Constraint-Driven Bias
  D. Athakravi, D. Alrajeh, K. Broda, A. Russo and K. Satoh
  International Conference on Inductive Logic Programming (ILP 2014), 2015. Conference

2014

• Automated Error-Detection and Repair for Compositional Software Specifications
  D. Alrajeh and R. Craven
  International Conference on Software Engineering and Formal Methods (SEFM), 2014. Conference
• Automated Goal Operationalisation Based on Interpolation and SAT Solving
  R. Degiovanni, D. Alrajeh, N. Aguirre and S. Uchitel
  IEEE/ACM International Conference on Software Engineering (ICSE), 2014. Conference

2013

• Elaborating Requirements Using Model Checking and Inductive Learning
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  IEEE Transactions on Software Engineering 39(3), 2013. Journal
• Supporting Incremental Behaviour Model Elaboration
  S. Uchitel, D. Alrajeh, S. Ben-David, V. Braberman, M. Chechik, G. De Caso, N. D'Ippolito, D. Fischbein, D. Garbervetsky, J. Kramer, A. Russo and G. Sibay
  Computer Science – Research and Development 28(4), 2013. Journal
• Reasoning about Triggered Scenarios in Logic Programming
  D. Alrajeh, R. Miller, A. Russo and S. Uchitel
  Theory and Practice of Logic Programming 13(4–5), ICLP Technical Communications, 2013. Journal
• Computational Alignment of Goals and Scenarios for Complex Systems
  D. Alrajeh, A. Russo, J. Lockerbie, N. Maiden, A. Mavin and M. Novak
  IEEE/ACM International Conference on Software Engineering (ICSE), NIER track, 2013. Conference

2012

• Generating Obstacle Conditions for Requirements Completeness Best paper shortlist
  D. Alrajeh, J. Kramer, A. van Lamsweerde, A. Russo and S. Uchitel
  IEEE/ACM International Conference on Software Engineering (ICSE), 2012. Conference
• Learning from Vacuously Satisfiable Scenario-based Specifications Best paper shortlist
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  Fundamental Approaches to Software Engineering (FASE), 2012. Conference

2011

• Integrating Model Checking and Inductive Logic Programming
  D. Alrajeh, A. Russo, S. Uchitel and J. Kramer
  International Conference on Inductive Logic Programming (ILP), 2011. Conference
• An Inductive Approach for Modal Transition System Refinement
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  International Conference on Logic Programming (ICLP), Technical Communications, 2011. Conference

2010

• Deriving Non-zeno Behaviour Models from Goal Models using ILP
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  Formal Aspects of Computing 22(3–4), 2010. Journal
• Requirements Elaboration using Model Checking and Inductive Learning
  D. Alrajeh
  PhD thesis, Imperial College London, 2010. PhD thesis

2009

• Using Abduction and Induction for Operational Requirements Elaboration
  D. Alrajeh, O. Ray, A. Russo and S. Uchitel
  Journal of Applied Logic 7(3), 2009. Journal
• Learning Operational Requirements from Goal Models
  D. Alrajeh, J. Kramer, A. Russo and S. Uchitel
  IEEE/ACM International Conference on Software Engineering (ICSE), 2009. Conference

2008

• Deriving Non-zeno Behaviour Models from Goal Models using ILP
  D. Alrajeh, A. Russo and S. Uchitel
  Fundamental Approaches to Software Engineering (FASE), 2008. Conference

2007

• Using Abduction and Induction for Operational Requirements Elaboration
  D. Alrajeh, O. Ray, A. Russo and S. Uchitel
  Workshop on Abduction and Induction in AI and Scientific Modelling (AIAI), 2007. Workshop

2006

• Extracting Requirements from Scenarios with ILP
  D. Alrajeh, O. Ray, A. Russo and S. Uchitel
  International Conference on Inductive Logic Programming (ILP), 2006. Conference
• Inferring Operational Requirements from Scenarios and Goal Models using Inductive Learning
  D. Alrajeh, A. Russo and S. Uchitel
  Workshop on Scenarios and State Machines (SCESM), co-located with ICSE, 2006. Workshop

© Dalal Alrajeh · Department of Computing, Imperial College London