Islam Abdelhalim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SEFM | An Optimization Approach for Effective Formalized fUML Model Checking. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | ICFEM | Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2010 | ICFEM | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |