Toufik Taibi

According to our database, Toufik Taibi authored at least 12 papers between 2000 and 2010.

Collaborative distances:

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

2010

Incorporating trust into the BDI architecture.

Toufik Taibi

Int. J. Artif. Intell. Soft Comput., 2010

2009

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

2008

Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker.

Toufik Taibi

Int. J. Artif. Intell. Soft Comput., 2008

2007

A Service-Level Security Protocol for Bluetooth Scatternets.

Fathi Taibi, Toufik Taibi

Int. Arab J. Inf. Technol., 2007

2006

Formalising design patterns composition.

Toufik Taibi

IEE Proc. Softw., 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

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

Formal specification of design patterns' relationships.

Toufik Taibi

Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006

2003

Formal Specification of Design Patterns - A Balanced Approach.

Toufik Taibi, David Ngo Chek Ling

J. Object Technol., 2003

Formal specification of design pattern combination using BPSL.

Toufik Taibi, David Ngo Chek Ling

Inf. Softw. Technol., 2003

2001

Hybrid Object-Oriented Method (HOOM) for Object-Oriented Software Development.

Toufik Taibi

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

2000

Hybrid Object-Oriented Method (HOOM): The Software Development Process.

Toufik Taibi

Proceedings of the TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October, 2000