Achraf Makni

According to our database, Achraf Makni authored at least 14 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

CICAPS: a cooperative intersection collision avoidance persistent system for cooperative intersection ADAS.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

J. Supercomput., April, 2023

2021

An Intelligent and Efficient Safe Driving System.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

Proceedings of the Hybrid Intelligent Systems, 2021

2020

Cooperative Advanced Driver Assistance Systems: A Survey and Recent Trends.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

Proceedings of the Intelligent Systems Design and Applications, 2020

2019

Cooperative Overtaking Assistance System Based on V2V Communications and RTDB.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

Comput. J., 2019

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

Design of an Intelligent Cooperative Road Hazard Detection Persistent System.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

Proceedings of the Intelligent Systems Design and Applications, 2018

2017

Cooperative Intersection Collision Avoidance Persistent System Based on V2V Communication and Real-Time Databases.

Islam Elleuch, Achraf Makni, Rafik Bouaziz

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016

Definition of Design Patterns for Advanced Driver Assistance Systems.

Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg

Proceedings of the 10th Travelling Conference on Pattern Languages of Programs, 2016

Defining a UML profile for the consistency of design patterns.

Hela Marouane, Achraf Makni, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2010

Performance Evaluation of an Optimistic Concurrency Control Algorithm for Temporal Databases.

Achraf Makni, Rafik Bouaziz

Proceedings of the Second International Conference on Advances in Databases, 2010

2007

Formal verification of a new optimistic concurrency control algorithm for temporal databases.

Achraf Makni, Rafik Bouaziz, Faïez Gargouri

Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007

Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations.

Achraf Makni, Rafik Bouaziz, Faïez Gargouri

Proceedings of the International Conference on Enterprise Information Systems and Web Technologies, 2007

2006

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.

Achraf Makni, Rafik Bouaziz, Faïez Gargouri

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations.

Achraf Makni, Rafik Bouaziz, Faïez Gargouri

Proceedings of the ICEIS 2006, 2006