Dalal Alrajeh - ICSE 2020

Wed 24 June - Thu 16 July 2020

Registered user since Thu 12 Apr 2018

Name: Dalal Alrajeh

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://www.doc.ic.ac.uk/~da04

Research interests: Formal methods, specification, AI

Contributions

FormaliSE 2020	Minimal Assumptions Refinement for Realizable Specifications
ICSE 2020	Cultural Exchange Session Chair of A23-Requirements (part of Paper Presentations) Committee Member in Program Committee within the New Ideas and Emerging Results-track Adapting Requirements Models to Varying Environments Session Chair of Cultural Exchange (part of Cultural Exchange) Programme Committee in Program Committee within the Technical Papers-track
Show activities from other conferences