|
|
|
Lbath Redouane
|
Statut : |
Permanent |
Service/Equipe : |
MACAO |
Contact : |
Redouane.Lbath at irit.fr |
Localisation : |
IRIT-UTM - Bureau MDR/A418 |
Adresse : |
Université Toulouse le Mirail |
|
5, allées A. Machado
|
|
31058 TOULOUSE CEDEX |
Téléphone : |
+33 (0) 5.61.50.39.85 |
Publications : |
|
Parcours
- 1987 : Doctorat d’Informatique (universit´ Aix-Marseille). Sujet : Système expert d’aide au test de systèmes digitaux embarqués
- 1988-1992 : Maître de Conférences à l’Ecole d'Ingénieurs EERIE, Nîmes
- Depuis 1992 : Maître de conférences en informatique à l'université de Toulouse 1 Capitole
- 2003 – 2007 : Membre permanent de l’équipe de recherche GRIMM-ISYCOM, Université de Toulouse II
- Depuis 2007 : Membre permanent de l’équipe IRIT-MACAO
Enseignement
Matières enseignées
- Mathématiques pour l'informatique
- Logique formelle
- Théorie des langages
- Théorie des graphes
- Modélisation à base de graphes
- Preuve formelle des algorithmes
- Architecture à composants logicielles, JEE
- Intelligence artificielle
- Recherche heuristique
- Systèmes à base de connaissances
- Systèmes multi-agents
- Algorithmique et programmation
- Programmation par objets, langage JAVA
- Programmation fonctionnelle, langage LISP
- Programmation logique, langage PROLOG
- Programmation procédurale, langage PASCAL, langage ADA
- Programmation événementielle, langage Visual Basic
- Structures de données et algorithmique associée
- Calcul de complexité des algorithmes
- Bases de données
- Bureautique, C2i
Animation pédagogiques
- Mise en place d'un Diplôme d'Université (DU) option NTIC l'IUT de Rodez (1999-2000)
- Mise en place du département OGP (1992-1993)
- Responsable du centre de calcul à l'Ecole d'ingénieurs EERIE, Nîmes (1987-1991)
- Responsable pédagogique de l'option Génie
Logiciel à l'Ecole d'ingénieurs EERIE, Nîmes (1987-1991)
- Responsable de la salle de calcul du laboratoire LAIM, Université d'Aix-Marseille III(1983-1987)
Recherche
Thèmes de recherche
- Travaux actuels (depuis 2003)
- Modélisation et mise en œuvre répartie de processus logiciels
- Gestion des déviations dans la mise en œuvre assistée des processus logiciels
- Modélisation et mise en œuvre de processus logiciels IDM
- Assistance à la mise en œuvre de processuss logiciels collaboratifs à base de modèles
- Travaux antérieurs à 2003
- Techniques d'IA appliquées aux domaines techniques
- Modélisation des connaissances dans les domaines techniques
- Modélisation hiérarchisée multi-vues
- Aide au test de systès digitaux embarqués
Encadrement
- Encadrements de doctorants
- Modélisation et mise en oeuvre des aspects collaboratifs dans les
processus de développement dirigés par les modèles (Eric KEDJI, thèse en cours)
- Modélisation et mise en œuvre de processus de développement IDM (Samba DIAW, 2011)
- Gestion des déviations dans la mise en œuvre des procédés logiciels (Mohammed KABBAJ, 2009)
- Encadrements de niveau master
- Contribution à l'élaboration d’un AGLP centré processus orienté multi-agents (Samba DIAW, stage de fin
d'études d'ingénieurs, février-juin 2005)
- Encadrement et suivi de stagiaires DEA et DESS au laboratoire LAIM, univ. Aix-Marseille III (1984-1987)
- Encadrement et suivi de stagiaires DEA au laboratoire LERI, Ecole ERIEE, Nîmes (1987-1992)
Projets de recherche
- OBEO SPEM DESIGNER (2011)
- Projet Open source sous Eclipse visant à implémenter le standard SPEM de l'OMG
- Participants : ENSTA Bretagne, IRISA Rennes, OBEO Paris, THALES Paris
- GALAXY (2009-2012)
- Projet ANR portant sur le développement collaboratif de systèmes complexes guidé par les modèles
- Participants : Lip6, Softeam, Airbus, AKKA, IRIT-MACAO, LAAS, LINA
- DOMINO (2007-2009)
- Projet ANR visant à définir une méthodologie outillée de développement IDM
- Participants : IRIT-MACAO, CEA-LIST, ENSIETA, INRIA, SODIFRANCE, CNES
- ESB - Expert System Builder (1983 – 1987)
- Projet ESPRIT (n°96) portant sur l’élaboration d’un environnement de développement de systèmes experts dans
les domaines techniques
- Participants : THOMSON-CSF/CIMSA-SINTRA(France), CSELT(Italie), STL (Danemark), PDS (Grande-Bretagne)
Collaborations
- Collborations industrielles
- AIRBUS Toulouse : Projet GALAXY (depuis 2009)
- SOFTEAM Paris : Projet GALAXY (depuis 2009)
- AKKA Technology Toulouse : Projet GALAXY (depuis 2009)
- OBEO Paris : Projet OBEO SPEM DESIGNER (depuis 2011)
- THALES Paris : Projet OBEO SPEM DESIGNER (depuis 2011)
- THOMSON-CSF/CIMSA-SINTRA Paris : Projet ESPRIT Expert System Builder ESB 96 (1983 – 1987)
- CSELT Italie : Projet ESPRIT Expert System Builder ESB 96 (1983 – 1987)
- STL Danemark : Projet ESPRIT Expert System Builder ESB 96 (1983 – 1987)
- PDS Grande-Bretagne : Projet ESPRIT Expert System Builder ESB 96 (1983 – 1987)
- Collborations académiques
- LIP6 Paris : Projet GALAXY(depuis 2009), Journée Processus et IDM (2010),
Workshop PMDE 2011, Track CSP@WETICE 2012
- LAAS Toulouse : Projet GALAXY(depuis 2009)
- LINA/ATLANLOD Nantes : Projet GALAXY(depuis 2009)
- ENSTA Bretagne : Projet OBEO SPEM DESIGNER (depuis 2011)
- IRISA Rennes : Projet OBEO SPEM DESIGNER (depuis 2011)
Autres activités liées à la recherche
- Membre du Groupe Action IDM et Processus et animation du Wiki IDMP (2011)
- Coorganisation du Workshop PMDE 2011
- Coorganisation avec le LIP6 d’une
journée sur les processus et l'IDM (23 juin 2010, Paris)
- Membre du comité programme de la conférence internationale AIPR (2009)
- Membre du du comité programme de la conférence internationale SETP (2007-2009)
- Séjour d'un mois à l'univesité du Middlesex, Londres, UK en tant que visiteur invité (avril 2002)
- Membre suppléant de la commission de Spécialistes 27ème section, université de Toulouse II (2004–2007)
- Membre de la commission de Spécialistes 27ème section, université de Toulouse I Capitole (1993–1998)
Publications
Liste des publications
|
|