الرئيسية › دليل الباحثين › Sofiane Bourouz

Sofiane Bourouz

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

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

ORCIDOpenAlex

مجالات البحث

• Service-Oriented Architecture and Web Services
• Business Process Modeling and Analysis
• Petri Nets in System Modeling
• Formal Methods in Verification
• Software Testing and Debugging Techniques

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

• On context-independent and context-aware cloud services substitutability verification
  2018 · International Journal of Critical Computer-Based Systems
• Towards formal checking of Web services substitutability
  2016 · International Conference on Advanced Aspects of Software Engineering (ICAASE) · استُشهد به 1 مرة
• Verifying Web services substitutability using open colored nets reduction techniques
  2013 · International Conference on Modeling, Simulation, and Applied Optimization · استُشهد به 2 مرة

مجلات النشر

• International Journal of Critical Computer-Based Systems × 1
• International Conference on Advanced Aspects of Software Engineering (ICAASE) × 1
• International Conference on Modeling, Simulation, and Applied Optimization × 1

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

• 20181
• 20161
• 20131

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

المؤسسات الشريكة : University Frères Mentouri Constantine 1

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

• Nadia Zeghib

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