Achraf Makni

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Topics

Advanced Driver Assistance Systems

Design Patterns

Top Venues

Publications

Islam Elleuch, Achraf Makni, Rafik Bouaziz
CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS. J. Supercomput. 79 (6) (2023)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
An Intelligent and Efficient Safe Driving System. HIS (2021)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
Cooperative Advanced Driver Assistance Systems: A Survey and Recent Trends. ISDA (2020)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
Cooperative Overtaking Assistance System Based on V2V Communications and RTDB. Comput. J. 62 (10) (2019)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
Design of an Intelligent Cooperative Road Hazard Detection Persistent System. ISDA (1) (2018)
Hela Marouane, Claude Duvallet, Achraf Makni, Rafik Bouaziz, Bruno Sadeg
An UML profile for representing real-time design patterns. J. King Saud Univ. Comput. Inf. Sci. 30 (4) (2018)
Islam Elleuch, Achraf Makni, Rafik Bouaziz
Cooperative Intersection Collision Avoidance Persistent System Based on V2V Communication and Real-Time Databases. AICCSA (2017)
Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg
Definition of Design Patterns for Advanced Driver Assistance Systems. VikingPLoP (2016)
Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg
Defining a UML profile for the consistency of design patterns. AICCSA (2016)
Achraf Makni, Rafik Bouaziz
Performance Evaluation of an Optimistic Concurrency Control Algorithm for Temporal Databases. DBKDA (2010)
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
Formal verification of a new optimistic concurrency control algorithm for temporal databases. SEDE (2007)
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations. Enterprise Information Systems and Web Technologies (2007)
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations. ICEIS (1) (2006)
Achraf Makni, Rafik Bouaziz, Faïez Gargouri
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. TIME (2006)