A requirement-driven method for process mining based on model-driven engineering
Selsabil Ines Bouhidel, Mohammed Mounir Bouhamed, Gregorio Diaz, Nabil Belala
Research output
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 5
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 3
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
AMuL
Soufiane Boudabous, Okba Kazar, Mohamed Ridda Laouar
Pages 1-52018Other Closed access 1
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
A Comparative Study of Formal Approaches for Web Service Oriented Architecture
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 SystemsVolume 10، (2)، Pages 952021Article Closed access
Development of Critical Systems with UML/OCL and FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Formalizing and Verifying UML Activity Diagrams
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Other Closed accessSeveral sources 2
Modelling and Implementation of Complex Systems
Salim Chıkhı, Abdelmalek Amine, Allaoua Chaoui, Mohamed Khireddine Kholladi, Djamel Eddine Saïdouni
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit, Kamel Barkaoui, Mohammed L. Lamouri
Volume 1، Pages 1-62023Other Closed accessSeveral sources 1
Energy, Financial, and Environmental Investigation of a Direct Steam Production Power Plant Driven by Linear Fresnel Solar Reflectors
Mokhtar Ghodbane, Evangelos Bellos, Zafar Said, Boussad Boumeddane, Abderrahmane Khechekhouche, Mohsen Sheikholeslami, Ziad M. Ali
Fuzzy Logic Control Using SVPWM to Enhance the Control of the DFIG Driven by a Wind Turbine
ECTI Transactions on Electrical Engineering Electronics and CommunicationsVolume 20، (1)، Pages 39-502022Article Open access 3
Utilizing Big Data Analysis to Drive Digital Commerce: Insights from Amazon's Model
Journal of Information Systems Engineering & ManagementVolume 10، (4)، Pages 1003-10202025Article Open access
Performance Simulation of a Solar-Driven Ejector Air Conditioning System
Ghodbane, Mokhtar, Boumeddane, Boussad, Khechekhouche, Abderrahmane
2018Paper Open access