A proposed theoretical psychological accompaniment model: "Support Companion" for individuals with special needsNadia Menaceur، Ammar BoucheritSTUDIES IN EDUCATION SCIENCESالمجلّد 6، (4)، الصفحات e219872025مقال وصول مفتوح
A maintainable and iterative development approach of critical systems with FoCaLiZeFatima Haloua، Messaoud Abbas، Ammar Boucherit، Hessa AlfraihiSTUDIES IN ENGINEERING AND EXACT SCIENCESالمجلّد 5، (1)، الصفحات 1821-18712024مقال وصول مفتوح
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex DynamicsAmmar Boucherit، Kamel Barkaoui، Mohammed L. Lamouriالمجلّد 1، الصفحات 1-62023أخرى وصول مغلقعدّة مصادر 1
An Enhanced Rewriting Logic Based Semantics for High-Level Petri netsAmmar Boucherit، Kamel Barkaoui، Osman Hasan2021أخرى وصول مغلق 2
Development of Critical Systems with UML/OCL and FoCaLiZeMessaoud Abbas، Fatima Haloua، Ammar BoucheritCommunications in computer and information scienceالصفحات 16-302021أخرى وصول مغلق 1
Towards a hybrid formal analysis technique for safety-critical software architecturesLaura M. Castro، Osman Hasan، Ammar Boucherit، Abdallah KhababaInternational Journal of Critical Computer-Based Systemsالمجلّد 10، (2)، الصفحات 952021مقال وصول مغلق
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systemsAmmar Boucherit، Laura M. Castro، Abdallah Khababa، Osman HasanMultiagent and Grid Systemsالمجلّد 16، (1)، الصفحات 47-662020مقال وصول مغلق 8
Formalizing and Verifying UML Activity DiagramsMessaoud Abbas، Mounir Beggas، Ammar BoucheritCommunications in computer and information scienceالصفحات 49-632019أخرى وصول مغلق 3