Formal Specification of Design Patterns and Their Instances. - Toufik Taibi; Fathi Taibi (AICCSA, 2006)

A Service-Level Security Protocol for Bluetooth Scatternets. - Fathi Taibi; Toufik Taibi (Int. Arab J. Inf. Technol., 2007)

On checking the consistency of Object-Z classes. - Fathi Taibi; Jacob Karikottu Daniel; Fouad Mohammed Abbou (ACM SIGSOFT Softw. Eng. Notes, 2007)

A Matching Approach for Object-Oriented Formal Specifications. - Fathi Taibi; Fouad Mohammed Abbou; Md. Jahangir Alam 004 (J. Object Technol., 2008)

On Differencing Object-Oriented Formal Specifications. - Fathi Taibi; Md. Jahangir Alam 004; Junaidi Abdullah (J. Object Technol., 2010)

A Conflicts Detection Approach for Merging Formal Specification Views. - Fathi Taibi; Fouad Mohammed Abbou; Md. Jahangir Alam 004 (J. Softw. Eng. Appl., 2010)

Filtered mining in program code repositories. - Fathi Taibi (CAMP, 2012)

Reusability of open-source program code: a conceptual model and empirical investigation. - Fathi Taibi (ACM SIGSOFT Softw. Eng. Notes, 2013)