Aissam Belghiat

17 papers C 2Misc 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A deep learning-based approach with two-step minority classes prediction for intrusion detection in Internet of Things networks.
Knowl. Based Syst.
Salah Eddine Maoudj, Aissam Belghiat
2025 J jnl
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra.
Sci. Comput. Program.
Aissam Belghiat
2025 — conf
Optimizing Trust and Performance in Cloud Service Composition Using Simulated Annealing.
RIF
Rima Cheraitia, Aissam Belghiat, Youcef Gheraibia
2024 — conf
A Deep Learning-Based Approach with Overlapped Classes Aggregation for Intrusion Detection in Internet of Things Networks.
ICAASE
Salah Eddine Maoudj, Aissam Belghiat
2024 C conf
A Model Driven-Based Approach for Converting Feature Models of Software Product Lines to OWL Ontologies.
WEBIST
Aissam Belghiat, Mohamed Boubakir, Ghada Chouikh, Djamila Kemmache
2024 C conf
An Approach for Automatic Bidirectional Mapping Between Data Models and RDF-S.
WEBIST
Aissam Belghiat
2020 — conf
Transforming UML Diagrams to YAWL Models for Business Processes Analysis.
MISC
Aissam Belghiat, Dalal Oukhaf, Allaoua Chaoui
2018 — conf
A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose.
ICAASE
Aissam Belghiat, Allaoua Chaoui
2018 J jnl
A multi-paradigm approach to model and verify mobile agent software systems.
Multiagent Grid Syst.
Aissam Belghiat, Allaoua Chaoui
2016 — ch.
Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus.
Theoretical Information Reuse and Integration
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem
2016 J jnl
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.
Aissam Belghiat, Allaoua Chaoui
2016 J jnl
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study.
J. Comput. Inf. Technol.
Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem
2015 — conf
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.
ICSOFT-PT
Aissam Belghiat, Allaoua Chaoui
2015 — conf
A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus.
IPAC
Aissam Belghiat, Allaoua Chaoui
2015 Misc conf
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.
IRI
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem
2014 — conf
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.
ICIST
Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem
2012 — conf
From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach.
ICWIT
Aissam Belghiat, Mustapha Bourahla