default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDalal Alrajeh
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i9]Charles Pert, Dalal Alrajeh, Alessandra Russo:
ω-regular Expression Synthesis from Transition-Based Büchi Automata. CoRR abs/2406.08136 (2024)- 2023
- [c30]Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel:
Adapting Specifications for Reactive Controllers. SEAMS 2023: 1-12 - [i8]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 abs/2306.17175 (2023) - 2022
- [c29]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: 484-497 - 2021
- [j8]Davide G. Cavezza
, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. Formal Aspects Comput. 33(1): 27-63 (2021) - [c28]Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel:
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems. ASE 2021: 1347-1352 - 2020
- [j7]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [c27]Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone:
Learning Neural Search Policies for Classical Planning. ICAPS 2020: 522-530 - [c26]Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde:
Adapting requirements models to varying environments. ICSE 2020: 50-61 - [c25]Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for Realizable Specifications. FormaliSE@ICSE 2020: 66-76 - [i7]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020)
2010 – 2019
- 2019
- [c24]Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo:
Learning Classical Planning Strategies with Policy Gradient. ICAPS 2019: 637-645 - [i6]Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs/1910.05558 (2019) - [i5]Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone:
Learning Neural Search Policies for Classical Planning. CoRR abs/1911.12200 (2019) - 2018
- [c23]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318 - [c22]Dalal Alrajeh, Alessandra Russo:
Logic-Based Learning: Theory and Application. Machine Learning for Dynamic Software Analysis 2018: 219-256 - [c21]Davide Giacomo Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. FM 2018: 110-128 - [c20]Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh, Awais Rashid:
Towards forensic-ready software systems. ICSE (NIER) 2018: 9-12 - [i4]Davide G. Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. CoRR abs/1805.03151 (2018) - [i3]Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo:
Learning Classical Planning Strategies with Policy Gradient. CoRR abs/1810.09923 (2018) - 2017
- [c19]Dalal Alrajeh, Liliana Pasquale, Bashar Nuseibeh:
On evidence preservation requirements for forensic-ready systems. ESEC/SIGSOFT FSE 2017: 559-569 - [c18]Davide G. Cavezza, Dalal Alrajeh:
Interpolation-Based GR(1) Assumptions Refinement. TACAS (1) 2017: 281-297 - [e1]Dalal Alrajeh, Liliana Pasquale:
Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics, SERF@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017. ACM 2017, ISBN 978-1-4503-5156-0 [contents] - [i2]Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone:
Towards learning domain-independent planning heuristics. CoRR abs/1707.06895 (2017) - 2016
- [c17]Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Risk-driven revision of requirements models. ICSE 2016: 855-865 - [c16]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer:
Logic-based learning in software engineering. ICSE (Companion Volume) 2016: 892-893 - [c15]Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre:
Goal-conflict detection based on temporal satisfiability checking. ASE 2016: 507-518 - [c14]Dalal Alrajeh, Liliana Pasquale:
Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016). RE Workshops 2016: 92 - [i1]Davide G. Cavezza, Dalal Alrajeh:
Interpolation-Based GR(1) Assumptions Refinement. CoRR abs/1611.07803 (2016) - 2015
- [j6]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Automated support for diagnosis and repair. Commun. ACM 58(2): 65-72 (2015) - [c13]Dalal Alrajeh, Paul Gill:
A Logic-Based Approach to Understanding Lone-Actor Terrorism. ICLP (Technical Communications) 2015 - 2014
- [c12]Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel:
Automated goal operationalisation based on interpolation and SAT solving. ICSE 2014: 129-139 - [c11]Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh:
Inductive Learning Using Constraint-Driven Bias. ILP 2014: 16-32 - [c10]Dalal Alrajeh, Robert Craven:
Automated Error-Detection and Repair for Compositional Software Specifications. SEFM 2014: 111-127 - 2013
- [j5]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): 279-293 (2013) - [j4]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) - [j3]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39(3): 361-383 (2013) - [c9]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: 1249-1252 - 2012
- [c8]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393 - [c7]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel:
Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715 - 2011
- [c6]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116 - [c5]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer:
Integrating Model Checking and Inductive Logic Programming. ILP 2011: 45-60 - 2010
- [j2]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): 217-241 (2010)
2000 – 2009
- 2009
- [b1]Dalal Alrajeh:
Requirements Elaboration using Model Checking and Inductive Learning. Imperial College London, UK, 2009 - [j1]Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel:
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7(3): 275-288 (2009) - [c4]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Learning operational requirements from goal models. ICSE 2009: 265-275 - 2008
- [c3]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel:
Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15 - 2006
- [c2]Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel:
Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78 - [c1]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel:
Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
