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