Dalal Alrajeh

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 30

Top Venues

CoRR

ICSE

ASE

ICAPS

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Charles Pert, Dalal Alrajeh, Alessandra Russo
ω-regular Expression Synthesis from Transition-Based Büchi Automata. CoRR (2024)
Rakhilya Lee Mekhtieva, Brandon Forbes, Dalal Alrajeh, Brendan Delaney, Alessandra Russo
RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care. CoRR (2023)
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
Adapting Specifications for Reactive Controllers. SEAMS (2023)
Mark Law, Théophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams, Dalal Alrajeh
Learning to Rank the Distinctiveness of Behaviour in Serial Offending. LPNMR (2022)
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
: Adapting Specification Learners in Assured Adaptive Systems. ASE (2021)
Davide G. Cavezza, Dalal Alrajeh, András György
A Weakness Measure for GR(1) Formulae. Formal Aspects Comput. 33 (1) (2021)
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
Learning Neural Search Policies for Classical Planning. ICAPS (2020)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining experts' causal judgments. Artif. Intell. 288 (2020)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining Experts' Causal Judgments. CoRR (2020)
Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
Adapting requirements models to varying environments. ICSE (2020)
Davide G. Cavezza, Dalal Alrajeh, András György
Minimal Assumptions Refinement for Realizable Specifications. FormaliSE@ICSE (2020)
Davide G. Cavezza, Dalal Alrajeh, András György
Minimal Assumptions Refinement for GR(1) Specifications. CoRR (2019)
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
Learning Classical Planning Strategies with Policy Gradient. ICAPS (2019)
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
Learning Neural Search Policies for Classical Planning. CoRR (2019)
Davide G. Cavezza, Dalal Alrajeh, András György
A Weakness Measure for GR(1) Formulae. CoRR (2018)
Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh, Awais Rashid
Towards forensic-ready software systems. ICSE (NIER) (2018)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining Experts' Causal Judgments. AAAI (2018)
Davide Giacomo Cavezza, Dalal Alrajeh, András György
A Weakness Measure for GR(1) Formulae. FM (2018)
Dalal Alrajeh, Alessandra Russo
Logic-Based Learning: Theory and Application. Machine Learning for Dynamic Software Analysis (2018)
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
Learning Classical Planning Strategies with Policy Gradient. CoRR (2018)
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
Towards learning domain-independent planning heuristics. CoRR (2017)
Dalal Alrajeh, Liliana Pasquale, Bashar Nuseibeh
On evidence preservation requirements for forensic-ready systems. ESEC/SIGSOFT FSE (2017)
Davide G. Cavezza, Dalal Alrajeh
Interpolation-Based GR(1) Assumptions Refinement. TACAS (1) (2017)
Dalal Alrajeh, Liliana Pasquale
Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016). RE Workshops (2016)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Logic-based learning in software engineering. ICSE (Companion Volume) (2016)
Davide G. Cavezza, Dalal Alrajeh
Interpolation-Based GR(1) Assumptions Refinement. CoRR (2016)
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
Goal-conflict detection based on temporal satisfiability checking. ASE (2016)
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Risk-driven revision of requirements models. ICSE (2016)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Automated support for diagnosis and repair. Commun. ACM 58 (2) (2015)
Dalal Alrajeh, Paul Gill
A Logic-Based Approach to Understanding Lone-Actor Terrorism. ICLP (Technical Communications) (2015)
Dalal Alrajeh, Robert Craven
Automated Error-Detection and Repair for Compositional Software Specifications. SEFM (2014)
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
Automated goal operationalisation based on interpolation and SAT solving. ICSE (2014)
Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
Inductive Learning Using Constraint-Driven Bias. ILP (2014)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39 (3) (2013)
Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
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
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak
Computational alignment of goals and scenarios for complex systems. ICSE (2013)
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
Generating obstacle conditions for requirements completeness. ICSE (2012)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE (2012)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Integrating Model Checking and Inductive Logic Programming. ILP (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. 22 (3-4) (2010)
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7 (3) (2009)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning operational requirements from goal models. ICSE (2009)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE (2008)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
Inferring operational requirements from scenarios and goal models using inductive learning. SCESM (2006)
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
Extracting Requirements from Scenarios with ILP. ILP (2006)

Dalal Alrajeh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dalal Alrajeh