Publications
2017
|
Rabah Mokhtari; Allaoua Chaoui
Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 19(4): 406-433 (2017) |
|
|
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 8(2): 1-23 (2017) |
|
|
Nabila Chergui; Salim Chikhi; Tahar Kechadi
Semantic Grid resource discovery based on SKOS ontology. Int. J. of Grid and Utility Computing (IJGUC) 8(4): 269-281 (2017) |
|
|
Radja Boukharrou; Jean-Michel Ilié; Djamel Eddine Saïdouni
Time and Space Reasoning for Ambient Systems. Int. J. of Ambient Computing and Intelligence (IJACI) 8(3): 38-57 (2017) |
|
|
Ramdane Chikh; Salim Chikhi
Clustered negative selection algorithm and fruit fly optimization for email spam detection. J. of Ambient Intelligence and Humanized Computing (JAIHC) : 1-10 (2017) |
|
|
Sadek Benhammada; Frédéric Amblard; Salim Chikhi
An Artificial Stock Market with Interactions Network and Mimetic Agents. 9th Int. Conf. on Agents and Artificial Intelligence (ICAART'17): 390-397 (2017) |
|
|
Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. Int. Conf. on Big Data and Internet of Things (BDIOT'17): 115-119 (2017) |
|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui
Using MDA With Model Checking to Ensure the Development of Consistent AADL Models. Int. Conf. on Embedded & Distributed Systems (EDiS’17) (2017) |
|
|
Houda Hafi; Wahabou Abdou; Salah Merniz
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs. 15th IFIP WG 6.2 Int. Conf. on Wired/Wireless Internet Communications (WWIC'17): 207-218 (2017) |
|
|
Houda Hafi; Wahabou Abdou; Salah Merniz
Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks. 9th IEEE Latin-American Conf. on Communications (LATINCOM'17): 1-6 (2017) |
|
|
Djamel Benmerzoug; Fouzi Lezzar; Ilham Kitouni
An Interaction-Centric Approach to Support Coordination in IoT-Based Enterprise Systems. Int. Conf. on Intelligent Computing (ICIC'17): 227-238 (2017) |
|
|
Abdelwahhab Satta; Sihem Mostefai; Imane Boussebough
An Immuno-based Autonomic Computing System for IaaS Security in Public Clouds. 7th Int. Conf. on Cloud Computing and Services Science (CLOSER'17): 546-553 (2017) |
|
|
Abir Derouiche; Abdesslem Layeb; Zineb Habbas
Chemical Reaction Optimization Metaheuristic for Solving Association Rule Mining Problem. 14th IEEE/ACS Int. Conf. on Computer Systems and Applications (AICCSA'17): 1011-1018 (2017) |
|
|
Jean-Michel Ilié; Ahmed-Chawki Chaouche
Toward an Efficient Ambient Guidance for Transport Applications. 14th Int. Conf. on Mobile Systems and Pervasive Computing (MobiSPC'17): 190-198 (2017) |
|
|
Nour El Houda Yahi; Hacene Belhadef; Mathieu Roche; Amer Draa
Towards a bio-inspired approach to match heterogeneous documents. 13th Int. Conf. on Web Information Systems and Technologies (WEBIST'17): 276-283 (2017) |
|
|
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. 18th IEEE Int. Conf. on Information Reuse and Integration (IRI'17): 419-426 (2017) |
|
|
Haoua Cheribi; Noureddine Amraoui; Abdelkrim Bouramoul; Mohamed Khireddine Kholladi
Context-awareness Security Model Based on Multi-agents System Operating in Complex Environment. 2th Int. Conf. on Internet of Things and Cloud Computing: 139:1-8 (2017) |
|
|
Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli
Cloud Service Composition Modeling Using Bigraphical Reactive Systems. 21st Int. Database Engineering & Applications Symp. (IDEAS'17): 40-48 (2017) |
|
|
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni
Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. 8th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'17): 41-48 (2017) |
|
|
Ahmed-Chawki Chaouche
Smart cities et emergence de l’internet des objets. 1st Scientific Day in Information Technologies (2017) |