Automated Composition of Sequence Diagrams via Alloy. - Mohammed Alwanain; Behzad Bordbar; Juliana Küster Filipe Bowles (MODELSWARD, 2014)

Matching and Merging Scenarios Automatically with Alloy. - Juliana Bowles; Mohammed Alwanain; Behzad Bordbar; Y. Chen (MODELSWARD (Revised Selected Papers), 2014)

A Logical Approach for Behavioural Composition of Scenario-Based Models. - Juliana Küster Filipe Bowles; Behzad Bordbar; Mohammed Alwanain (ICFEM, 2015)

Weaving True-Concurrent Aspects Using Constraint Solvers. - Juliana Küster Filipe Bowles; Behzad Bordbar; Mohammed Alwanain (ACSD, 2016)

Automated composition of sequence diagrams. - Mohammed Alwanain (2016)