Bilal Kanso

According to our database, Bilal Kanso authored at least 12 papers between 2010 and 2022.

Collaborative distances:

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

2022

Hybrid metaheuristics for the periodic open arc routing problem.

Ali Kansou, Bilal Kanso

Int. J. Metaheuristics, 2022

2021

Open Capacitated ARC routing problem by Hybridized Ant Colony Algorithm.

Bilal Kanso, Ali Kansou, Adnan Yassine

RAIRO Oper. Res., 2021

2015

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

2014

Specification of temporal properties with OCL.

Bilal Kanso, Safouan Taha

Sci. Comput. Program., 2014

A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction.

Marc Aiguier, Bilal Kanso

Sci. Ann. Comput. Sci., 2014

Compositional Testing For FSM-Based Models.

Bilal Kanso, Omar Chebaro

CoRR, 2014

2013

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

A formal abstract framework for modelling and testing complex software systems.

Marc Aiguier, Frédéric Boulanger, Bilal Kanso

Theor. Comput. Sci., 2012

Temporal Constraint Support for OCL.

Bilal Kanso, Safouan Taha

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Testing of Component-Based Systems.

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

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

Bilal Kanso

PhD thesis, 2011

2010

Testing of Abstract Components.

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil

Proceedings of the Theoretical Aspects of Computing, 2010