offres d'emploi formations actualités contact accès annuaire intranet

Emna CHEBBI

Doctorant, Equipe Osmose

Adresse électronique : chebbi [at] lisic.univ-littoral.fr


Publications


2018


From Formal Modeling to Discrete Event Simulation: Application to the Design and Evaluation of a Routing Protocol for Vehicular Ad Hoc Networks

Emna Chebbi, Patrick Sondi, Éric Ramat
International Journal On Advances in Networks and Services, v 11 n 1&2 2018

Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment

Emna Chebbi, Patrick Sondi, Eric Ramat, Lucas Rivoirard, Martine Wahl
9th International Conference on Ambient Systems, Networks and Technologies (ANT-2018), Porto, Procedia Computer Science (Elsevier), Volume 130, Pages 344-351, 2018

Vérification de propriétés d'une méthode de clustering pour réseaux de véhicules par la simulation à événements discrets

Emna Chebbi, Patrick Sondi, Eric Ramat
Journées DEVS francophones 2018, Cargese, 2018


2017


Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation

EMNA CHEBBI, PATRICK SONDI, ERIC RAMAT
SIMUL 2017 - the Ninth International Conference on Advances in System Simulation, Athens, Greece, October 2017
Voir le lien