Testing of Abstract Components. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Assia Touil (ICTAC, 2010)

Modeling and Testing of Component-Based Systems. (Modélisation et validation des systèmes informatiques complexes). - Bilal Kanso (2011)

Testing of Component-Based Systems. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Christophe Gaston (APSEC, 2012)

Temporal Constraint Support for OCL. - Bilal Kanso; Safouan Taha (SLE, 2012)

A formal abstract framework for modelling and testing complex software systems. - Marc Aiguier; Frédéric Boulanger; Bilal Kanso (Theor. Comput. Sci., 2012)

A Compositional Automata-Based Semantics for Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Bilal Kanso; Safouan Taha (IFM, 2013)

Compositional Testing For FSM-Based Models. - Bilal Kanso; Omar Chebaro (CoRR, 2014)

A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. - Marc Aiguier; Bilal Kanso (Sci. Ann. Comput. Sci., 2014)

Specification of temporal properties with OCL. - Bilal Kanso; Safouan Taha (Sci. Comput. Program., 2014)

A compositional automata-based semantics and preserving transformation rules for testing property patterns. - Safouan Taha; Jacques Julliand; Frédéric Dadeau; Kalou Cabrera Castillos; Bilal Kanso (Formal Aspects Comput., 2015)

Open Capacitated ARC routing problem by Hybridized Ant Colony Algorithm. - Bilal Kanso; Ali Kansou; Adnan Yassine (RAIRO Oper. Res., 2021)

Hybrid metaheuristics for the periodic open arc routing problem. - Ali Kansou; Bilal Kanso (Int. J. Metaheuristics, 2022)