Islam Abdelhalim

According to our database1, Islam Abdelhalim authored at least 4 papers between 2010 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
An integrated framework for checking the behaviour of fUML models using CSP.
Int. J. Softw. Tools Technol. Transf., 2013

2012
An Optimization Approach for Effective Formalized fUML Model Checking.
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.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.
Proceedings of the Formal Methods and Software Engineering, 2010


  Loading...