Mohammed Alwanain

According to our database, Mohammed Alwanain authored at least 5 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Automated composition of sequence diagrams.

Mohammed Alwanain

PhD thesis, 2016

Weaving True-Concurrent Aspects Using Constraint Solvers.

Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

A Logical Approach for Behavioural Composition of Scenario-Based Models.

Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Matching and Merging Scenarios Automatically with Alloy.

Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen

Proceedings of the Model-Driven Engineering and Software Development, 2014

Automated Composition of Sequence Diagrams via Alloy.

Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014