Dimanche 5 septembre 2010 # 20:03 INRIA IRD CIRAD UNU AUF CIMPA
 login: passwd:

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),