Allaoua CHAOUI
(+213) 670 15 74 58
Details
| 5 recent publications |
|---|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021) |
|
|
Mohamed Boubakir; Allaoua Chaoui
An Approach And A Tool For Merging A Set Of Models In Pairwise Way. Malaysian J. of Computer Science 34(1): 13–33 (2021) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020) |
|
|
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (2020) |
|
|
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020) |
| Title | Speciality | Level |
|---|---|---|
|
Ingénierie Dirigée par les Modèles
INDM |
Réseaux Et Systèmes Distribués (RSD) | Master 1 |
|
Complexité des Algorithmes Séquentiels et Parallèles
CASP |
Réseaux Et Systèmes Distribués (RSD) | Master 1 |
|
Compilation
COMP |
Science de l'Informatiques (SCI) | Licence 3 |
| PhD student | Title | |
|---|---|---|
| Boubakir Mohamed | La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants |
No training period to display.
No software to display.