Abdelkrim Chebieb

According to our database, Abdelkrim Chebieb authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

A formal model for plastic human computer interfaces.

Abdelkrim Chebieb, Yamine Aït Ameur

Frontiers Comput. Sci., 2018

2016

Experts' Knowledge Merging to Reduce IDS Alerts Number.

Lydia Bouzar-Benlabiod, Lila Méziani, Abdelkrim Chebieb, Nacer-Eddine Rim, Zakaria Mellal

Proceedings of the 2016 International Conference on Collaboration Technologies and Systems, 2016

2015

Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies.

Abdelkrim Chebieb, Yamine Aït Ameur

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2013

Checking System Substitutability: An Application to Interactive Systems.

Yamine Aït Ameur, Abdelkrim Chebieb

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013