Extracting Requirements from Scenarios with ILP. - Dalal Alrajeh; Oliver Ray; Alessandra Russo; Sebastián Uchitel (ILP, 2006)

Inferring operational requirements from scenarios and goal models using inductive learning. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel (SCESM, 2006)

Deriving Non-zeno Behavior Models from Goal Models Using ILP. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel (FASE, 2008)

Learning operational requirements from goal models. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICSE, 2009)

Using abduction and induction for operational requirements elaboration. - Dalal Alrajeh; Oliver Ray; Alessandra Russo; Sebastián Uchitel (J. Appl. Log., 2009)

Requirements Elaboration using Model Checking and Inductive Learning. - Dalal Alrajeh (2009)

Deriving non-Zeno behaviour models from goal models using ILP. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (Formal Aspects Comput., 2010)

An Inductive Approach for Modal Transition System Refinement. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICLP (Technical Communications), 2011)

Integrating Model Checking and Inductive Logic Programming. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel; Jeff Kramer (ILP, 2011)

Learning from Vacuously Satisfiable Scenario-Based Specifications. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (FASE, 2012)

Generating obstacle conditions for requirements completeness. - Dalal Alrajeh; Jeff Kramer; Axel van Lamsweerde; Alessandra Russo; Sebastián Uchitel (ICSE, 2012)

Computational alignment of goals and scenarios for complex systems. - Dalal Alrajeh; Alessandra Russo; James Lockerbie; Neil A. M. Maiden; Alistair Mavin; Mark Novak (ICSE, 2013)

Supporting incremental behaviour model elaboration. - Sebastián Uchitel; Dalal Alrajeh; Shoham Ben-David; Víctor A. Braberman; Marsha Chechik; Guido de Caso; Nicolás D'Ippolito; Dario Fischbein; Diego Garbervetsky; Jeff Kramer; Alessandra Russo; German E. Sibay (Comput. Sci. Res. Dev., 2013)

Reasoning about Triggered Scenarios in Logic Programming. - Dalal Alrajeh; Rob Miller 002; Alessandra Russo; Sebastián Uchitel (Theory Pract. Log. Program., 2013)

Elaborating Requirements Using Model Checking and Inductive Learning. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (IEEE Trans. Software Eng., 2013)

Automated goal operationalisation based on interpolation and SAT solving. - Renzo Degiovanni; Dalal Alrajeh; Nazareno Aguirre; Sebastián Uchitel (ICSE, 2014)

Inductive Learning Using Constraint-Driven Bias. - Duangtida Athakravi; Dalal Alrajeh; Krysia Broda; Alessandra Russo; Ken Satoh (ILP, 2014)

Automated Error-Detection and Repair for Compositional Software Specifications. - Dalal Alrajeh; Robert Craven (SEFM, 2014)

A Logic-Based Approach to Understanding Lone-Actor Terrorism. - Dalal Alrajeh; Paul Gill (ICLP (Technical Communications), 2015)

Automated support for diagnosis and repair. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (Commun. ACM, 2015)

Risk-driven revision of requirements models. - Dalal Alrajeh; Axel van Lamsweerde; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICSE, 2016)

Logic-based learning in software engineering. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel; Jeff Kramer (ICSE (Companion Volume), 2016)

Goal-conflict detection based on temporal satisfiability checking. - Renzo Degiovanni; Nicolás Ricci; Dalal Alrajeh; Pablo F. Castro; Nazareno Aguirre (ASE, 2016)

Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016). - Dalal Alrajeh; Liliana Pasquale (RE Workshops, 2016)

On evidence preservation requirements for forensic-ready systems. - Dalal Alrajeh; Liliana Pasquale; Bashar Nuseibeh (ESEC/SIGSOFT FSE, 2017)

Interpolation-Based GR(1) Assumptions Refinement. - Davide G. Cavezza; Dalal Alrajeh (TACAS (1), 2017)

Towards learning domain-independent planning heuristics. - Pawel Gomoluch; Dalal Alrajeh; Alessandra Russo; Antonio Bucchiarone (CoRR, 2017)

Logic-Based Learning: Theory and Application. - Dalal Alrajeh; Alessandra Russo (Machine Learning for Dynamic Software Analysis, 2018)

Towards forensic-ready software systems. - Liliana Pasquale; Dalal Alrajeh; Claudia Peersman; Thein Than Tun; Bashar Nuseibeh; Awais Rashid (ICSE (NIER), 2018)

Learning Classical Planning Strategies with Policy Gradient. - Pawel Gomoluch; Dalal Alrajeh; Alessandra Russo (ICAPS, 2019)

Minimal Assumptions Refinement for GR(1) Specifications. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (CoRR, 2019)

Learning Neural Search Policies for Classical Planning. - Pawel Gomoluch; Dalal Alrajeh; Alessandra Russo; Antonio Bucchiarone (ICAPS, 2020)

Adapting requirements models to varying environments. - Dalal Alrajeh; Antoine Cailliau; Axel van Lamsweerde (ICSE, 2020)

Minimal Assumptions Refinement for Realizable Specifications. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (FormaliSE@ICSE, 2020)

Combining experts' causal judgments. - Dalal Alrajeh; Hana Chockler; Joseph Y. Halpern (Artif. Intell., 2020)

Adaptation2: Adapting Specification Learners in Assured Adaptive Systems. - Dalal Alrajeh; Patrick Benjamin; Sebastián Uchitel (ASE, 2021)

A Weakness Measure for GR(1) Formulae. - Davide G. Cavezza; Dalal Alrajeh; András György 001 (Formal Aspects Comput., 2021)

Learning to Rank the Distinctiveness of Behaviour in Serial Offending. - Mark Law; Théophile Sautory; Ludovico Mitchener; Kari Davies; Matthew Tonkin; Jessica Woodhams; Dalal Alrajeh (LPNMR, 2022)

Adapting Specifications for Reactive Controllers. - Titus Buckworth; Dalal Alrajeh; Jeff Kramer; Sebastián Uchitel (SEAMS, 2023)

RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care. - Rakhilya Lee Mekhtieva; Brandon Forbes; Dalal Alrajeh; Brendan Delaney; Alessandra Russo (CoRR, 2023)

Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. - Roberto Metere; Kangfeng Ye; Yue Gu; Zhi Zhang; Dalal Alrajeh; Michele Sevegnani; Poonam Yadav (DataMod, 2024)

ω-regular Expression Synthesis from Transition-Based Büchi Automata. - Charles Pert; Dalal Alrajeh; Alessandra Russo (CoRR, 2024)

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. - Roberto Metere; Kangfeng Ye; Yue Gu; Zhi Zhang; Dalal Alrajeh; Michele Sevegnani; Poonam Yadav (CoRR, 2024)

Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts. - Francisco Cirelli; Dalal Alrajeh; Sebastián Uchitel (ICSE, 2025)

Untangling Shared Phenomena for Improving Analysis of Normative Requirements. - Junwei Quan; Lina Marsso; Dalal Alrajeh; Marsha Chechik (MO2RE, 2025)

Causal Detection in Linear Temporal Counterexamples. - Herong Meng; Dalal Alrajeh (SIGSOFT FSE Companion, 2025)

Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement. - Vesna Nowack; Dalal Alrajeh; Carolina Gutierrez Muñoz; Katie Thomas; William Hobson; Catherine Hamilton-Giachritsis; Patrick Benjamin; Tim Grant 002; Juliane A. Kloess; Jessica Woodhams (CoRR, 2025)