Aissam Belghiat

According to our database, Aissam Belghiat authored at least 16 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Interleaving semantics and verification of UML 2 dynamic interactions using process algebra.

Aissam Belghiat

Sci. Comput. Program., 2025

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

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

Proceedings of the 20th International Conference on Web Information Systems and Technologies, 2024

An Approach for Automatic Bidirectional Mapping Between Data Models and RDF-S.

Aissam Belghiat

Proceedings of the 20th International Conference on Web Information Systems and Technologies, 2024

A Deep Learning-Based Approach with Overlapped Classes Aggregation for Intrusion Detection in Internet of Things Networks.

Salah Eddine Maoudj, Aissam Belghiat

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2024

2020

Transforming UML Diagrams to YAWL Models for Business Processes Analysis.

Aissam Belghiat, Dalal Oukhaf, Allaoua Chaoui

Proceedings of the Modelling and Implementation of Complex Systems, 2020

2018

A multi-paradigm approach to model and verify mobile agent software systems.

Aissam Belghiat, Allaoua Chaoui

Multiagent Grid Syst., 2018

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2016

Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus.

Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

Proceedings of the Theoretical Information Reuse and Integration, 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

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study.

Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem

J. Comput. Inf. Technol., 2016

2015

Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.

Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the ICSOFT-PT 2015, 2015

A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015

2014

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.

Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

2012

From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach.

Aissam Belghiat, Mustapha Bourahla

Proceedings of the 4th International conference on Web and Information Technologies, 2012