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.