| Titre | Auteurs | URL/DOI | Année | Equipe |
|---|---|---|---|---|
| L’AI en Algérie au temps d’une double crise sanitaire et économique, |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| Named entity disambiguation in short texts over knowledge graphs |
Bouarroudj Wissem Boufaida Zizette Ladjel Bellatreche |
Consulter | 2022 | SIBC |
| A hybrid model for efficient decision-making in self-adaptive systems |
Kachi Fatma Bouanaka Chafia |
Consulter | 2022 | GLSD |
| Reusing Alignments for Discovering Instances Correspondences |
Ghemmaz Wafa Fouzia Benchika Maroua Bouzid (GREYC Laboratory, University of Caen Normandie, France) |
Consulter | 2021 | SIBC |
| A Deep Neural Network Model for Malware Detection |
Bourebaa Fatima Mohamed Benmohammed |
Consulter | 2021 | AS |
| IDERES: Intrusion detection and response system using machine learning and attack graphs |
Bendiab Gueltoum Matthew Swann Joseph R.Rose Konstantinos-Panagiotis Grammatikakis Nicholas Kolokotronis Ioannis Koufos Stavros Shiaeles |
Consulter | 2022 | AS |
| Cybersecurity Challenges in the Maritime Sector |
Bendiab Gueltoum Stavros Shiaeles Frank Akpan Michalis Michaloliakos |
Consulter | 2022 | AS |
| On the suitability of blockchain platforms for IoT applications: Architectures, security, privacy, and performance |
Bendiab Gueltoum Stavros Shiaeles Nicholas Kolokotronis SotiriosBrotsis Konstantinos Limniotis |
Consulter | 2021 | AS |
| FCMDT: A Novel Fuzzy Cognitive Maps Dynamic Trust Model for Cloud Federated Identity Management |
Bendiab Gueltoum Stavros Shiaeles Samia Boucherkha Bogdan Ghita |
Consulter | 2019 | AS |
| MALGRA: Machine Learning and N-Gram Malware Feature Extraction and Detection System |
Bendiab Gueltoum Stavros Shiaeles Bogdan Ghita Muhammad Ali |
Consulter | 2020 | AS |
| A Comparative Study of Traffic Generators: Applicability for Malware Detection Testbeds |
Bendiab Gueltoum Matthew Swann Joseph Rose Stavros Shiaeles Nick Savage |
Consulter | 2021 | AS |
| On context-independent and context-aware cloud services substitutability verification |
Bourouz Sofiane |
Consulter | 2018 | GLSD |
| Modelling elastic scaling of cloud with energy-efficiency: Application to smart-university |
Berkane Mohamed Lamine |
Consulter | 2022 | SIBC |
| Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home |
Berkane Mohamed Lamine |
Consulter | 2015 | SIBC |
| Extending SWRL Rules to Integrate Object-Oriented Techniques in Hybrid Ontologies |
Bouaicha Souad |
Consulter | 2012 | SIBC |
| Reasoning on Hybrid Ontology Using Extended SWRL Rules |
Bouaicha Souad |
Consulter | 2014 | SIBC |
| SWRLx: A New Formalism for Hybrid Ontology Reasoning |
Bouaicha Souad |
Consulter | 2016 | SIBC |
| A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System |
Boukhelfa Kamel Faiza Belala |
Consulter | 2022 | GLSD |
| Enhanced metrics for temporal dimensions toward assessing Linked Data: A case study of Wikidata |
Ferradji Mohamed Amine |
Consulter | 2022 | SIBC |
| Distributed Abnormal Behavior Detection Approach Based on Deep Belief Network and Ensemble SVM Using Spark |
Marir Naila |
Consulter | 2018 | SIBC |
| LODQuMa: A Free-ontology process for Linked (Open) Data quality management |
Salem Samah |
Consulter | 2022 | SIBC |
| A Dynamic Scaling Approach in Hadoop YARN |
NEMOUCHI Warda Ismahene |
Consulter | 2022 | SIBC |
| Execution of Long-Duration Multi- Cloud Serverless Functions Using Selective Migration-Based Approach |
Soltani Boubaker |
Consulter | 2020 | GLSD |
| A Decision-Making Support for Business Process Outsourcing to a Multi-Cloud Environment. International Journal of Decision Support System Technology |
Zarour Karim |
Consulter | 2020 | SIBC |
| A decision-making support for business process outsourcing to a multi-cloud environment |
Zarour Karim |
Consulter | 2019 | SIBC |
| A Multi-Criteria Allocation Strategy for Provisioning Cloud Resources |
Zarour Karim |
Consulter | 2022 | SIBC |
| Keyword-based faceted search interface for knowledge graph construction and exploration |
Sellami Samir Nacer eddine Zarour |
Consulter | 2022 | SIBC |
| MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data |
Sellami Samir Nacer eddine Zarour Taoufiq Dkaki Pierre-Jean Charrel |
Consulter | 2019 | SIBC |
| An Ultra-Fast Method for Clustering of Big Genomic Data |
Kenidra Billel Souham Meshoul |
Consulter | 2020 | AS |
| An Improved K-Means Algorithm for Gene Expression Data Clustering |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2018 | AS |
| Federation-Level Agreement and Integrity-Based Managed Cloud Federation Architecture |
Ghenai Afifa |
Consulter | 2020 | AS |
| Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach |
Ghenai Afifa |
Consulter | 2020 | AS |
| SaNTEA: Stopwatch Petri Net based Tool for Embedded systems Analysis |
Ghenai Afifa |
Consulter | 2014 | AS |
| Hybrid Simulation based Approach for Embedded Systems Reliability Analysis |
Ghenai Afifa |
Consulter | 2013 | AS |
| A hybrid model for efficient decision-making in self-adaptive systems |
Bouanaka Chafia |
Consulter | 2023 | GLSD |
| Formal Specification of Non-Functional Properties of Context-Aware Systems |
Bouanaka Chafia |
Consulter | 2022 | GLSD |
| Dynamic verification of hierarchical multi-agent plans |
Brahimi said |
Consulter | 2017 | GLIA |
| A new transformation approach for complex systems modelling and simulation: application to industrial control system |
Boukelkoul Sofiane SEDDARI Noureddine Bouras Abdelghani Mohamed Belaoued Redjimi Mohammed |
Consulter | 2021 | GLIA |
| A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business processes |
Boukelkoul Sofiane MAAMRI Ramdane |
Consulter | 2020 | GLIA |
| A Discrete Event Model for Analysis and Verification of Time-Constrained Business Processes |
Boukelkoul Sofiane Chihoub Mohamed MAAMRI Ramdane |
Consulter | 2020 | GLIA |
| Using of DEVS and MAS Tools for Modeling and simulation of an Industrial Steam Generator |
Boukelkoul Sofiane SEDDARI Noureddine Redjimi Mohammed |
Consulter | 2014 | GLIA |
| Algorithmic Tools for the Transformation of Petri Nets to DEVS |
Boukelkoul Sofiane Redjimi Mohammed |
Consulter | 2013 | GLIA |
| Towards formalising installation and reconfiguration tasks of AADL architecture. |
Benlahrache Nadira |
Consulter | 2013 | GLSD |
| Model Checking BRS based AADL Specification |
Benlahrache Nadira |
Consulter | 2012 | GLSD |
| SocioOntoProcess: a user-centred process for participatory ontology engineering |
Guergour Habib-Ellah Boufaida Zizette |
Consulter | 2016 | SIBC |
| Integrating Multi-View Model and Agent Paradigm in the Supply Chain Design |
BOUDOUDA Souheila |
Consulter | 2015 | SIBC |
| Efficient Discovery of Provider’s Services in a Cloud-based Supply Chain |
BOUDOUDA Souheila |
Consulter | 2021 | SIBC |
| A Dynamic Scaling Approach in Hadoop YARN |
BOUDOUDA Souheila |
Consulter | 2022 | SIBC |
| Towards Electronic Prescription System in a Developing Country |
ZAROUR Karim |
Consulter | 2021 | |
| Agent-Based Architecture for Nursing Home Search and Appointment System |
ZAROUR Karim |
Consulter | 2022 | |
| Blockchain-based architecture centred patient for decentralised storage and secure sharing health data |
ZAROUR Karim |
Consulter | 2022 | |
| Towards a Telehomecare in Algeria: Case of Diabetes Measurement and Remote Monitoring |
ZAROUR Karim |
Consulter | 2017 | |
| Privacy Preservation and Access Control for Sharing Electronic Health Records Using Blockchain Technology |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Improving Privacy-preserving Healthcare Data Sharing in a Cloud Environment Using Hybrid Encryption |
BOUMEZBEUR Insaf |
Consulter | 2022 | |
| Blockchain-Based Electronic Health Records Sharing Scheme with Data Privacy Verifiable |
BOUMEZBEUR Insaf |
Consulter | 2021 | |
| A coherent architectural framework for the development of hospital information systems |
ZAROUR Karim |
Consulter | 2012 | |
| Agent and Mobile Tools for Telehomecare in Developing Countries: An Architecture Approach |
ZAROUR Karim |
Consulter | 2015 | |
| A multi-agent architecture for interoperable medical information systems |
ZAROUR Karim |
Consulter | 2010 | |
| Timed CTL checking of time critical cloud applications using timed bigraphs |
Latreche Fateh |
Consulter | 2020 | GLSD |
| A layered Petri net model to formally analyse time critical web service composition |
Latreche Fateh |
Consulter | 2017 | GLSD |
| New Recommendation System Based on Students' Engagement Prediction Using CNN to Optimize E-Learning |
ZITOUNI Abdelhafid |
Consulter | 2022 | SIBC |
| KAB: A new k-anonymity approach based on black hole algorithm |
ZITOUNI Abdelhafid Djoudi Mahieddine Kacha lynda |
Consulter | 2020 | SIBC |
| Ensuring user authentication and data integrity in multi-cloud environmen |
ZITOUNI Abdelhafid Djoudi Mahieddine Megouache Leila |
Consulter | 2020 | SIBC |
| An Enhanced Corpus for Arabic Newspapers Comment |
ZITOUNI Abdelhafid Rahab Hichem Djoudi Mahieddine |
Consulter | 2020 | SIBC |
| Improving Service Performance in Oversubscribed IaaS Cloud |
ZITOUNI Abdelhafid MAAMRI Ramdane Bouaita Riad |
Consulter | 2019 | SIBC |
| SANA: Sentiment Analysis on Newspapers comments in Algeria |
ZITOUNI Abdelhafid |
Consulter | 2021 | SIBC |
| A New Collective Simulated Annealing with Adapted Objective Function for Web Service Selection |
Benmohammed Mohamed |
Consulter | 2023 | AS |
| A framework based protocol for A better interoperability among services in e- government |
Tebib Assia |
Consulter | 2013 | SIBC |
| An architecture using formal interaction protocols for business process integration in e-Government |
Tebib Assia |
Consulter | 2015 | SIBC |
| Self-Healing in Web Service-Based Systems Using QoS |
Tebib Assia |
Consulter | 2022 | SIBC |
| Enhancing Information Extraction Process in Job Recommendation using Semantic Technology. |
Brek Assia |
Consulter | 2022 | SIBC |
| AMACE: agent based multi-criterions adaptation in cloud environment |
ZITOUNI Abdelhafid Djoudi Mahieddine Kemchi Sofiane |
Consulter | 2018 | SIBC |
| Adapted smart home services based on smart contracts and service level agreements |
Belguidoum Meriem |
Consulter | 2021 | GLSD |
| EA-based hyperparameter optimization of hybrid deep learning models for effective drug-target interactions prediction, Expert Systems with Applications |
Belguidoum Meriem |
Consulter | 2021 | GLSD |
| A Specification and Generation System for Interactive Multimedia Documents |
Labed Ilhem |
Consulter | 2007 | SIBC |
| Handling User-Oriented Cyber-Attacks: STRIM, a User-Based Security Training Model |
Hamoud Aymen |
Consulter | 2020 | AS |
| Individual Processing of Phishing Emails: Towards a Phishing Detection Framework |
Hamoud Aymen |
Consulter | 2022 | AS |
| Conceptual method for flexible business process modeling |
Bentellis Adla |
Consulter | 2008 | SIBC |
| Objective Based Flexible Business Process Management Using the Map Model |
Bentellis Adla |
Consulter | 2009 | SIBC |
| . Skyline recomputation in Big Data. Information Systems |
Maamri Ramdane Bourahla Chouaib Brahimi Said |
Consulter | 2023 | GLIA |
| A Hybrid Architecture Based on Blockchain to Ensure Security, Privacy, and Trust in IoT |
Maamri Ramdane Cherif Benali |
Consulter | 2022 | GLIA |
| A multi-layered bigraphical modelling approach for context-aware systems |
Maamri Ramdane Ahmed Taki Eddine DIB |
Consulter | 2022 | GLIA |
| Implementation of Secure Data Storage and Retrieval Approach |
Maamri Ramdane Aloguechi Farida |
Consulter | 2022 | GLIA |
| Signature-based Tree for Finding Frequent Itemsets |
Benelhadj Mohamed El Hadi |
Consulter | 2023 | SIBC |
| A model-driven approach for the verification of an adaptive service composition |
Zatout Sara |
Consulter | 2020 | SIBC |
| The Need for Formal Compatibility Analysis in Web Service Choreography via an E-commerce Application. |
Souilah Benabdelhafid Maya |
Consulter | 2015 | SIBC |
| Analysing timed compatibility of web service choreography. |
Souilah Benabdelhafid Maya |
Consulter | 2017 | SIBC |
| Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| A Model-Driven Approach for the Verification of an Adaptive Service Composition. |
Souilah Benabdelhafid Maya |
Consulter | 2020 | SIBC |
| An ILP Approach to Learn MKNF+ Rules for Fault Diagnosis |
Bouarroudj Samiya |
Consulter | 2023 | SIBC |
| An automatic natural feature selection system for indoor tracking - Application to Alzheimer patient support |
Badeche Mohamed |
Consulter | 2018 | AS |
| Automatic Correction of Free Format MCQ Tests |
Badeche Mohamed |
Consulter | 2020 | AS |
| IoT Security Frameworks and Countermeasures |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| Malware Detection and Mitigation |
Bendiab Gueltoum |
Consulter | 2021 | AS |
| Towards a Telehomecare in Algeria: Case of Diabetes Measurement and Remote Monitoring |
ZAROUR Karim |
Consulter | 2019 | |
| An Agent-Oriented Methodology for Business Process Management |
Zouad Sara Mahmoud Boufaida |
Consulter | 2020 | SIBC |
| Leveraging Enterprise Knowledge Graphs for Efficient Bridging Between Business Data with Large-Scale Web Data |
Sellami Samir Nacer eddine Zarour Taoufiq Dkaki Pierre-Jean Charrel |
Consulter | 2021 | SIBC |
| A Non-Stochastic Method for Clustering of Big Genomic Data |
Kenidra Billel Mohamed Benmohammed |
Consulter | 2019 | AS |