Laboratoire des Systèmes Informatiques
Accueil > Equipes de recherche > MOVES > MOVES

MOVES

Equipe Modélisation et Vérification des Systèmes parallèles (M.O.V.E.S)

Thèmes de recherche

Les travaux de l’équipe s’intéressent à la modélisation et à la vérification des systèmes temps réels complexes par l’utilisation de méthodes formelles rigoureuses. Notons que les systèmes temps réels sont souvent au coeur d’applications critiques telles que l’avionique, les systèmes intégrés sur puces, les centrales nucléaires,…etc. D’ailleurs, il est envisagé l’application de ces techniques pour la validation de systèmes spécifiques, types embarqués, tolérants aux fautes et multimédia. Pour ce besoin, différentes approches sont explorées par les membres de l’équipe ...
Lire la suite

Chef d’équipe

Membres

Articles de cette rubrique


Abdelli (MOVES)

vendredi 4 mars 2011 par webmaster
Current Role : Associate Professor at the Computer Science Department- USTHB university. Research Member at the LSI laboratory.Contact information :Email : Abdelli@lsi-usthb.dz, Akabdelli@gmail.com Postal mail : Computer Science Department- Bp 32 el Alia Babezzouer Algiers Algeria. 16111. (...)


Thèmes de recherche (MOVES)

dimanche 25 janvier 2009 par webmaster
Les travaux de l’équipe s’intéressent à la modélisation et à la vérification des systèmes temps réels complexes par l’utilisation de méthodes formelles rigoureuses. Notons que les systèmes temps réels sont souvent au coeur d’applications critiques telles que l’avionique, les systèmes intégrés sur puces, les (...)


Publications (MOVES)

dimanche 25 janvier 2009 par webmaster
Année 2011 A.Abdelli and N. Badache « Context-aware Adaptation of Multimedia Documents for Consistent Presentations.. » to appear ACM- Multimedia Systems Journal- Springer Verlag. A.Abdelli « A Much compact abstraction of the state space of real time Preemptive Systems » In international journal (...)


Communications (MOVES)

dimanche 25 janvier 2009 par webmaster
Année 2010 H. BENKAOUHA, A. ABDELLI, K. BOUYAHIA, Y. KALOUNE. « FDAN : Failure Detection Protocol for Mobile Ad hoc Networks. », FGCN’2010, LNCS- Korea, Décembre 2010. A. ABDELLI, "Contracting the state space of real time preemptive systems", In ICACSIS Bali- Indonesia, Nov 2010". A. ABDELLI. (...)


Thèses de doctorat (MOVES)

dimanche 25 janvier 2009 par webmaster
Soutenues : 1. A. ABDELLI : « Sémantique et validation d« un modèle à base de RdpT pour la spécification des systèmes temps réel complexes : applications aux systèmes multimédia » Soutenue le 25 Novembre 2007 sous la direction du Pr N. Badache. En cours : 1. S.MAZOUZ : « Analyse modulaire des réseaux (...)