Modeling and Validating the Clinical Information Systems Policy Using Alloy. - Ramzi A. Haraty; Mirna Naous (HIS, 2013)

Role-Based Access Control modeling and validation. - Ramzi A. Haraty; Mirna Naous (ISCC, 2013)

Assuring consistency in mixed models. - Ramzi A. Haraty; Mirna Naous; Azzam Mourad (J. Comput. Sci., 2014)