Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZeFatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamedالصفحات 1-52024أخرى وصول مغلقعدّة مصادر 1
An Enhanced Rewriting Logic Based Semantics for High-Level Petri netsAmmar Boucherit، Kamel Barkaoui، Osman Hasan2021أخرى وصول مغلق 2
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
Modeling UML Template Classes with FoCaLiZeMessaoud Abbas، Choukri-Bey Ben-Yelles، Renaud RiobooLecture notes in computer scienceالصفحات 87-1022014أخرى وصول مغلق 8