| 2013 | FIT | Ontology-Based Change Impact Assessment in Dynamic Business Processes. | Oussama Mohammed Kherbouche, Adeel Ahmad, Mourad Bouneffa, Henri Basson |
| 2013 | RCIS | Using model checking to control the structural errors in BPMN models. | Oussama Mohammed Kherbouche, Adeel Ahmad, Henri Basson |
| 2010 | ENASE | Towards a Better Change Impact Analysis in Architecture Description Languages. | Mohamed Oussama Hassan, Laurent Deruelle, Adeel Ahmad, Henri Basson |
| 2010 | ENASE | A Change Propagation Process for Distributed Software Architecture. | Mohamed Oussama Hassan, Laurent Deruelle, Henri Basson, Adeel Ahmad |
| 2010 | RCIS | A Knowledge-Based System for Change Impact Analysis on Software Architecture. | Mohamed Oussama Hassan, Laurent Deruelle, Henri Basson |
| 2009 | FIT | Software evolution modelling: an approach for change impact analysis. | Adeel Ahmad, Henri Basson |
| 2008 | CAINE | An Eclipse Platform for Analysis and Manipulation of Distributed Multi-Language Software. | Laurent Deruelle, Henri Basson |
| 2007 | CAINE | An Eclipse Platform Extension for Analysis and Manipulation of Multi-Language Software Code. | Laurent Deruelle, Henri Basson, Mourad Bouneffa, Jrmie Hattat |
| 2005 | CAINE | Toward an Algorithm Understanding Approach for Legacy Systems Renovation. | Jrmie Hattat, Laurent Deruelle, Henri Basson, Pascal Flament, Sylvain Breuzard |
| 2001 | SCAM | Analysis and Manipulation of Distributed Multi-Language Software Code. | Laurent Deruelle, Nordine Melab, Mourad Bouneffa, Henri Basson |
| 2000 | DEXA | A Change Impact Analysis Approach for CORBA-Based Federated Databases. | Laurent Deruelle, Mourad Bouneffa, Nordine Melab, Henri Basson, Gilles Goncalves, Jean-Christophe Nicolas |