الرئيسية › دليل الباحثين › Kamel Barkaoui

Kamel Barkaoui

الانتماء : Conservatoire National des Arts et Métiers · Centre d'études et de recherche en informatique et communications

• 8منشورات (انتماء فرنسي)
• 21مجموع المنشورات
• 181الاستشهادات
• 5مؤشر h

OpenAlex

مجالات البحث

• Petri Nets in System Modeling
• Business Process Modeling and Analysis
• Model-Driven Software Engineering Techniques
• Logic, programming, and type systems
• Formal Methods in Verification

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

• Research in Computer Science
  2025 · Communications in computer and information science · استُشهد به 1 مرة
• Genetic Algorithm-Based Approach for Optimizing Query Performance in Big Data Environments
  2024 · IEEE International Conference on Advanced Systems and Emergent Technologies (IC_ASET) · استُشهد به 1 مرة
• A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
  2023 · IEEE International Conference on Networking, Sensing and Control (ICNSC) · استُشهد به 1 مرة
• An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets
  2021 · HAL · استُشهد به 2 مرة
• Formal Modeling and Analysis of AADL Threads in Real Time Maude
  2012 · Journal of Software Engineering and Applications · استُشهد به 2 مرة
• Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems
  2011 · International Conference on New Technologies of Distributed Systems (NOTERE)
• Towards a tile based LfP semantics
  2008 · International Conference on Research Challenges in Information Science (RCIS) · استُشهد به 2 مرة
• The performance of alternative strategies for dealing with deadlocks in FMS
  2002 · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · استُشهد به 4 مرة

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

• Rabah Benamara
• Mathieu Roche A

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