Bilal Kanso

12 papers B 2C 2Journal 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Hybrid metaheuristics for the periodic open arc routing problem.
Int. J. Metaheuristics
Ali Kansou, Bilal Kanso
2021 J jnl
Open Capacitated ARC routing problem by Hybridized Ant Colony Algorithm.
RAIRO Oper. Res.
Bilal Kanso, Ali Kansou, Adnan Yassine
2015 J jnl
A compositional automata-based semantics and preserving transformation rules for testing property patterns.
Formal Aspects Comput.
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
2014 J jnl
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction.
Sci. Ann. Comput. Sci.
Marc Aiguier, Bilal Kanso
2014 J jnl
Compositional Testing For FSM-Based Models.
CoRR
Bilal Kanso, Omar Chebaro
2014 J jnl
Specification of temporal properties with OCL.
Sci. Comput. Program.
Bilal Kanso, Safouan Taha
2013 B conf
A Compositional Automata-Based Semantics for Property Patterns.
IFM
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
2012 J jnl
A formal abstract framework for modelling and testing complex software systems.
Theor. Comput. Sci.
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
2012 B conf
Temporal Constraint Support for OCL.
SLE
Bilal Kanso, Safouan Taha
2012 C conf
Testing of Component-Based Systems.
APSEC
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
2011 — —
Modeling and Testing of Component-Based Systems. (Modélisation et validation des systèmes informatiques complexes).
Bilal Kanso
2010 C conf
Testing of Abstract Components.
ICTAC
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil