From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. - Aissam Belghiat; Mustapha Bourahla (ICWIT, 2012)

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. - Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem (ICIST, 2014)

A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus. - Aissam Belghiat; Allaoua Chaoui (IPAC, 2015)

A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. - Aissam Belghiat; Allaoua Chaoui (ICSOFT-PT, 2015)

Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus. - Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem (IRI, 2015)

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. - Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem (J. Comput. Inf. Technol., 2016)

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. - Aissam Belghiat; Allaoua Chaoui (Int. J. Intell. Inf. Technol., 2016)

Capturing and Verifying Dynamic Systems Behavior Using UML and pi π -Calculus. - Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem (Theoretical Information Reuse and Integration, 2016)

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. - Aissam Belghiat; Allaoua Chaoui (ICAASE, 2018)

A multi-paradigm approach to model and verify mobile agent software systems. - Aissam Belghiat; Allaoua Chaoui (Multiagent Grid Syst., 2018)

Transforming UML Diagrams to YAWL Models for Business Processes Analysis. - Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui (MISC, 2020)

A Deep Learning-Based Approach with Overlapped Classes Aggregation for Intrusion Detection in Internet of Things Networks. - Salah Eddine Maoudj; Aissam Belghiat (ICAASE, 2024)

An Approach for Automatic Bidirectional Mapping Between Data Models and RDF-S. - Aissam Belghiat (WEBIST, 2024)

A Model Driven-Based Approach for Converting Feature Models of Software Product Lines to OWL Ontologies. - Aissam Belghiat; Mohamed Boubakir; Ghada Chouikh; Djamila Kemmache (WEBIST, 2024)

A deep learning-based approach with two-step minority classes prediction for intrusion detection in Internet of Things networks. - Salah Eddine Maoudj; Aissam Belghiat (Knowl. Based Syst., 2025)

Interleaving semantics and verification of UML 2 dynamic interactions using process algebra. - Aissam Belghiat (Sci. Comput. Program., 2025)