A requirement-driven method for process mining based on model-driven engineeringSelsabil Ines Bouhidel، Mohammed Mounir Bouhamed، Gregorio Diaz، Nabil BelalaComputer Standards & Interfacesالمجلّد 97، الصفحات 1041082025مقال وصول مفتوح 1
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
PN2Maude: An automatic tool to generate Maude specification for Petri net modelsAmmar Boucherit، Messaoud Abbas، Lamouri Mohamed Lamine، Osman HasanComputer Science Journal of Moldovaالمجلّد 31، (2 (92))، الصفحات 272-2962023مقال وصول مفتوح
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مقال وصول مغلق
A Comparative Study of Formal Approaches for Web Service Oriented ArchitectureMeftah Mohammed Charaf EddineNetwork and Communication Technologiesالمجلّد 5، (2)، الصفحات 152020مقال وصول مفتوح 2
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZeMessaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin SnookJournal of Systems Architectureالمجلّد 114، الصفحات 1019112020مقال وصول مفتوح 36
Formalizing UML/OCL structural features with FoCaLiZeMessaoud Abbas، Choukri-Bey Ben-Yelles، Renaud RiobooSoft Computingالمجلّد 24، (6)، الصفحات 4149-41642019مقال وصول مغلق 8
Formalizing and Verifying UML Activity DiagramsMessaoud Abbas، Mounir Beggas، Ammar BoucheritCommunications in computer and information scienceالصفحات 49-632019أخرى وصول مغلق 3
Formalizing UML/OCL Multiple Inheritance with FoCaLiZeMessaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Riobooالمجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
Modelling UML state machines with FoCaLiZeChoukri Bey Ben Yelles، Renaud Rioboo، Messaoud AbbasInternational Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 5
Modelling UML state machines with FoCaLiZeMessaoud Abbas، Choukri Bey Ben Yelles، Renaud RiobooInternational Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 3
Modelling and Implementation of Complex SystemsSalim Chıkhı، Abdelmalek Amine، Allaoua Chaoui، Mohamed Khireddine Kholladi، Djamel Eddine SaïdouniLecture notes in networks and systems2016كتاب وصول مغلق 13
Modeling UML Template Classes with FoCaLiZeMessaoud Abbas، Choukri-Bey Ben-Yelles، Renaud RiobooLecture notes in computer scienceالصفحات 87-1022014أخرى وصول مغلق 8