Dalal Alrajeh

About Research Publications Teaching Service CV

To download any of the following, click on the title for a link to the pdf.
(If the link is greyed out, contact me for a copy.)
Also see my DBLP page.

• Adapting Specifications for Reactive Controllers
  Titus Buckworth, Dalal Alrajeh, Jeff Kramer and Sebastian Uchitel
  To appear in proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS23), 2023.
• 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
  In proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR22), 484–497, 2022.
• Adapting Specification Learners in Assured Adaptive Systems
  Dalal Alrajeh, Patrick Benjamin and Sebastian Uchitel
  In proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering New Ideas and Emerging Results (NIER@ASE21), 1347–1352, 2021.
• A Weakness Measure for GR(1) Formulae
  Davide Cavezza, Dalal Alrajeh, Andras Gyorgy
  In Formal Aspects of Computing, 2021.
• Combining Experts’ Causal Judgments
  Dalal Alrajeh, Hana Chockler and Joe Halpern
  In Artificial Intelligence (AIJ), 2020.
• Adapting Requirements Models to Varying Environments.
  Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde.
  In proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 2020.
• Learning Neural Search Policies for Classical Planning.
  Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo.
  In proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), 2020.
• Minimal Assumptions Refinement for Realizable Specifications.
  Davide Giacomo Cavezza, Dalal Alrajeh, András György.
  In proceedings of the 8th International Conference on Formal Methods in Software Engineering (Formalise'20), 2020.
• The Problem with Crime Problem-Solving: Towards a Second Generation POP.
  Herve Borrion, Paul Ekblom, Dalal Alrajeh, Aiduan Li Borrion, Aidan Keane, Daniel Koch, Timothy Mitchener-Nissen, Sonia Toubaline. The British Journal of Criminology, Volume 60, Issue 1, January 2020, 219–240.
• Learning Classical Planning Strategies with Policy Gradient.
  Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo.
  In proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), 2019.
• Logic-Based Learning: Theory and Application
  Dalal Alrajeh and Alessandra Russo
  Chapter in Machine Learning for Dynamic Software Analysis: Potentials and Limits, Dagstuhl, 2018.
• A Weakness Measure for GR(1) Formulae
  Davide Cavezza, Dalal Alrajeh, Andras Gyorgy
  In Proceedings of 22nd International Symposium on Formal Methods (FM'18), 2018.
• Towards Forensic-Ready Software Systems
  Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh and Awais Rashid
  To appear in Proceedings of 40th ICSE New Ideas and Emerging Results (NIER'18), ACM, 2018.
• Combining Experts’ Causal Judgments
  Dalal Alrajeh, Hana Chockler and Joe Halpern
  In Proceedings of 32nd AAAI Conference on Artificial Intelligence (AAAI'18), 2018. (extended version here)
• A Non-monotonic Theory of Oracle-guided Inductive Synthesis
  Dalal Alrajeh, Susmit Jha and Sanjit Seshia
  First Workshop on Learning in Verification (ETAPS LiVe'17), 2017.
• Interpolation-Based GR(1) Assumptions Refinement (extended version)
  Davide G. Cavezza and Dalal Alrajeh
  In Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Springer, 2017.
• Towards learning domain-independent planning heuristics
  Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo and Antonio Bucchiarone
  In Proceedings of International Workshop on Architectures for Generality & Autonomy (IJCAI AGA'17) , 2017.
• Goal-Conflicts Detection based on Temporal Satisfiability Checking
  Renzo Degiovanni, Nicolas Ricci, Dalal Alrajeh, Pablo F. Castro and Nazareno Aguirre
  In Proceedings of 30th International Conference on Automated Software Engineering (ASE'16), 2016.
• Logic-based Learning in Software Engineering
  Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel and Jeff Kramer
  ICSE'16 Companion Volume, 2016.
  
• Risk-Driven Revision of Requirements Models
  Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  In Proceedings of 38th IEEE/ACM International Conference on Software Engineering (ICSE'16), 2016.
• A Logic-based Approach to Understanding Lone-actor Terrorism
  Dalal Alrajeh and Paul Gill
  In Proceedings of 31st International Conference on Logic Programming (ICLP15), 2015.
• Automated Support for Diagnosis and Repair
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  Communications of the ACM, 2015.
• Learning through Constraint-driven Bias
  Duangtida Athakravi, Dalal Alrajeh, Alessandra Russo, Krysia Broda and Ken Satoh
  In Proceedings of 24th International Conference on Inductive Logic Programming (ILP'14), 2014.
• Automated Error-Detection and Repair for Compositional Software Specifications
  Dalal Alrajeh and Robert Craven
  In Proceedings of 12th International Conference on Software Engineering and Formal Methods (SEFM'14), 2014.
• Automated Goal Operationalisation based on Interpolation and SAT Solving
  Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre and Sebastian Uchitel
  In Proceedings of 36th International Conference on Software Engineering (ICSE'14), 2014.
• Reasoning about Triggered Scenarios in Logic Programming
  Dalal Alrajeh, Rob Miller, Alessandra Russo and Sebastian Uchitel
  In Proceedings of 29th International Conference on Logic Programming (ICLP'13), 2013.
• Elaborating Requirements using Model Checking and Inductive Learning
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  IEEE Transactions on Software Engineering, 39(3) 2013.
• Supporting incremental behaviour model elaboration
  Sebastian Uchitel, Dalal Alrajeh et al.
  Computer Science–Research and Development, 28(4) 2013.
• Computational Alignment of Goals and Scenarios for Complex Systems
  Dalal Alrajeh et al.
  In Proceedings of 35th International Conference on Software Engineering (ICSE'13), 2013.
• Generating Obstacle Conditions for Requirements Completeness
  Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo and Sebastian Uchitel
  In Proceedings of 34th International Conference on Software Engineering (ICSE'12), 2012.
• Learning from Vacuously Satisfiable Scenario-based Specifications
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  In Proceedings of 15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), 2012.
• Integrating Model Checking and Inductive Logic Programming
  Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel and Jeff Kramer
  In Proceedings of 31st International Conference on Inductive Logic Programming (ILP'11), 2011.
• An Inductive Approach for Modal Transition Systems Refinement
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  In Proceedings of the Technical Communications of 27th International Conference on Logic Programming (ICLP'11), 2011.
• Requirements Elaboration using Model Checking and Inductive Learning
  Dalal Alrajeh
  PhD Thesis, Imperial College London, 2010.
  
• Deriving Non-Zeno Behaviour Models from Goal Models using ILP
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel
  Formal Aspects of Computing, 22(3-4) 2010.
• Learning Operational Requirements from Goal Models
  Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
  In Proceedings of 31st International Conference on Software Engineering (ICSE'09), 2009.
• Using abduction and induction for operational requirements elaboration
  Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel
  Journal of Applied Logic, 7(3) 2009.
• Deriving Non-Zeno Behavior Models from Goal Models Using ILP
  Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel
  In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE'08), 2008.
• Using Abduction and Induction for Operational Requirements Elaboration
  Dalal Alrajeh, Oliver Ray, Alessandra Russo and Sebastian Uchitel
  In Proceedings of International Workshop on the Integration of Abduction and Induction in AI and Bioinformatics, 2007.
• Extracting Requirements from Scenarios with ILP
  Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel
  In Proceedings of 16th International Conference on Inductive Logic Programming (ILP'06), 2006.
• Inferring operational requirements from scenarios and goal models using inductive learning
  Dalal Alrajeh, Alessandra Russo and Sebastian Uchitel
  In Proceedings of 5th International workshop on scenarios and state machines (SCESM'06), 2006.