Sotabase

Career

· Researcher, University of California, Los Angeles (UCLA) PolyArch Research Laboratory2020–

Publications (59)

Learning operational requirements from goal models
2009 IEEE 31st International Conference on Software Engineering · 2009
94
cited
Generating obstacle conditions for requirements completeness
International Conference on Software Engineering · 2012
47
cited
Elaborating Requirements Using Model Checking and Inductive Learning
IEEE Transactions on Software Engineering · 2013
35
cited
Adapting Requirements Models to Varying Environments
International Conference on Software Engineering · 2020
32
cited
Towards Forensic-Ready Software Systems
2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) · 2018
31
cited
Goal-conflict detection based on temporal satisfiability checking
International Conference on Automated Software Engineering · 2016
26
cited
Interpolation-Based GR(1) Assumptions Refinement
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2016
25
cited
Extracting Requirements from Scenarios with ILP
International Conference on Inductive Logic Programming · 2007
22
cited
The Problem with Crime Problem-Solving: Towards a Second Generation Pop?
British Journal of Criminology · 2019
22
cited
Automated support for diagnosis and repair
Communications of the ACM · 2015
20
cited
On evidence preservation requirements for forensic-ready systems
ESEC/SIGSOFT FSE · 2017
20
cited
Combining Experts' Causal Judgments
AAAI Conference on Artificial Intelligence · 2018
19
cited
Using abduction and induction for operational requirements elaboration
Journal of Applied Logic · 2009
19
cited
Automated goal operationalisation based on interpolation and SAT solving
International Conference on Software Engineering · 2014
18
cited
Supporting incremental behaviour model elaboration
Computer Science - Research and Development · 2012
17
cited
Learning from Vacuously Satisfiable Scenario-Based Specifications
Fundamental Approaches to Software Engineering · 2012
14
cited
Deriving non-Zeno behaviour models from goal models using ILP
Formal Aspects of Computing · 2008
13
cited
Inferring operational requirements from scenarios and goal models using inductive learning
International Workshop on Scenarios and state machines: models, algorithms, and tools · 2006
12
cited
An Inductive Approach for Modal Transition System Refinement
International Conference on Logic Programming · 2011
11
cited
Learning Neural Search Policies for Classical Planning
International Conference on Automated Planning and Scheduling · 2019
11
cited
Sotabase
Dr Dalal Alrajeh | Researcher Profile | Sotabase | Sotabase