Toufik Taibi

12 papers C 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2010 J jnl
Incorporating trust into the BDI architecture.
Int. J. Artif. Intell. Soft Comput.
Toufik Taibi
2009 J jnl
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
J. Object Technol.
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2008 J jnl
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker.
Int. J. Artif. Intell. Soft Comput.
Toufik Taibi
2007 J jnl
A Service-Level Security Protocol for Bluetooth Scatternets.
Int. Arab J. Inf. Technol.
Fathi Taibi, Toufik Taibi
2006 J jnl
Design and Implementaion of A Two-Phase Commit Protocol Simulator.
Int. Arab J. Inf. Technol.
Toufik Taibi, Abdelouahab Abid, Wei Jiann Lim, Yeong Fei Chiam, Chong Ting Ng
2006 C conf
Formal Specification of Design Patterns and Their Instances.
AICCSA
Toufik Taibi, Fathi Taibi
2006 — conf
Formal specification of design patterns' relationships.
ACST
Toufik Taibi
2006 J jnl
Formalising design patterns composition.
IEE Proc. Softw.
Toufik Taibi
2003 J jnl
Formal Specification of Design Patterns - A Balanced Approach.
J. Object Technol.
Toufik Taibi, David Ngo Chek Ling
2003 J jnl
Formal specification of design pattern combination using BPSL.
Inf. Softw. Technol.
Toufik Taibi, David Ngo Chek Ling
2001 — conf
Hybrid Object-Oriented Method (HOOM) for Object-Oriented Software Development.
ISAS-SCI (1)
Toufik Taibi
2000 — conf
Hybrid Object-Oriented Method (HOOM): The Software Development Process.
TOOLS (36)
Toufik Taibi