Islam Abdelhalim

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Alternating Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An integrated framework for checking the behaviour of fUML models using CSP. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An Optimization Approach for Effective Formalized fUML Model Checking. SEFM (2012)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM (2011)
Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM (2010)