Hybrid Object-Oriented Method (HOOM): The Software Development Process. - Toufik Taibi (TOOLS (36), 2000)

Hybrid Object-Oriented Method (HOOM) for Object-Oriented Software Development. - Toufik Taibi (ISAS-SCI (1), 2001)

Formal specification of design pattern combination using BPSL. - Toufik Taibi; David Ngo Chek Ling (Inf. Softw. Technol., 2003)

Formal Specification of Design Patterns - A Balanced Approach. - Toufik Taibi; David Ngo Chek Ling (J. Object Technol., 2003)

Formal specification of design patterns' relationships. - Toufik Taibi (ACST, 2006)

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

Design and Implementaion of A Two-Phase Commit Protocol Simulator. - Toufik Taibi; Abdelouahab Abid; Wei Jiann Lim; Yeong Fei Chiam; Chong Ting Ng (Int. Arab J. Inf. Technol., 2006)

Formalising design patterns composition. - Toufik Taibi (IEE Proc. Softw., 2006)

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

Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker. - Toufik Taibi (Int. J. Artif. Intell. Soft Comput., 2008)

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. - Toufik Taibi; Ángel Herranz-Nieva; Juan José Moreno-Navarro (J. Object Technol., 2009)

Incorporating trust into the BDI architecture. - Toufik Taibi (Int. J. Artif. Intell. Soft Comput., 2010)