Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المُخرَجات البحثية
Interval versus Histogram of Symbolic Representation Based One-Class Classifier for Offline Handwritten Signature Verification
Djoudjai, Mohamed Anis، Chibani, Youcef
2022ورقة مؤتمر وصول مفتوح
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin Snook
A Resilient Hybrid Mechanism for Protecting Healthcare Data from Model Poisoning in Federated Learning
Amara Miloudi، Abdelkader Laouid، Ahcène Bounceur، Mohammed Mounir Bouhamed، Mohammad Hammoudeh
الصفحات 728-7362025أخرى وصول مفتوح
A new analytical model dedicated to diagnose the rolling bearing damage in induction motors - simulation and experimental investigation -
Noureddine Bessous، S. E. Zouzou، Ali Chemsa
المجلّد 133، الصفحات 1-92016أخرى وصول مغلقعدّة مصادر 16
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles، Renaud Rioboo، Messaoud Abbas
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 5
Modelling UML state machines with FoCaLiZe
Messaoud Abbas، Choukri Bey Ben Yelles، Renaud Rioboo
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 3
A maintainable and iterative development approach of critical systems with FoCaLiZe
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro، Osman Hasan، Ammar Boucherit، Abdallah Khababa
International Journal of Critical Computer-Based Systemsالمجلّد 10، (2)، الصفحات 952021مقال وصول مغلق
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Ammar Boucherit، Laura M. Castro، Abdallah Khababa، Osman Hasan
A Comparative Study of Formal Approaches for Web Service Oriented Architecture
Formalizing and Verifying UML Activity Diagrams
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
Development of Critical Systems with UML/OCL and FoCaLiZe
A Novel Technique for Handwritten Signature Recognition
Leila Boucerredj، Karima Kechroud، Bouaziz Noureddine، Abderrahmane Khechekhouche
Machine/Deep Learning for obfuscated malware Detection
الصفحات 390-3962023أخرى وصول مفتوح
Model-Free Deadbeat Predictive Current Control for Grid-Connected Inverters Using Autoregressive Model and Recursive Least Squares
Mostefa Kermadi، Aissa Rebai، Saad Mekhilef، Lotfi Baghli، Nadhir Mesbahi، Marizan Binti Mubin، Hazlie Mokhlis، Harold Steven Ruiz
IEEE Journal of Emerging and Selected Topics in Power Electronicsالمجلّد 13، (4)، الصفحات 5138-51482025مقال وصول مفتوحعدّة مصادر 10
Modified Model-Free Predictive Control for Reliable Operation of Multiple Parallel Grid-Forming Inverters
Mohamed Islam Grairia، Riad Toufouti، Z. M. S. Elbarbary، Mamadou Baïlo Camara، Abderahmane Abid، Shaik Mohammad Irshad، Hafiz Ahmed
A reduced vector model predictive controller for a three-level neutral point clamped inverter with common-mode voltage suppression
Ali Bebboukha، Chouaib Labiod، Redha Meneceur، Ahmed Elsanabary، Mohd. Anas Anees، Saad Mekhilef، Євген Олександрович ЗАЙЦЕВ، Mohit Bajaj، Viktoriia Bereznychenko