الرئيسية › دليل الباحثين › Malika Boukala

Malika Boukala

الانتماء : University of Sciences and Technology Houari Boumediene

• 7منشورات (انتماء جزائري)
• 8مجموع المنشورات
• 7الاستشهادات
• 2مؤشر h

OpenAlex

مجالات البحث

• Formal Methods in Verification
• Petri Nets in System Modeling
• Business Process Modeling and Analysis
• Multimedia Communication and Technology
• Model-Driven Software Engineering Techniques

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

• Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
  2017 · HAL
• Recursive ECATNets-Based Approach for Formally Verifying SysML Activity Diagrams
  2015 · HAL
• Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis
  2014 · International Conference on Future Internet of Things and Cloud (FiCloud) · استُشهد به 1 مرة
• Efficient and modular modeling of hierarchical multimedia objects by using time ERPN+
  2014
• Modular Modeling of SMIL Documents with Complex Termination Events.
  2014
• Modular modeling and analyzing of multimedia documents with repetitive objects
  2013 · استُشهد به 2 مرة
• Time Recursive Petri Nets
  2008 · Lecture notes in computer science · استُشهد به 4 مرة

مجلات النشر

• HAL × 2
• International Conference on Future Internet of Things and Cloud (FiCloud) × 1
• Lecture notes in computer science × 1

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

• 20171
• 20151
• 20143
• 20131
• 20081

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

المؤسسات الشريكة : University Yahia Fares of Medea

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

• Djaouida Dahmani
• Samia Mazouz
• Messaoud Rahim
• Nabila Salmi
• Ahmed Kheldoun
• Hamza Zerguine

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