Dalal Alrajeh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
13
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Enhancing Binary Encoded Crime Linkage Analysis Using Siamese Network. | Yicheng Zhan, Fahim Ahmed, Amy Burrell, Matthew J. Tonkin, Sarah Galambos, Jessica Woodhams, Dalal Alrajeh |
| 2026 | ICSE | Data-Dependent Goal modeling for ML-Enabled Law Enforcement Systems. | Dalal Alrajeh, Vesna Nowack, Patrick Benjamin, Katie Thomas, William Hobson, Carolina Gutierrez Muoz, Catherine Hamilton-Giachritsis, Juliane A. Kloess, Jessica Woodhams, Daniel Butler, Mark Law, Ralph Morton, Benjamin Costello, Amy Burrell, Tim D. Grant, Prachiben Shah, Frances Adriana Laureano de Leon, Mark Lee |
| 2025 | EASE | Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement. | Vesna Nowack, Dalal Alrajeh, Carolina Gutierrez Muoz, Katie Thomas, William Hobson, Patrick Benjamin, Catherine Hamilton-Giachritsis, Tim Grant, Juliane A. Kloess, Jessica Woodhams |
| 2025 | ICSE | Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts. | Francisco Cirelli, Dalal Alrajeh, Sebastin Uchitel |
| 2025 | KR | Reasoning About Actual Causality in Answer Set Programming. | Daniel zcan, Dalal Alrajeh, Robert Craven |
| 2023 | SEAMS | Adapting Specifications for Reactive Controllers. | Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastin Uchitel |
| 2022 | LPNMR | Learning to Rank the Distinctiveness of Behaviour in Serial Offending. | Mark Law, Thophile Sautory, Ludovico Mitchener, Kari Davies, Matthew J. Tonkin, Jessica Woodhams, Dalal Alrajeh |
| 2020 | ICSE | Adapting requirements models to varying environments. | Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde |
| 2020 | ICSE | Minimal Assumptions Refinement for Realizable Specifications. | Davide G. Cavezza, Dalal Alrajeh, Andrs Gyrgy |
| 2018 | AAAI | Combining Experts' Causal Judgments. | Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern |
| 2018 | FM | A Weakness Measure for GR(1) Formulae. | Davide Giacomo Cavezza, Dalal Alrajeh, Andrs Gyrgy |
| 2018 | ICSE | Towards forensic-ready software systems. | Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh, Awais Rashid |
| 2017 | TACAS | Interpolation-Based GR(1) Assumptions Refinement. | Davide G. Cavezza, Dalal Alrajeh |
| 2016 | ICSE | Risk-driven revision of requirements models. | Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2016 | ICSE | Logic-based learning in software engineering. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2016 | RE | Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016). | Dalal Alrajeh, Liliana Pasquale |
| 2015 | ICLP | A Logic-Based Approach to Understanding Lone-Actor Terrorism. | Dalal Alrajeh, Paul Gill |
| 2014 | ILP | Inductive Learning Using Constraint-Driven Bias. | Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh |
| 2014 | ICSE | Automated goal operationalisation based on interpolation and SAT solving. | Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastin Uchitel |
| 2014 | SEFM | Automated Error-Detection and Repair for Compositional Software Specifications. | Dalal Alrajeh, Robert Craven |
| 2013 | ICSE | Computational alignment of goals and scenarios for complex systems. | Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak |
| 2012 | FASE | Learning from Vacuously Satisfiable Scenario-Based Specifications. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2012 | ICSE | Generating obstacle conditions for requirements completeness. | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastin Uchitel |
| 2011 | ICLP | An Inductive Approach for Modal Transition System Refinement. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2011 | ILP | Integrating Model Checking and Inductive Logic Programming. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2009 | ICSE | Learning operational requirements from goal models. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2008 | FASE | Deriving Non-zeno Behavior Models from Goal Models Using ILP. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel |
| 2006 | ILP | Extracting Requirements from Scenarios with ILP. | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastin Uchitel |