Showing results 47 to 66 of 235
< previous
next >
Issue Date | Title | Author(s) |
26-Feb-2019 | A formal framework-based K-Maude for modelling scalable software architectures | SMAALI, Sahar ; Choutri, Aicha ; Belala, Faiza |
13-Sep-2018 | A Formal Model for Interaction Specification and Analysis in IoT Applications | Marir, Souad ; Belala, Faiza ; Hameurlain, Nabil |
4-May-2019 | A formal quantitative analysis of elastic cloud systems based on PSMaude | Bouanaka, Chafia ; Maatougui, Esma ; Belala, Faiza ; Zeghib, Nadia |
17-Dec-2021 | Formal verification of pipelined cryptographic circuits: A functional approach | Bitat, Abir ; Merniz, Salah |
30-Sep-2021 | Formal verification of the extension of iStar to support Big data projects | Djeddi, Chabane ; Zarour, Nacer-eddine ; Charrel, Pierre-Jean |
25-Mar-2021 | Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model | Chabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim |
Jun-2015 | Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps | Chama, Imed Eddine |
2015 | A framework for modeling and analysis UML activity diagram using graph transformation | Rahmoune, Yasmina ; Chaoui, Allaoua ; Kerkouche, Elhillali |
1-Jul-2013 | From AADL to timed automaton-A verification approach | Mohamed Elkamel, Hamdane ; Chaoui, Allaoua ; Strecker, Martin |
4-Jan-2019 | A fuzzy agent approach for smart data extraction in big data environments | Elaggoune, Zakarya ; Maamri, Ramdane ; Boussebough, Imane |
2015 | A generalized island model based on parallel and cooperating metaheuristics for effective large capacitated vehicle routing problem solving | AMMI, MERYEM ; Chikhi, Salim |
1-Feb-2019 | Generation of inductive types from ecore metamodels | Buisson, J. ; rehab, seidali |
24-Sep-2012 | A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars | Hachichi, Hiba ; Kitouni, Ilham ; Bouaroudj, Kenza ; Saidouni, Djamel Eddine |
1-Jul-2017 | Gravizor: A graphical tool for the visualization of web search engines results with multi-agent based modeling | Bouramoul, Abdelkrim |
2012 | A high-level Petri net based approach for modeling and composition of web services | Chemaa, Sofiane ; Bachtarzi, Chahinez ; Chaoui, Allaoua |
2014 | A higher-order agent model with contextual planning management for ambient systems | Chaouche, Ahmed-Chawki ; El Fallah Seghrouchni, Amal ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine |
1-Dec-2013 | A hybrid quantum inspired harmony search algorithm for 0–1 optimization problems | Layeb, Abdesslem |
Jan-2017 | An Immuno-based Autonomic Computing System for IaaS Security in Public Clouds | Satta, Abdelwahhab ; Mostefai, Sihem ; Boussebough, Imane |
1-Dec-2021 | Improvement of Differential Evolution with Multipopulation-based Ensemble of Mutation Strategies | Hezili, Besma ; Talbi, Hichem |
1-Jan-2020 | Increasing the Visibility of Grey Literature in Algerian institutional repositories | Babori, Ahcene ; Aknouche, Nabil |