Dalal Alrajeh

63 papers A* 14A 2B 8Journal 23Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data-Dependent Goal Modeling for ML-Enabled Law Enforcement Systems.
CoRR
Dalal Alrajeh, Vesna Nowack, Patrick Benjamin, Katie Thomas, William Hobson, Carolina Gutierrez Muñoz, 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
2026 A* conf
Enhancing Binary Encoded Crime Linkage Analysis Using Siamese Network.
AAAI
Yicheng Zhan, Fahim Ahmed, Amy Burrell, Matthew J. Tonkin, Sarah Galambos, Jessica Woodhams, Dalal Alrajeh
2025 J jnl
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning.
CoRR
Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh, Francesco Belardinelli, Sebastián Uchitel
2025 — conf
Causal Detection in Linear Temporal Counterexamples.
SIGSOFT FSE Companion
Herong Meng, Dalal Alrajeh
2025 J jnl
Enhancing Binary Encoded Crime Linkage Analysis Using Siamese Network.
CoRR
Yicheng Zhan, Fahim Ahmed, Amy Burrell, Matthew J. Tonkin, Sarah Galambos, Jessica Woodhams, Dalal Alrajeh
2025 — conf
RNN Generalization to Omega-Regular Languages.
OVERLAY
Charles Pert, Dalal Alrajeh, Alessandra Russo
2025 J jnl
RNN Generalization to Omega-Regular Languages.
CoRR
Charles Pert, Dalal Alrajeh, Alessandra Russo
2025 A* conf
Reasoning About Actual Causality in Answer Set Programming.
KR
Daniel Özcan, Dalal Alrajeh, Robert Craven
2025 A conf
Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement.
EASE
Vesna Nowack, Dalal Alrajeh, Carolina Gutierrez Muñoz, Katie Thomas, William Hobson, Patrick Benjamin, Catherine Hamilton-Giachritsis, Tim Grant, Juliane A. Kloess, Jessica Woodhams
2025 J jnl
Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement.
CoRR
Vesna Nowack, Dalal Alrajeh, Carolina Gutierrez Muñoz, Katie Thomas, William Hobson, Catherine Hamilton-Giachritsis, Patrick Benjamin, Tim Grant, Juliane A. Kloess, Jessica Woodhams
2025 A* conf
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts.
ICSE
Francisco Cirelli, Dalal Alrajeh, Sebastián Uchitel
2025 — conf
Untangling Shared Phenomena for Improving Analysis of Normative Requirements.
MO2RE
Junwei Quan, Lina Marsso, Dalal Alrajeh, Marsha Chechik
2024 — conf
Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification.
DataMod
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 J jnl
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.
CoRR
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 J jnl
ω-regular Expression Synthesis from Transition-Based Büchi Automata.
CoRR
Charles Pert, Dalal Alrajeh, Alessandra Russo
2023 A conf
Adapting Specifications for Reactive Controllers.
SEAMS
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
2023 J jnl
RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care.
CoRR
Rakhilya Lee Mekhtieva, Brandon Forbes, Dalal Alrajeh, Brendan Delaney, Alessandra Russo
2022 B conf
Learning to Rank the Distinctiveness of Behaviour in Serial Offending.
LPNMR
Mark Law, Théophile Sautory, Ludovico Mitchener, Kari Davies, Matthew J. Tonkin, Jessica Woodhams, Dalal Alrajeh
2021 J jnl
A Weakness Measure for GR(1) Formulae.
Formal Aspects Comput.
Davide G. Cavezza, Dalal Alrajeh, András György
2021 A* conf
Adaptation
ASE
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
2020 A* conf
Adapting requirements models to varying environments.
ICSE
Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
2020 J jnl
Combining Experts' Causal Judgments.
CoRR
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020 J jnl
Combining experts' causal judgments.
Artif. Intell.
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020 A* conf
Learning Neural Search Policies for Classical Planning.
ICAPS
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2020 — conf
Minimal Assumptions Refinement for Realizable Specifications.
FormaliSE@ICSE
Davide G. Cavezza, Dalal Alrajeh, András György
2019 A* conf
Learning Classical Planning Strategies with Policy Gradient.
ICAPS
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
2019 J jnl
Learning Neural Search Policies for Classical Planning.
CoRR
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2019 J jnl
Minimal Assumptions Refinement for GR(1) Specifications.
CoRR
Davide G. Cavezza, Dalal Alrajeh, András György
2018 B conf
A Weakness Measure for GR(1) Formulae.
FM
Davide Giacomo Cavezza, Dalal Alrajeh, András György
2018 J jnl
A Weakness Measure for GR(1) Formulae.
CoRR
Davide G. Cavezza, Dalal Alrajeh, András György
2018 A* conf
Combining Experts' Causal Judgments.
AAAI
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2018 J jnl
Learning Classical Planning Strategies with Policy Gradient.
CoRR
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
2018 — conf
Logic-Based Learning: Theory and Application.
Machine Learning for Dynamic Software Analysis
Dalal Alrajeh, Alessandra Russo
2018 — conf
Towards forensic-ready software systems.
ICSE (NIER)
Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh, Awais Rashid
2017 — conf
Interpolation-Based GR(1) Assumptions Refinement.
TACAS (1)
Davide G. Cavezza, Dalal Alrajeh
2017 — conf
On evidence preservation requirements for forensic-ready systems.
ESEC/SIGSOFT FSE
Dalal Alrajeh, Liliana Pasquale, Bashar Nuseibeh
2017 — ed.
Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics, SERF@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017
SERF@ESEC/SIGSOFT FSE
Dalal Alrajeh, Liliana Pasquale
2017 J jnl
Towards learning domain-independent planning heuristics.
CoRR
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2016 A* conf
Goal-conflict detection based on temporal satisfiability checking.
ASE
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
2016 J jnl
Interpolation-Based GR(1) Assumptions Refinement.
CoRR
Davide G. Cavezza, Dalal Alrajeh
2016 — conf
Logic-based learning in software engineering.
ICSE (Companion Volume)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2016 A* conf
Risk-driven revision of requirements models.
ICSE
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2016 — conf
Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016).
RE Workshops
Dalal Alrajeh, Liliana Pasquale
2015 — conf
A Logic-Based Approach to Understanding Lone-Actor Terrorism.
ICLP (Technical Communications)
Dalal Alrajeh, Paul Gill
2015 J jnl
Automated support for diagnosis and repair.
Commun. ACM
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2014 B conf
Automated Error-Detection and Repair for Compositional Software Specifications.
SEFM
Dalal Alrajeh, Robert Craven
2014 A* conf
Automated goal operationalisation based on interpolation and SAT solving.
ICSE
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
2014 B conf
Inductive Learning Using Constraint-Driven Bias.
ILP
Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
2013 A* conf
Computational alignment of goals and scenarios for complex systems.
ICSE
Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak
2013 J jnl
Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2013 J jnl
Reasoning about Triggered Scenarios in Logic Programming.
Theory Pract. Log. Program.
Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
2013 J jnl
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev.
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
2012 A* conf
Generating obstacle conditions for requirements completeness.
ICSE
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
2012 B conf
Learning from Vacuously Satisfiable Scenario-Based Specifications.
FASE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2011 — conf
An Inductive Approach for Modal Transition System Refinement.
ICLP (Technical Communications)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2011 B conf
Integrating Model Checking and Inductive Logic Programming.
ILP
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2010 J jnl
Deriving non-Zeno behaviour models from goal models using ILP.
Formal Aspects Comput.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2009 A* conf
Learning operational requirements from goal models.
ICSE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2009 — —
Requirements Elaboration using Model Checking and Inductive Learning.
Dalal Alrajeh
2009 J jnl
Using abduction and induction for operational requirements elaboration.
J. Appl. Log.
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2008 B conf
Deriving Non-zeno Behavior Models from Goal Models Using ILP.
FASE
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
2006 B conf
Extracting Requirements from Scenarios with ILP.
ILP
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2006 — conf
Inferring operational requirements from scenarios and goal models using inductive learning.
SCESM
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel