Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations. - Achraf Makni; Rafik Bouaziz; Faïez Gargouri (ICEIS (1), 2006)

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. - Achraf Makni; Rafik Bouaziz; Faïez Gargouri (TIME, 2006)

Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations. - Achraf Makni; Rafik Bouaziz; Faïez Gargouri (Enterprise Information Systems and Web Technologies, 2007)

Formal verification of a new optimistic concurrency control algorithm for temporal databases. - Achraf Makni; Rafik Bouaziz; Faïez Gargouri (SEDE, 2007)

Performance Evaluation of an Optimistic Concurrency Control Algorithm for Temporal Databases. - Achraf Makni; Rafik Bouaziz (DBKDA, 2010)

Defining a UML profile for the consistency of design patterns. - Hela Marouane; Achraf Makni; Rafik Bouaziz; Claude Duvallet; Bruno Sadeg (AICCSA, 2016)

Definition of Design Patterns for Advanced Driver Assistance Systems. - Hela Marouane; Achraf Makni; Rafik Bouaziz; Claude Duvallet; Bruno Sadeg (VikingPLoP, 2016)

Cooperative Intersection Collision Avoidance Persistent System Based on V2V Communication and Real-Time Databases. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (AICCSA, 2017)

Design of an Intelligent Cooperative Road Hazard Detection Persistent System. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (ISDA (1), 2018)

An UML profile for representing real-time design patterns. - Hela Marouane; Claude Duvallet; Achraf Makni; Rafik Bouaziz; Bruno Sadeg (J. King Saud Univ. Comput. Inf. Sci., 2018)

Cooperative Overtaking Assistance System Based on V2V Communications and RTDB. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (Comput. J., 2019)

Cooperative Advanced Driver Assistance Systems: A Survey and Recent Trends. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (ISDA, 2020)

An Intelligent and Efficient Safe Driving System. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (HIS, 2021)

CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS. - Islam Elleuch; Achraf Makni; Rafik Bouaziz (J. Supercomput., 2023)

Intelligent Transportation Systems: A Survey on Data Engineering. - Safa Batita; Achraf Makni; Ikram Amous (DATA, 2024)