Achraf Makni

16 papers C 6Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hybrid intelligent systems for safer traffic: intersection collision avoidance through vehicle to everything and machine learning.
Comput. J.
Safa Batita, Achraf Makni, Ikram Amous
2024 C conf
Intelligent Transportation Systems: A Survey on Data Engineering.
DATA
Safa Batita, Achraf Makni, Ikram Amous
2023 J jnl
CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS.
J. Supercomput.
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2021 C conf
An Intelligent and Efficient Safe Driving System.
HIS
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2020 C conf
Cooperative Advanced Driver Assistance Systems: A Survey and Recent Trends.
ISDA
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2019 J jnl
Cooperative Overtaking Assistance System Based on V2V Communications and RTDB.
Comput. J.
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2018 J jnl
An UML profile for representing real-time design patterns.
J. King Saud Univ. Comput. Inf. Sci.
Hela Marouane, Claude Duvallet, Achraf Makni, Rafik Bouaziz, Bruno Sadeg
2018 — conf
Design of an Intelligent Cooperative Road Hazard Detection Persistent System.
ISDA (1)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2017 C conf
Cooperative Intersection Collision Avoidance Persistent System Based on V2V Communication and Real-Time Databases.
AICCSA
Islam Elleuch, Achraf Makni, Rafik Bouaziz
2016 C conf
Defining a UML profile for the consistency of design patterns.
AICCSA
Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg
2016 — conf
Definition of Design Patterns for Advanced Driver Assistance Systems.
VikingPLoP
Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg
2010 — conf
Performance Evaluation of an Optimistic Concurrency Control Algorithm for Temporal Databases.
DBKDA
Achraf Makni, Rafik Bouaziz
2007 — conf
Formal verification of a new optimistic concurrency control algorithm for temporal databases.
SEDE
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
2007 — conf
Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations.
Enterprise Information Systems and Web Technologies
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
2006 — conf
Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations.
ICEIS (1)
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
2006 C conf
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.
TIME
Achraf Makni, Rafik Bouaziz, Faïez Gargouri