Formal Rules for Reliable Component-Based Architecture Evolution. - Abderrahman Mokni; Marianne Huchard; Christelle Urtado; Sylvain Vauttier; Huaxi (Yulin) Zhang (FACS, 2014)

A Three-level Formal Model for Software Architecture Evolution. - Abderrahman Mokni; Marianne Huchard; Christelle Urtado; Sylvain Vauttier; Huaxi (Yulin) Zhang (SATToSE, 2014)

An evolution management model for multi-level component-based software architectures. - Abderrahman Mokni; Marianne Huchard; Christelle Urtado; Sylvain Vauttier; Yulin Zhang 002 (SEKE, 2015)

A formal approach to automate the evolution management in component-based software development processes. (Une approche formelle pour automatiser la gestion de l'évolution dans les processus de développement à base de composants). - Abderrahman Mokni (2015)

A formal approach for managing component-based architecture evolution. - Abderrahman Mokni; Christelle Urtado; Sylvain Vauttier; Marianne Huchard; Huaxi (Yulin) Zhang (Sci. Comput. Program., 2016)