Issam BELGHIAT
...
Maître de conférences
Univ. Constantine 2
Equipe : MFGL

Détails
Publications
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019)
Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. of Computing and Information Technology (CIT) 24(2): 149-163 (2016)
Aissam Belghiat; Allaoua Chaoui
Mapping Mobile Statechart Diagrams to the pi-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. of Intelligent Information Technologies (IJIIT) 12(4): 1-20 (2016)
Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem
Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus. Theoretical Information Reuse and Integration (IRI): 59-84 (2016)
Thèse de doctorat
Issam Belghiat
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul. Université Constantine 2, Algérie (2017)