Checking System Substitutability: An Application to Interactive Systems. - Yamine Aït Ameur; Abdelkrim Chebieb (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. - Abdelkrim Chebieb; Yamine Aït Ameur (TASE, 2015)

Experts' Knowledge Merging to Reduce IDS Alerts Number. - Lydia Bouzar-Benlabiod; Lila Méziani; Abdelkrim Chebieb; Nacer-Eddine Rim; Zakaria Mellal (CTS, 2016)

A formal model for plastic human computer interfaces. - Abdelkrim Chebieb; Yamine Aït Ameur (Frontiers Comput. Sci., 2018)