Dalal Alrajeh
Affiliations:- Imperial College London, UK
According to our database1,
Dalal Alrajeh
authored at least 42 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
1
1
1
1
1
3
1
1
1
1
1
3
1
2
2
4
1
3
1
2
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on doc.ic.ac.uk
On csauthors.net:
Bibliography
2024
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.
CoRR, 2024
2023
RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care.
CoRR, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
2018
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
IEEE Trans. Software Eng., 2013
Theory Pract. Log. Program., 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
2010
Formal Aspects Comput., 2010
2009
PhD thesis, 2009
J. Appl. Log., 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2006
Inferring operational requirements from scenarios and goal models using inductive learning.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006