الرئيسية › دليل الباحثين › Redouane Bouchekir

Redouane Bouchekir

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

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

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Logic, programming, and type systems
• Business Process Modeling and Analysis
• Software Testing and Debugging Techniques
• Safety Systems Engineering in Autonomy

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

• Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process
  2018 · Innovations in Systems and Software Engineering · استُشهد به 7 مرة
• Toward Implicit Learning for the Compositional Verification of Markov Decision Processes
  2018 · Lecture notes in computer science · استُشهد به 1 مرة
• Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes
  2016 · International Conference on Simulation and Modeling Methodologies, Technologies and Applications · استُشهد به 3 مرة
• Symbolic probabilistic analysis and verification of inter-organizational workflow
  2016 · International Conference on Information Technology for Organizations Development (IT4OD) · استُشهد به 1 مرة

مجلات النشر

• Innovations in Systems and Software Engineering × 1
• Lecture notes in computer science × 1
• International Conference on Simulation and Modeling Methodologies, Technologies and Applications × 1
• International Conference on Information Technology for Organizations Development (IT4OD) × 1

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

• 20182
• 20162

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

• Mohand Cherif Boukala
• Saïda Boukhedouma

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