| |
| 2007 | ||
|---|---|---|
| 4 | 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: 258-265 | |
| 3 | Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal verification of a new optimistic concurrency control algorithm for temporal databases. SEDE 2007: 235-242 | |
| 2006 | ||
| 2 | Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations. ICEIS (1) 2006: 269-272 | |
| 1 | EE | Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. TIME 2006: 160-167 |
| 1 | Rafik Bouaziz | [1] [2] [3] [4] |
| 2 | Faïez Gargouri | [1] [2] [3] [4] |