10e
Colloque Africain sur la Recherche en
Informatique
et en Mathématiques Appliquées
CARI'2010
Côte
d'Ivoire,
Yamoussoukro
18 – 21
octobre 2010 / October 18 – 21, 2010
10e
Colloque Africain sur la Recherche en
Informatique
et en Mathématiques Appliquées
10th African Conference
on Research in Computer Science
and Applied Mathematics
[English Version]
Liste des Papiers
acceptés par thématiques:
-
Modélisation
des Systèmes Complexes
-
Signal, image
et multimédia
-
Calcul
Scientifique et Parallélisme
-
Intelligence
artificielle et apprentissage
-
Systèmes
d'Information
-
Systèmes
distribués, systèmes embarqués, réseaux, mobilité
-
Méthodes formelles pour le génie logiciel:

Vue du site de
Yamoussoukrou
1.
Modélisation des systèmes complexes
Coordination : Christophe Lett
• A transmission Model of Bilharzia,
Gilles Riveau, EPLS,
Gauthier Sallet, INRIA&IRD,
Léna Tendeng, Uni. Gaston Berger, Saint Louis,
Sénégal
• Deux espèces en compétition pour un substrat qui
ne peuvent se passer l'une de l'autre,
Mileh El Hajji, UMR MISTEA, Montpellier,
Tewfik Sari, Uni. Haute Alsace, Mulhouse,
Jérôme Harmand, INRA&INRIA
• Influence des conditions trophiques sur le
recrutement des larves d'anchois : approche IBM.
Vamara Koné, CRO, Abidjan,
Christophe Lett, IRD, Pierre Fréon, IRD.
• Un modèle mathématique de la prolifération du
typha,
Mamadou Lamine Diagne, UNMISCO Saint-Louis,
Papa Ibrahima N'Diaye, Univ. de Bambey,
Tewfik Sari, Univ. Haute Alsace, Mulhouse& INRIA&INRA,
Montpellier,
Mary Teuw Niane, UMMISCO Univ. Gaston Berger,
Saint-Louis
• Sur un modèle de compétition et de coexistence
dans le chemostat,
Radhouane Fekih Salem, LAMSIN, Tunis,
Tewfik Sari, Univ. Mulhouse & INRIA,
Nahla Abdellatif, ENSI, Tunisie
• Modèles logistiques déterministes et
stochastiques,
Fabien Campillo, INRIA,
Marc Joannides, Univ. Montpellier.
• Moyennisation sur les cycles lents-rapides,
Karim Yadi, Univ. Aboubekr
Belkaïd Tlemcen, Algérie,
• Modelling and analysis of hepatitis B and HIV
co-infections,
Samuel Bowong, Univ. Douala,
Jean Claude Kamgang, Univ. Ngaoundéré,
Jean Jules Tewa, Univ. Yaoundé,
Berge Tsanou, Univ. de Dschang
• Sur le modèle AMOCO de digestion anaérobie,
Boumédiène Benyahia, Univ. Tlemcen,
Tewfik Sari, Univ. Mulhouse & INRIA,
Brahim Cherki, Univ. Tlemcen, Jérôme Harmand, INRA
• Multiple endemic equilibria for the multipatch
Ross-Macdonald with fast migrations,
Pierre Auger, IRD,
Gauthier Sallet, INRIA & Univ. Metz,
Maurice Tchuenté, Univ. Yaoundé I,
Berge Tsanou, Univ. Dschang
• A SIR model with differential mortality and
constant population,
Bichara Derdeï, INRIA & Univ. Abéché,
Fall Abdoul-Aziz, INRIA & Univ. Gaston Berger,
Saint-Louis,
Adda Phillipe, INRIA,
Gauthier Sallet, INRIA & IRD.
• Modelling of the dynamics of converting shallows
in paddy-dields in forest,
Cyprien Rakotoasimbahoaka, Univ. of Fianarantsoa,
Venot Ratiarson, Univ. of Fianarantsoa,
Bertin Ramamonjisoa, Univ. of Fianarantsoa,
Dominique Hervé, IRD, Madagascar
Comité
de lecture :
Pierre
Auger (IRD, France)
Alassane Bah (Université de Dakar, Sénégal)
Paul Bourgine (Ecole Polytechnique, France)
Fabien Campillo (INRIA, France)
Alexis Drogoul (IRD, France)
François Guerrin (CIRAD, France)
Hassan Hbid (Université de Marrakech, Maroc)
Claude Lobry (INRIA, France)
Christophe Lett (IRD, France)
Tri Nguyen-Huu (IRD, France)
Edith Perrier (IRD, France)
Nicolas Picard (CIRAD, France)
Gauthier Sallet (Université de Metz, France)
Emmanuel Simeu (Université de Grenoble, France)
Maurice Tchuenté (Université de Yaoundé, Cameroun)
Hamidou Touré (Université de Ouagadougou,
Burkina-Faso)
2.
Signal, image et multimédia
Coordinateur : Régine Andre-Obrecht
•
Modèles paramétriques et segmentation,
Imtnan_Ul-Haque Qasi, Univ. Poitiers,
Olivier Alata, Univ. Poitiers,
Jean-Christophe Burie, Univ. La Rochelle,
Ahmed Moussa, Univ. Abdelmalek Essaadi, Tanger,
Christine Fernandez-Maloigne, Univ. Poitiers
•
A Novel Arabic Baseline Estimation Algorithm based
on Sub-Words Localization,
Hanene Boukerma, LABGED, Algérie,
Nadir Farah, LABGED, Algérie.
•
A new approach for regularization of inverse
problems in image processing,
Innocent Souopgui, Lab. Jean Kuntzmann, Grenoble,
François-Xavier Le Dimet, Lab. Jean Kuntzmann,
Grenoble,
Arthur Vidard, Lab. Jean Kuntzmann, Grenoble,
Emmanuel Kamgnia, Univ. Yaoundé I.
• Un modèle déformable 3D intégrant des contraintes
anthropométriques pour la reconstruction faciale
informatisée,
Adel Kermi, Ecole Nationale Supérieure
d’Informatique , Alger,
Sofia Marniche-Kermi, Université Badji-Mokhtar,
Annaba,
Mohamed Tayeb Laskri, Université Badji-Mokhtar,
Annaba.
• Wavelet Inpainting based on a Tixotrope Model,
Messaoud Maouni, Université Badji Mokhtar, Annaba,
Fatma Zohra Nouri, Université Badji Mokhtar, Annaba.
• Compression d’images par SVD et sur-approximation
des composantes de chrominance,
Henri Bruno Razafindradina, Université
d'Antananarivo, Madagascar,
Nicolas Raft Razafindrakoto, Université
d'Antananarivo, Madagascar
• Evaluation objective des méthodes de segmentation
des maillages polygonaux 3D basée sur la
classification de régions,
Amira Zguira, Institut Supérieur d’Informatique et
de Gestion, Kairouan, Tunisie,
Narjes Doggaz, Univ. de Tunis,
Ezzeddine Zagrouba, Institut Supérieur
d’Informatique, Tunis
• Classification d’images couleur texturées.
Ahmed Moussa, Université Abdelmalek Essaadi, Tanger,
Mounir Maouene, Université Abdelmalek Essaadi,
Tanger,
Imtnan Qazi, Université de Poitiers,
Olivier Alata, Université de Poitiers,
Jean-Christophe Burie, Université de La Rochelle.
Abderrahmane Sbihi, Université de Tanger
• A spatial model for editing multimedia document,
Azze-Eddine Maredj, CRIST, Algérie,
Nourreddine Tonkin, CRIST, Algérie,
Madjid Sadallah, CRIST, Algérie,
• Estimation d’une Pseudo-CT basée sur l’IRM,
Hassen Chaibi, USTO Oran,
Rachid Nourine, Université d'Oran Es-Senia,
Habib Zaidi, Geneva University Hospital
• Une approche connexionniste de mesure de qualité
d’images couleur sans référence,
Sonia Ouni, ISI- Tunis & Université de Reims
Champagne Ardenne,
Ezzeddine Zagrouba, Institut Supérieur Informatique
de Tunis,
Majed Chambah, Université de Reims Champagne
Ardenne,
Michel Herbin, Université de Reims Champagne Ardenne
• Sélection automatique des dattes par SVM,
Abdelhamid Djeffal, Université Mohamed Khider -
Biskra Algérie,
Salah Regueb, Université Mohamed Khider - Biskra
Algérie,
Mohamed Chaouki Babahenini, Université Mohamed
Khider - Biskra Algérie.
• Caractérisation spatiale des empreintes de l'index
en analyse biométrique,
Tahirou Djara, Université d'Abomey-Calavi, Bénin,
Marc Kokou Assogba, Université d'Abomey-Calavi,
Bénin,
Amine Naït-Ali, Université Paris XII-Val de Marne.
Comité de lecture :
Régine
André-Obrecht
(Irit,
Toulouse) ,
Lala
Andriamampianina (Ecole Supérieure Polytechnique,
Antananarivo),
Marc Kokou
Assogba (Ecole Polytechnique, Université
d’Abomey-Calavi, Bénin),
Philippe
Destuynder (CNAM, France),
Marc Jaeger (Cirad /Liama,
Pékin),
Tayeb Laskri (Université d’Annaba, Algérie),
Grégoire
Malandain (Inria,
Sophia-Antipolis, France),
Olivier
Monga (IRD),
Raft
Razafindrakoto (CNRIT, Antananarivo),
Abderrahmane
Sbihi (Université Ibn Tofail, Kénitra,
Maroc),
Hela
Sellami
(Tunisie),
Josiane
Zerubia (Inria, Sophia-Antipolis),
Remi Gribonval (Irisa Rennes) remi.gribonval@irisa.fr
Yannick Deville (lab d'Astrophysique Toulouse)
yannick.deville@ast.obs-mip.fr
Teddy Furon (teddy.furon@irisa.fr)
3.
Calcul scientifique et parallélisme
Coordinateur : Bernard Philippe
• Multigrid methods and data assimilation applied to
a linear advection equation,
Emilie Neveu, Lab. Jean Kuntzmann, Grenoble,
Laurent Debreu, Lab. Jean Kuntzmann, Grenoble,
François-Xavier Le Dimet, Lab. Jean Kuntzmann,
Grenoble.
• Parallélisme à deux niveaux dans GMRES avec un
préconditionneur Schwarz multiplicatif,
Désiré Nuentsa Wakam, INRIA Rennes,
Jocelyn Erhel, INRIA Rennes,
Edouard Canot, CNRS Rennes
• Two-Aircraft Acoustic Optimal Control Problem: SQP
algorithms,
Fulgence Nahayo, INRETS-LTE,
Salah Khardi, INRETS-LTE,
Jean Ndimubandi, Université du Burundi,
Mounir Haddou, Université d'Orléans,
Mahmoud Hamadiche, Université de Lyon I.
• Semi-implicit algorithm for fluid-structure
interaction in cerebral aneurysm,
Soyibou Sy, Université de Haute Alsace de Mulhouse,
Cornel Marius Murea, Université de Haute Alsace de
Mulhouse.
• Méthode multipôles rapide pour le couplage entre
éléments finis et représentation intégrale,
Eric Darrigrand, Université de Rennes 1,
Nabil Gmati, École nationale d'ingénieurs de Tunis,
Rania Rais, École nationale d'ingénieurs de Tunis.
• L2-Error estimates of P1-, Q1-, and Q2-finite
volume solutions for subsurface flow problems.
Aubin Jeutsa Kinfack, Université de Yaoundé 1 & IAI,
Ousmane Balira Konfe, IAI, Gabon,
Soulemane Koussoube, IAI, Gabon,
Jocelyn Nembe, IAI, Gabon,
Abdou Njifenjou, Université de Yaoundé I & IAI.
• Mixed finite element method for the stochastic
elasticity equation of Wick type,
Jaona Rafilipojaona , Université de Fianarantsoa,
Madagascar,
Luc Paquet, Université de Valenciennes.
• Nouvelle Méthode d'approximation du flux diffusif
sur un maillage non-structuré 3D,
Rabé Bade, Ecole Nationale d'Ingénieurs de Tunis,
Hedia Chaker, Ecole Nationale d'Ingénieurs de Tunis,
Komla Domelevo, Institut de Mathématiques de
Toulouse,
Mohamed Abdelwahed, Ecole Nationale d'Ingénieurs de
Tunis.
• Modélisation numérique d'une onde acoustique dans
un tore,
Jérôme Adou, Université d'Abidjan Cocody,
Adama Coulibaly, Université d'Abidjan Cocody,
Narcisse Dakouri, Université d'Abidjan Cocody.
Comité de
lecture :
Rajae
Aboulaich (Emi,
Université Mohamed V, Rabat),
Esenam
Akoussah (Université de Lomé),
Amel
Ben Abda (Enit,
Tunis)
David
Bekolle ( Université
de Ngaoundéré,
Cameroun)
Andreas
Griewank
(Humbold Universität, Berlin),
Mohamed
Jaoua (Université de Nice-Sophia Antipolis),
Jérôme
Jaffré (INRIA Rocquencourt),
Emmanuel
Kamgnia (Université de Yaoundé I),
François-Xavier
Le Dimet (Université Joseph Fourier,
Grenoble),
Zoubida
Mghazli (Université de Kenitra)
Maher
moakher (enit,
Tunis)
Maher.moakher@enit.rnu.tn
Nabil
NASSIF ( AUB American
University of Beyrouth,
Liban)
nn12@aub.edu.lb
Mary Teuw
Niane (Université de St Louis du Sénégal)
Abdou
Njifenjou (ENSP, Université de Yaoundé I)
Fatma Zohra
Nouri (Université Badji Mokhtar, Annaba,
Algérie),
Bernard Philippe (Inria
Rennes),
Patrice
Quinton (ENS Cachan, Ker Lann, Rennes),
Jean
Roberts (Inria
Rocquencourt),
Youssef SAAD ( University of
Minnesota, Mineapolis, USA)
Hassan SADOK (Université du Littoral Côte d’Opale,
Calais)
Ahmed SAMEH (Purdue University,
West-Lafayette, USA)
Denis
Trystram
(INPG, Grenoble)
Fabien
Campillo (Inria,
Montpellier)
Laurent
Debreu (Inria,
Grenoble),
Efstratios
Gallopoulos (University of Patras),
Norbert
Noutchegueme
(Université de Yaoundé I)
Hamidou
Toure (Université de Ouagadougou)
4.
Intelligence artificielle et
Apprentissage
Coordinateur : Mokhtar SELLAMI
• Développement des systèmes multi-agents à partir
d’ontologies,
Armel Ayimdji, Université de Yaoundé I,
Souleymane Koussoube, IAI, Libreville,
Laure Pauline Fotso, Université de Yaoundé I.
• Standards IEEE 802.11 and 802.16 peaceful
coexistence in 5 GHz unlicensed bands,
Raoul Zamblé, Institut National Polytechnique
Houphouët Boigny & Université Cheick Anta Diop de
Dakar,
Michel Babri, Institut National Polytechnique
Houphouët Boigny,
Souleymane Oumtanaga, Institut National
Polytechnique Houphouët Boigny,
Boubacar Barry, Université Cheick Anta Diop de
Dakar,
Claude Lishou, Université Cheick Anta Diop de Dakar.
• Datamining et vie privée,
Camara Fodé, Université Cheikh Anta Diop de Dakar,
Yahya Slimani, Université de Tunis,
Samba Ndiaye, Université Cheikh Anta Diop de Dakar.
• Frequent Query Computation in a Star Schema,
Cheikh Tidiane Dieng, Université de Ziguinchor,
Tao Yuan Jen, Université de Cergy-Pontoise,
Dominique Laurent, Université de Cergy-Pontoise.
• Une revue critique des mesures et techniques
d’extraction des motifs corrélés de l'état de l'art,
Nassima Ben Younes, Université de Tunis,
Tarek Hamrouni, Université de Tunis.
• Mise en expérimentation d’un système d’assistance
au tuteur basé sur la réutilisation des indicateurs
d’analyse automatique des interactions,
Ilham Oumaira, Université Ibn Tofail, Kenitra,
Rochdi Messoussi, Université Ibn Tofail, Kenitra,
Touahni Rajaa, Université Ibn Tofail, Kenitra.
• Ontologie taxonomique basée sur l’analyse des
concepts formels. Application à la langue Tamazight,
Mounir Maouene, Université Abdelmalek Essaadi,
Tanger,
Nassira Arkoubi, Université Abdelmalek Essaadi,
Tanger,
Ahmed Moussa, Université Abdelmalek Essaadi, Tanger.
• Cartes topographiques neuronales pour
l'apprentissage par renforcement sur des problèmes
de contrôle non-linéaire,
Emmanuel Daucé, Université de la Méditerrannée,
France,
Alain Dutech, LORIA – INRIA,
• Génération supervisée de règles incertaines,
Amel Borgi, Institut National des Sciences
Appliquées et de Technologie, Tunisie.
• Désambiguïsation de textes arabes pour
l'extraction des candidats termes,
Ibrahim Bounhas, Université El Manar, Tunis,
Yahya Slimani, Université El Manar, Tunis.
• Classification des signaux ECG basée sur la
transformée en ondelettes et les réseaux de neurones
à l'apprentissage supervisé et non supervisé,
Mounia Hendel, Université d'Oran,
Abdelkader Benyettou, Université d'Oran,
Fatiha Hendel, Université d'Oran,
Hiba Khelil, Université d'Oran.
• A model of Distance Learning of Technologies for Developing countries: Case of the Master (M2) in
Telecommunications at the National Advanced School
of Engineering in Cameroon,
Narcisse Talla Tankam, University of Dshang,
Emmanuel Tonye, University of Yaoundé I,
Albert Dipanda, University of Bourgogne,
Landry Ewoussoua, University of Yaoundé I.
• xMoodle2.0 : Une perspective pour la diminution de
la charge cognitive de l’apprenant dans la
plateforme Moodle,
Bernabé Batchakui, Université de Taoundé I,
Claude Tangha, Université de Yaoundé I,
Roger Nkambou, Université de Québec,
Thomas Ndié Djotio, Université de Yaoundé I.
• Une Architecture d’Agent Médiateur Flexible Basée
Ontologie,
Soumeya Bentorki, Université Badji Mokhtar, Annaba,
Habiba Belleili, Université Badji Mokhtar, Annaba.
• Medtrad+ : Un système expert pour la MEDecine
TRADitionnelle,
Konan Marcellin Brou, Institut National
Polytechnique Félix Houphouët Boigny,
Ibrahim Lokpo, Institut National Polytechnique Félix
Houphouët Boigny,
Tra Goore Bi, Institut National Polytechnique Félix
Houphouët Boigny,
Comité de
lecture :
Abdel Ennaji
(LITIS - Université de Rouen),
Monique Baron (LIP6, Université Pierre et Marie Curie),
Stefano A.
Cerri (LIRMM,
University Montpellier2,
France),
Farinas
del Cerro (CNRS, Irit,
Toulouse),
Marie-Pierre
Gleizes (IRIT, Toulouse),
Tarek
Khadir (LRI-Annaba, Algérie),
Jean-Marc
Labat (Université Pierre et Marie Curie),
Philippe Palanque (IRIT, Toulouse),
Ounsa
Roudies (EMI, Rabat, Maroc),
Mokhtar
Sellami (Université d’Annaba, Algérie),
William
Shu
(University of Buea, Cameroon),
Jacques
Siroux (Université de Rennes I),
Kamel
Smaili
(Loria, Nancy),
Salvatore-Antoine Tabbone
(Loria, Nancy),
Amar Balla (Ecole Nationale
Supérieure d'Informatique, Alger)
Karima Benachta (Ecole Nationale
Supérieure d'Informatique, Alger)
Labiba Souici (Université Annaba, Algérie)
Claude Tangha (Ecole Nationale Supérieure Polytechnique, Yaoundé),
Mahieddine Djoudi (Université de
Poitiers, France)
5.
Systèmes d’information
Coordinateur : Joël Sor
• Transformation ATL pour la génération de modèles
Web MVC 2,
Samir Mbarki, Université Ibntofaïl, Maroc,
M'hamed Rahmouni, Université Ibntofaïl, Maroc,
Mohammed Erramdani, Université Mohammed Premier,
Maroc.
• Intégration et interopérabilité des systèmes
d’information,
Jérôme Velo, Université de Toamasina, Madagascar,
Jacques Labiche, Université de Rouen,
Youssouf Saidali, Université de Rouen.
• Distributed Feature Selection modeling:Impact of
Hybridization and Distribution,
Mohamed Amir Esseghir, FST, Tunisia.
• Improving the quality of service of a public
service workflow based on ant theory: A case study
in Cameroon,
Roger Atsa Etoundi, University of Yaoundé I,
Marcel Fouda Ndjodo, University of Yaoundé I,
Ghislain Abessolo Alo'o, University of Yaoundé I,
Priso Essawe Ndedi, University of Yaoundé I.
• Vers l'auto-sélection des index dans les entrepôts
de données: une approche basée sur la recherche des
motifs fréquents maximaux,
Benameur Ziani, Université Amar Télidji de Laghouat,
Algérie,
Youcef Quinten, Université Amar Télidji de Laghouat,
Algérie.
• Spécification d’un modèle de composition des
services web sémantiques,
Issa Traore, Institut National Polytechnique Félix
Houphouët Boigny,
Souleymane Oumtanaga, Institut National
Polytechnique Félix Houphouët Boigny,
Michel Babri, Institut National Polytechnique Félix
Houphouët Boigny,
Etienne Soro, Institut National Polytechnique Félix
Houphouët Boigny,
Claude Lishou, Université Cheick Anta Diop, Dakar.
• Un Système de lutte contre la fraude sur les
documents administratifs,
A. Kuyo Boli, Université Abobo Adjamé, Abidjan,
Ibrahim Lokpo, Institut National Polytechnique Félix
Houphouët Boigny,
Konan M. Brou, Institut National Polytechnique Félix
Houphouët Boigny.
Comité de
lecture :
Mohamed
Daoudi (LIFL CNRS - USTL Lille 1)
Brigitte Kerhervé (Université du Quebec à Montréal),
Philippe
LEMOISSON (CIRAD) (philippe.lemoisson@cirad.fr)
M.K. Luhandjula (University
of Pretoria),
Samba
Ndiaye (Université C.A. Diop, Dakar),
Alain
Pirotte (Université de Louvain, Belgique),
Joël
Sor (Cirad,
Montpellier),
André
Totohasina (Université d’Antsiranana),
Pascale Gautron [mailto:Pascale.Gautron@ensieta.fr]
Christophe GNAHO (Paris 5, UFR Maths-Informatique)
christophe.gnaho@free.fr
6.
Systèmes distribués, systèmes embarqués, réseaux,
mobilité
Coordinateur :César Viho Professeur à l’IFSIC/Université
de Rennes I
Hybrid
Assignment of Dependent Tasks for Grid Computing,
Meriem Meddeber, University of Mascara, Algeria,
Belabbas Yagoubi, University of Oran, Algeria
• Conception par composants de systèmes matériels
pour des applications de télécommunications,
Anne Marie Chana, Université de Yaoundé I,
Steven Derrien, Université de Rennes I,
Patrice Quinton, ENS Cachan Bretagne.
• Modèle comportemental d’interclassement de
résultats dans un système de RIP2P,
Rym Mghirbi, INSAT, Tunisie,
Khédija Arour, INSAT, Tunisie,
Yahya Slimani, Université de Tunis,
Bruno Defude, Institut de télécom et Management Sud
Paris
• A New Composite Metric For QoS Satisfying Both
Mobility And bandwidth Constraints In Manets,
Oudidi Kamal, ENSIAS, Morocco,
Hajami Abdelmajid, ENSIAS, Morocco,
Elkoutbi Mohammed, ENSIAS, Morocco.
• Routage distribué de flux RSS,
Bassirou Ngom, Université Cheikh Anta Diop de Dakar,
Idrissa Sarr, Université Cheikh Anta Diop de Dakar,
Samba Ndiaye, Université Cheikh Anta Diop de Dakar,
Modou Gueye, Université Cheikh Anta Diop de Dakar.
• Service de tolérance aux fautes pour systèmes pervasifs,
Mohammed Rebbah, Université de Mascara, Algérie.
• Intégration des mots de passe à usage unique dans SIP,
Rim Moalla, Institut Télécom Paris & Ecole
supérieure des communications de Tunis,
Ahmed Serhrouchni, Institut Télécom Paris,
Sihem Guemara, Ecole supérieure des communications
de Tunis,
Thomas Guillet, Institut Télécom Paris
• DGIS : Approche distribuée pour une optimisation
de la découverte de ressources dans les grilles,
Cheikhou Thiam, Université Cheikh Anta Diop , Dakar,
Ibrahima Niang, Université Cheikh Anta Diop , Dakar,
Yahia Slimani, Université El manar, Tunis,
Samba Ndiaye, Université Cheikh Anta Diop , Dakar
• Schéma DHT hiérarchique pour la tolérance aux
pannes dans les réseaux P2P-SIP,
Ibrahima Diane, Université Cheikh Anta Diop , Dakar,
Ibrahima Niang, Université Cheikh Anta Diop , Dakar
• Analyse formelle de concept pour le routage des
requêtes des les systèmes pair à pair,
Yeferny Taoufik, Université de Tunis,
Khedija Arour, Institut National des Sciences
Appliquées et de Technologie de Tunis
Comité de lecture :
Jean-Marie
Bonnin (GET/ENST-Bretagne)
Dalila
Chiadmi (Ecole Mohammadia d’Ingénieurs, Rabat),
Gilles
Guette (IUT de Lannion)
Jean-Claude
Hochon (Airbus, France)
Michel
Hurfin (Inria,
Rennes)
Anne-Marie
Kermarec (Inria, Rennes)
Ibrahim
Lokpo (INP Houphouët Boigny, Yamoussoukro, Côte d’Ivoire),
Miklos
Molnar (Insa,
Rennes)
Noufissa
Mikou (Université de Bourgogne, Dijon)
Isabelle
Puaut (Université de Rennes I)
Pierre
Rolin (Télécom INT, Evry)
César
Viho (Université de Rennes I)
7.
Méthodes formelles pour le génie logiciel
Coordinateur : Eric Badouel
• A Generic Formal Model for RTOS: Synchronous
Approach for Rapid Virtual Prototyping,
Abdoulaye Gamatié, CNRS UMR 8022 (LIFL) - INRIA
Lille - Nord Europe
• Collision-resistant hash function based on two
constraints,
René Ndoundam, Université de Yaoundé I,
Juvet Karnel Sadié, Université de Yaoundé I
• Dépliage des réseaux de Petri temporels à modèle
sous-jacent non sauf,
Médésu Sogbohossou, Université d'Abomey-Calavi,
Bénin,
David Delfieu, Université de Nantes
• Cohérence de vues dans la spécification des
Architectures Logicielles,
Georges Edouard Kouamou, Ecole Nationale Supérieure
Polytechnique, Yaoundé,
Paul Feutho, Université de Franche Comté, France
• Fertilisation croisée d'un langage fonctionnel et
d'un langage objet: application à la mise en oeuvre
d'un prototype d'éditeur coopératif asynchrone,
Maurice Tchoupé Tchendji, Université de Dschang,
Cameroun
Comité de
lecture :
Badara Ali
Kaba (IAI, Libreville),
Olivier Barais (Université de Rennes I, Irisa)
Pascal Andre (Université de Nantes),
Eric Badouel (Inria,
Rennes),
Pierre Cointe (Ecole des Mines de Nantes et
Inria),
Jean-Claude
Derniame (Inria Lorraine, Nancy),
Derrick
Kourie
(University of Pretoria),
Ernest Ketcha
Ngassam
(University of Pretoria),
Didier Parigot (Inria,
Sophia-Antipolis),
Houari Sahraoui (Université du Québec à Montréal),
Yahya Slimani (Université d’El Manar, Tunisie),
Djiby Sow (Université Cheik Anta Diop, Dakar)
Théodore Tapsoba (EST, Université Polytechnique, Bobo Dioulasso),
Marcel Tonga (Université de Yaoundé I),
François Vernadat (CNRS,
Laas,
Toulouse),