Islam Abdelhalim

According to our database, Islam Abdelhalim authored at least 5 papers between 2010 and 2013.

Collaborative distances:

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

2013

An integrated framework for checking the behaviour of fUML models using CSP.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Int. J. Softw. Tools Technol. Transf., 2013

2012

Formally verifying behaviour of fUML models using CSP.

Islam Abdelhalim

PhD thesis, 2012

An Optimization Approach for Effective Formalized fUML Model Checking.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.

Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne

Proceedings of the Formal Methods and Software Engineering, 2010