Mohammed Alwanain

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Constraint Solvers

Mechanical Properties

Sequence Diagrams

Feature Matching

Top Venues

MODELSWARD (Revised Selected Papers)

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD (2016)
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM (2015)
Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen
Matching and Merging Scenarios Automatically with Alloy. MODELSWARD (Revised Selected Papers) (2014)
Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles
Automated Composition of Sequence Diagrams via Alloy. MODELSWARD (2014)