الرئيسية › دليل الباحثين › Souad Marir

Souad Marir

الانتماء : Université Constantine 2

• 4منشورات (انتماء جزائري)
• 6مجموع المنشورات
• 24الاستشهادات
• 3مؤشر h

ORCIDOpenAlex

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• IoT and Edge/Fog Computing
• Multi-Agent Systems and Negotiation

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

• A Strategy-Based Formal Approach for Fog Systems Analysis
  2022 · Future Internet · استُشهد به 5 مرة
• Formal Modeling IoT Systems on the Basis of BiAgents* and Maude
  2020 · International Conference on Advanced Aspects of Software Engineering (ICAASE) · استُشهد به 7 مرة
• A Formal Model for Interaction Specification and Analysis in IoT Applications
  2018 · Lecture notes in computer science · استُشهد به 9 مرة
• BiAgent-Based Model for IoT Applications
  2018 · Lecture notes in computer science · استُشهد به 3 مرة

مجلات النشر

• Lecture notes in computer science × 2
• Future Internet × 1
• International Conference on Advanced Aspects of Software Engineering (ICAASE) × 1

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

• 20221
• 20201
• 20182

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

المؤسسات الشريكة : Université de Pau et des Pays de l'Adour · Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

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

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

• Faïza Belala
• Roumeissa Kitouni
• Zakaria Benzadri

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