Publications
2018
Naouel Ouafek; Mohamed-Khireddine Kholladi
A binarization method for degraded document image using artificial neural network and interpolation inpainting. 4th Int. Conf. on Optimization and Applications (ICOA'18): 1-5 (2018)
Jeremy Buisson; Seidali Rehab
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. Modelling and Implementation of Complex Systems: 259-273 (2018)
Jeremy Buisson; Seidali Rehab
Generation of Inductive Types from Ecore Metamodels. Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD'18): 308-334 (2018)
Jeremy Buisson; Seidali Rehab
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD'18): 488-495 (2018)
Mohamed Boubakir; Allaoua Chaoui
An Incremental Approach for the Extraction of Software Product Lines from Model Variants. Int. Conf. on Computer Science and its Applications (CSA'18): 124-134 (2018)
Labed Said; Akram Kout; Salim Chikhi
A Fast Heuristic for Graph B-Coloring Problem. Joint Int. Conf. on ICT in Education and Training, Int. Conf. on Computing in Arabic, and Int. Conf. on Geocomputing: 1-6 (2018)
Amir Djenna; Djamel Eddine Saïdouni
Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. 2nd Cyber Security in Networking Conf. (CSNet): 1-4 (2018)
Said Labed; Akram Kout; Salim Chikhi
Solving the graph b-coloring problem with hybrid genetic algorithm. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS'18): 1-7 (2018)
Abir Bitat; Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS"18): 1-6 (2018)
Imene Boukhalfa; Sihem Mostefai; Nacira Chekkai
A Study of Graph Based Stemmer in Arabic Extrinsic Plagiarism Detection. 2nd Mediterranean Conf. on Pattern Recognition and Artificial Intelligence (MedPRAI'18): 27-32 (2018)
Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. Int. Conf. on Information Reuse and Integration (IRI'18): 511-517 (2018)
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou El Hasan Benyamina
A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL'18): 290-300 (2018)
Mohamed Boubakir; Allaoua Chaoui
An Incremental Approach for the Extraction of Software Product Lines from Model Variants. 3rd Int. Conf. on Computer Science and its Applications: 124-134 (2018)
Sofia Kouah; Ilham Kitouni
Internet of Things Agents Diagnosis Architecture: Application to Healthcare IoT System. 3rd Int. Conf. on Advanced Aspects of Software Engineering (ICAASE18): 62-69 (2018)
Ahmed-Chawki Chaouche
Internet des objets et émergence de l'intelligence ambiante. 1st study day in new advances on security of IoT and e-Health systems (2018)
Ahmed-Chawki Chaouche
L'intelligence ambiante au service de la ville de demain. 2nd Int. Symp. on Data Science and Computational Intelligence (DSCI’18) (2018)
2017
Abdelkrim Bouramoul
Gravizor: A Graphical Tool for the Visualization of Web Search Engines Results with Multi-Agent Based Modeling. Int. J. of Intelligent Information Technologies (IJIIT) 13(3): 37-56 (2017)
Menaceur Sadek; Makhlouf Derdour; Abdelkrim Bouramoul
Personalized Online Analytical Processing in Big Data Context Using User Profile and Search Context. Int. J. of Strategic Information Technology and Applications (IJSITA) 8(4): 67-80 (2017)
Khadidja Belattar; Sihem Mostefai; Amer Draa
Intelligent Content-Based Dermoscopic Image Retrieval with Relevance Feedback for Computer-Aided Melanoma Diagnosis. J. of Information Technology Research (JITR) 10(1): 85-108 (2017)
Badis Bensedira; Abdesslem Layeb; Zineb Habbas
Discrete cuckoo search applied to capacitated arc routing problem. IJMHeur 6(1): 37-54 (2017)