IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

Photo

  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)

 

Haut de page

 

 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)

 

 

Haut de page

 

 Publications

Liste des publications

 

Haut de page