Journal article
A formal approach for managing component-based architecture evolution.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. To appear in Science of Computer Programming journal, 2016. Impact Factor: 0.72.
ScienceDirect
Conference papers
An evolution management model for multi-level component-based software architectures.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Proceedings of The 27th International Conference on Software Engineering and Knowledge Engineering. pages 674-679, Pittsburgh, PA, USA, July 6-8, 2015. AR 30%.
Pdf – DBLP
Towards automating the coherence verification of multi-level architecture descriptions.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Proceedings of the 9th International Conference on Software Engineering Advances. pages 416-421, Nice, France, October 2014. AR 30%.
Pdf
Formal rules for reliable component-based architecture evolution.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Proceedings of the 11th international symposium on Formal Aspects of Component Software. pages 127-142, Bertinoro, Italy, September 2014. AR 45%. Pdf – DBLP
Modélisation et vérification formelles en B des architectures logicielles à trois niveaux.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Actes de la troisième Conférence en IngénieriE du Logiciel, Catherine Dubois, Nicole Levy, Marie-Agnès Peraldi-Frati et Christelle Urtado éditeurs, pages 71-77. Paris, France, Juin 2014.
Pdf
Workshop papers
A three-level formal model for software architecture evolution.
A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Proceedings of the 7th Seminar on Advanced Techniques & Tools for Software Evolution. pages 102-111L’Aquila, Italy, July 2014.
Pdf – DBLP