Publications
2018
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
Akram Kout; Said Labed; Salim Chikhi; El Bay Bourennane
AODVCS, a new bio-inspired routing protocol based on cuckoo search algorithm for mobile ad hoc networks. J. of Wireless Networks 24(7): 2509–2519 (2018)
Aouatef Chaib; Imane Boussebough; Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018)
Zakaria Abdelmoiz Dahi; Enrique Alba; Amer Draa
A Stop-and-Start Adaptive Cellular Genetic Algorithm for Mobility Management of GSM-LTE Cellular Network Users. Expert Systems with Applications 106: 290-304 (2018)
Khadidja Belattar; Sihem Mostefai; Amer Draa
A Hybrid GA-LDA Scheme for Feature Selection in Content-Based Image Retrieval. Int. J. of Applied Metaheuristic Computing (IJAMC) 9(2): 48-71 (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 Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou Elhasan 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 2018): 290-300 (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)