Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
authFullName_s : Laid Kahloul
Image document

A comparative analysis of adaptive consistency approaches in cloud storage

Abdennacer Khelaifa , Saber Benharzallah , Laid Kahloul , Reinhardt Euler , Abdelkader Laouid et al.
Journal of Parallel and Distributed Computing, 2019, 129, pp.36-49. ⟨10.1016/j.jpdc.2019.03.006⟩
Journal articles hal-02501749v1

Transformation of High Level Specification Towards nesC Code

Sara Houhou , Laid Kahloul , Saber Benharzallah , Roufaida Bettira
Second International Conference on Real Time Intelligent Systems, Book: Advances in Intelligent Systems and Computing, Oct 2017, Casablanca, Morocco
Conference papers hal-02954533v1

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification

Samir Tigane , Laid Kahloul , Souheib Baarir , Samir Bourekkache
EAI VALUETOOLS 2020 - 13th EAI International Conference on Performance Evaluation Methodologies and Tools, May 2020, Tsukuba, Japan
Conference papers hal-02545744v1