Fathi Taibi

According to our database, Fathi Taibi authored at least 8 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Reusability of open-source program code: a conceptual model and empirical investigation.

Fathi Taibi

ACM SIGSOFT Softw. Eng. Notes, 2013

2012

Filtered mining in program code repositories.

Fathi Taibi

Proceedings of the 2012 International Conference on Information Retrieval & Knowledge Management, 2012

2010

A Conflicts Detection Approach for Merging Formal Specification Views.

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

J. Softw. Eng. Appl., 2010

On Differencing Object-Oriented Formal Specifications.

Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah

J. Object Technol., 2010

2008

A Matching Approach for Object-Oriented Formal Specifications.

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

J. Object Technol., 2008

2007

On checking the consistency of Object-Z classes.

Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou

ACM SIGSOFT Softw. Eng. Notes, 2007

A Service-Level Security Protocol for Bluetooth Scatternets.

Fathi Taibi, Toufik Taibi

Int. Arab J. Inf. Technol., 2007

2006

Formal Specification of Design Patterns and Their Instances.

Toufik Taibi, Fathi Taibi

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006