| 2008 |
|---|
| 6 | EE | Nizar Idoudi,
Claude Duvallet,
Bruno Sadeg,
Rafik Bouaziz,
Faïez Gargouri:
Structural Model of Real-Time Databases: An Illustration.
ISORC 2008: 58-65 |
| 2007 |
|---|
| 5 | | 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 |
| 4 | | Achraf Makni,
Rafik Bouaziz,
Faïez Gargouri:
Formal verification of a new optimistic concurrency control algorithm for temporal databases.
SEDE 2007: 235-242 |
| 3 | EE | Rafik Bouaziz,
Salem Chakhar,
Vincent Mousseau,
Sudha Ram,
Abdelkader Telmoudi:
Database design and querying within the fuzzy semantic model.
Inf. Sci. 177(21): 4598-4620 (2007) |
| 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 |
