Publications
Search result : Author = Belghiat Aissam
2020
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)
Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui
Transforming UML Diagrams to YAWL models for Business Processes Analysis.. In book Modelling and Implementation of Complex Systems: 279-293 (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
2019
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)
2016
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.. In book Advances in Intelligent Systems and Computing: 59-84 (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)
2014
Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem
Formalization of Mobile UML Statechart Diagrams Using the pi-calculus: An Approach for Modeling and Analysis. Int. Conf. on Information and Software Technologies: 236-247 (2014)