الرئيسية › دليل الباحثين › Okba Tibermacine

Okba Tibermacine

الانتماء : National School of Artificial Intelligence

• 26منشورات (انتماء جزائري)
• 31مجموع المنشورات
• 178الاستشهادات
• 9مؤشر h

ORCIDOpenAlex

مجالات البحث

• Service-Oriented Architecture and Web Services
• Logic, programming, and type systems
• Formal Methods in Verification
• Mobile Ad Hoc Networks
• Advanced Software Engineering Methodologies

المنشورات (26)

• A Rewriting Logic Framework for Analyzing Isolation Anomalies in Concurrent Sagas — artifact
  2026 · Zenodo (CERN European Organization for Nuclear Research)
• A data-centric method for microservice identification: From data models analysis to source code assignment
  2026 · Information and Software Technology
• Toward effective LLM-based Automated Program Repair: A taxonomy of prompting strategies and key trends, insights, and challenges
  2026 · Journal of Systems and Software
• Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification Counterexamples as Contextual Prompts
  2026 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
• Privacy-Preserving Medical Image Steganography: A Clinical Quality-Aware Deep Learning Framework
  2025 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · استُشهد به 1 مرة
• Evaluation of FGSM Variants With GradSwitch-MI-FGSM: A Gradient-Level Channel Switching Approach
  2025 · IEEE Access
• Particle Swarm-Enhanced FGSM: Toward More Efficient and Stealthy Adversarial Example Generation
  2025 · International Conference on Artificial Intelligence and Cyber Physical Systems (AICPS)
• High-capacity data hiding for medical images based on the mask-RCNN model
  2024 · Scientific Reports · استُشهد به 15 مرة
• Heterogeneous IoT/LTE ProSe virtual infrastructure for disaster situations
  2023 · Journal of Network and Computer Applications · استُشهد به 10 مرة
• Towards Migrating Legacy Software Systems to Microservice-based Architectures: a Data-Centric Process for Microservice Identification
  2022 · IEEE International Conference on Software Architecture Companion (ICSA-C) · استُشهد به 28 مرة
• Leveraging Predictability for Global Optimization of IoT Networks
  2022 · International Conference on Communications · استُشهد به 2 مرة
• A reputation assessment model for trustful service recommendation
  2022 · Computer Standards & Interfaces · استُشهد به 2 مرة
• SAGA Distributed Transactions Verification Using Maude
  2022 · International Symposium on iNnovative Informatics of Biskra (ISNIB) · استُشهد به 2 مرة
• Hiding Privacy Data in Visual Surveillance Video based on Wavelet and Flexible Function
  2022 · International Conference of Smart Systems and Emerging Technologies (SMARTTECH) · استُشهد به 1 مرة
• Service Oriented D2D Efficient Communication for Post-Disaster Management
  2020 · International Wireless Communications and Mobile Computing Conference (IWCMC) · استُشهد به 6 مرة
• Efficient Distributed D2D ProSe-Based Service Discovery and Querying in Disaster Situations
  2020 · Advances in intelligent systems and computing · استُشهد به 3 مرة
• Reputation Evaluation with Malicious Feedback Prevention Using a HITS-Based Model
  2019 · IEEE International Conference on Web Services (ICWS) · استُشهد به 9 مرة
• Estimating the reputation of newcomer web services using a regression-Based method
  2018 · Journal of Systems and Software · استُشهد به 13 مرة
• Service Discovery in the Internet of Things: A Survey
  2018 · Lecture notes in networks and systems · استُشهد به 8 مرة
• Regression-Based Bootstrapping of Web Service Reputation Measurement
  2015 · IEEE International Conference on Web Services (ICWS) · استُشهد به 11 مرة
• A process to identify relevant substitutes for healing failed WS-* orchestrations
  2015 · Journal of Systems and Software · استُشهد به 6 مرة
• Dbpedia Based Factoid Question Answering System
  2013 · International journal of Web & Semantic Technology · استُشهد به 23 مرة
• Formal Verification of a Subset of UML Diagrams
  2013 · IGI Global eBooks
• Formal Verification of a Subset of UML Diagrams
  2012 · IGI Global eBooks
• Formal Verification of a Subset of UML Diagrams
  2011 · IGI Global eBooks
• Formal Verification of a Subset of UML Diagrams
  2010 · IGI Global eBooks

مجلات النشر

• IGI Global eBooks × 4
• Journal of Systems and Software × 3
• IEEE International Conference on Web Services (ICWS) × 2
• Zenodo (CERN European Organization for Nuclear Research) × 1
• Information and Software Technology × 1
• IEEE/ACM International Conference on Automated Software Engineering (ASE) × 1

المنشورات حسب السنة

• 20264
• 20253
• 20241
• 20231
• 20225
• 20202
• 20191
• 20182
• 20152
• 20132

التعاون العلمي

المؤسسات الشريكة : University of Biskra · University Frères Mentouri Constantine 1 · Institut de Recherche en Informatique et Systèmes Aléatoires

بلدان المؤلفين المشاركين : فرنسا

المؤلفون المشاركون

• Foudil Cherif
• Abdelmalik Bachir
• Allaoua Chaoui
• Sami Abdellatif
• Djawhara Benchaira
• Hadjer Saidi
• Mohamed Lamine Kerdoudi
• Yamina Romani
• Omar Messarhi
• Manel Djerou
• Adel Tahri

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).