Aissam Belghiat

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 5

Top Topics

Graph Transformation

Software Systems

Top Venues

Publications

Aissam Belghiat, Dalal Oukhaf, Allaoua Chaoui
Transforming UML Diagrams to YAWL Models for Business Processes Analysis. MISC (2020)
Aissam Belghiat, Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent Grid Syst. 14 (4) (2018)
Aissam Belghiat, Allaoua Chaoui
A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. ICAASE (2018)
Aissam Belghiat, Allaoua Chaoui
Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. Intell. Inf. Technol. 12 (4) (2016)
Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. Comput. Inf. Technol. 24 (2) (2016)
Aissam Belghiat, Allaoua Chaoui
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. ICSOFT-PT (2015)
Aissam Belghiat, Allaoua Chaoui
A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. IPAC (2015)
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus. IRI (2015)
Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. ICIST (2014)
Aissam Belghiat, Mustapha Bourahla
From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. ICWIT (2012)