Get started
Author

Ahmed Bouzenada

Observed name: bouzenada, ahmed
Observed institution: Université Constantine 2
ORCID: 0000-0002-0142-2083
Observed ORCID: 0000-0002-0142-2083
OpenAlex ID: A5026768748
Formal Modelling and Verification of Multi-Parameter Context and Agent Transition Systems: Application to Urban Delivery Zone and Autonomous Electric Vehicle
2025 · Abir Nemouchi, Ahmed Bouzenada, et al. · World Electric Vehicle Journal · 4
PDF
An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques
2022 · Ahmed Bouzenada, Mohammed Mounir Bouhamed, et al. · Lecture notes in networks and systems · 2
A Finite Representation of Durational Action Timed Automata Semantics
2024 · Ahmed Bouzenada, Djamel Eddine Saidouni, et al. · Mathematics · 1
PDF
Shielded Reinforcement Learning for Safe Agent Transition System: An Autonomous Electric Vehicle Case Study
2026 · Abir Nemouchi, Ahmed Bouzenada, et al. · Lecture notes in networks and systems
A Multimodal Approach for Real-Time Violence Detection Based on Physical Actions and Facial Expressions
2026 · Hamza Halladj, Ahmed Bouzenada, et al. · Lecture notes in networks and systems
Context modelling for Intelligent Transportation Systems: Concepts, Approaches, and Applications
2025 · Abir Nemouchi, Djamel Eddine Saidouni, et al. · International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS)
Works count: 7
Citation count: 7
H-index: 2
I10-index:
Year
Topic
Type