L`unité de recherche ReDCAD Responsable : Pr Mohamed

Transcription

L’unité de recherche ReDCAD
Responsable : Pr Mohamed JEMAIEL
e-mail : [email protected]
http://www.redcad.org
I.
Présentation :
L’unité de Recherche en Développement et Contrôle d’Applications Distribuées (ReDCAD) a été
créée en Octobre 2005 au Département de Génie Informatique et de Mathématiques Appliquées
de l’école Nationale d’Ingénieurs de Sfax.
Les activités principales exercées par les membres de l’équipe incluent : la recherche scientifique,
la formation et l’encadrement de jeunes chercheurs, la participation à la vie socioéconomique, la
contribution à des projets de recherche nationaux et internationaux et l’organisation de
manifestations scientifiques nationales et internationales.
Les activités de recherche au sein de l’équipe ReDCAD s’inscrivent dans le domaine des
applications adaptatives distribuées et s’intéressent particulièrement au développement de
modèles, approches, techniques et outils qui aident à la conception et la mise en œuvre
d’applications distribuées adaptatives et éventuellement mobiles.
II.
Thèmes et axes de recherche
Quatre thèmes de recherche se développent au sein de l’unité ReDCAD :
1. Approches formelles de conception d’applications distribuées adaptatives
2. Déploiement et gestion d’applications distribuées adaptatives
3. Applications distribuées à base d’agents mobiles
1
Created with Print2PDF. To remove this line, buy a license at: http://www.software602.com/
4. Modélisation et évaluation de la qualité de services des réseaux ad-hoc.
III.
Coopération
Les collaborations au sein de l’unité ReDCAD sont principalement universitaires. Elles se
manifestent à travers une codirection de thèses avec :
1. des laboratoires français : tel que le laboratoire LAAS de l’université de Toulouse, le
laboratoire LaBRI de l’université de Bordeaux I,
2. des Laboratoires Nationaux : tel que le laboratoire MIRACL de l’Institut Supérieur
d'Informatique et du Multimédia de Sfax,
3. des laboratoires Allemands : tel que le laboratoire Software Technologie Group de
l’université technique de Darmstadt.
IV.
Publications
 En 2009

An xADL Extension for Managing Dynamic Deployment in Distributed Service
Oriented Architectures
(conférence) the 3rd International Conference on Fundamentals of Software
Engineering, date début : 2009-04-15, date fin : 2009-04-17, 8 pages
[ Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira ]

Electing a Leader in the Local Computation Model Using Mobile Agents
(conférence) , date début : 2009-03-29, date fin : 2009-04-02, 6 pages
[ Mohamed Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah,
Mohamed Jmaiel ]

From Formal Access Control Policies to Runtime Enforcement Aspects
(conférence) International Symposium on Engineering Secure Software and Systems,
date
début
:
2009-02-04,
date
fin
:
2009-02-06,
16
pages
[ Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose ]
 En 2008

Multi-layer coordinated adaptation based on graph refinement for cooperative
activities
(journal) Communications of SIWN, 2008-09-09
2
[ Ismail bouassida, Nicolas Van Wambeke, Khalil Drira , Christophe Chassot ,
Mohamed Jmaiel ]

Providing predictive self-healing for web services: a QoS monitoring and
analysis-based approach
(journal) Journal of Information Assurance and Security (JIAS), volume 3, 2008-0901, 10 pages
[ Riadh BEN HALIMA Karim GUENNOUN Mohamed JMAIEL Khalil DRIRA ]

An experimental evaluation of SEC+, an enhanced search engine for componentbased software developme
(journal) SIGSOFT Softw. Eng. Notes, volume 33, 2008-07-25, 3 pages
[ Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel ]

ForMAAD: A Formal Method For Agent-Based Application Design
(journal) Web Intelligence and Agent Systems International Journal, volume 5, 200801-24, 10 pages
[ Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel ]

Using Aspects for Enforcing Formal Architecturals Invariants
(journal) Electronic Notes in Theorical Computer Science (Elseiver), volume 215,
2008-01-01, 17 pages
[ Slim Kallel and Anis Charfi and Mohamed Jmaiel ]

Service
level
agreement
modeling
and
monitoring
using
ontologies
(conférence) JF0 2008, date début : 2008-12-01, date fin : 2008-12-03, 6 pages
[ Kaouthar FAKHFAKH, Tarak CHAARI, Saïd TAZI, Khalil DRIRA and Mohamed
JMAIEL ]

Aspect-based
Enforcement
of
Formal
Delegation
Policies
(conférence) 3th International Conference on Risks and Security of Internet and
Systems (CRiSIS), date début : 2008-10-28, date fin : 2008-10-30, 9 pages
[ Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel ]

A Formal Security Framework for Mobile Agent Systems: Specification and
Verification
(conférence) Third International Conference on Risks and Security of Internet and
3
Systems CRiSIS 2008, date début : 2008-10-28, date fin : 2008-10-30, 8 pages
[ Monia Loulou Ahmed Hadj Kacem Mohamed Jmaiel Mohamed Mosbah ]

Implementing a rule-driven approach for architectural self configuration in
collaborative activities
(conférence) 5th International Conference on Soft Computing as Transdisciplinary
Science and Technology, date début : 2008-10-27, date fin : 2008-10-31, 7 pages
[ Ismail bouassida, Karim Guennoun, Khalil Drira , Christophe Chassot , Mohamed
Jmaiel ]

A QoS-oriented reconfigurable middleware for self-healing web services
(conférence) ICWS '08: The 2008 IEEE International Conference on Web Services,
date
début
:
2008-09-23,
date
fin
:
2008-09-26,
8
pages
[ Riadh BEN HALIMA Mohamed JMAIEL Khalil DRIRA ]
 En 2007

Context-aware adaptation for group communication support applications with
dynamic architecture
(journal) System and Information Sciences Notes, volume 2, 2007-09-11
[ Ismail bouassida, Khalil Drira , Christophe Chassot , Mohamed Jmaiel ]

SEC+: an enhanced search engine for component-based software development
(journal) ACM SIGSOFT Software Engineering Note, volume 32, 2007-07-23, 6
pages
[ Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel ]

A
Distributed
Computational
Model
for
Mobile
Agents
[ Mohamed Amine Haddar and Ahmed Hadj Kacem and Yves Métivier and
Mohamed Mosbah and Mohamed Jmaiel ]

A
formal
approach
to
prevent
attacks
on
mobile
agent
systems
(conférence) International Conference on Emerging Security Information, Systems
and Technologies, date début : 2007-10-14, date fin : 2007-10-20, 6 pages
[ Monia Loulou Mohamed Tounsi Ahmed Hadj Kacem Mohamed Jmaiel Mohamed
Mosbah ]
4

A Graphical Tool to Query LMF databases
(conférence) 3rd Language & Technology Conference, date début : 2007-10-05, date
fin : 2007-10-07, 7 pages
[ Mehdi Ben Abderrahmen Bilel Gargouri Mohamed Jmaiel ]

Formal Design of Structural and Dynamic Features of Publish/Subscribe
Architectural Styles
(conférence) ECSA'07, date début : 2007-09-24, date fin : 2007-09-26
[ Imen Loulou Ahmed Hadj Kacem Mohamed Jmaiel Khalil Drira ]

A Serialisation Based Approach for Strong Mobility of Shared Object
(conférence) The 1st International Workshop on Java for Mobility (Ja4Mo 07) as part
of PPPJ2007, date début : 2007-09-03, date fin : 2007-09-05, 6 pages
[ Soumaya Marzouk, Maher Ben Jemaa and Mohamed Jmaiel. ]

A QoS-driven reconfiguration management system extending Web services with
self-healing properties
(conférence) WETICE '07: Proceedings of the 16th IEEE International Workshops on
Enabling Technologies: Infrastru, date début : 2007-06-18, date fin : 2007-06-20, 6
pages
[ Riadh BEN HALIMA Mohamed JMAIEL Khalil DRIRA ]

Combining Formal Methods and Aspects for Specifying and Enforcing
Architectural Invariants
(conférence) 9th International Conference on Coordination Models and Languages
(Coordination), date début : 2007-06-05, date fin : 2007-06-08, 20 pages
[ Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel ]

A Serialisation Based Approach for Processes Strong Mobility
(conférence) The 7th IFIP International Conference on Distributed Applications and
Interoperable Systems(DAIS'07), date début : 2007-06-05, date fin : 2007-06-08, 14
pages
[ Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel ]

Une approche orientée règle pour la spécification formelle des architectures
dynamiquement configurables
(conférence) Conférence Internationale sur les NOvelles TEchnologies de la
5
REpartition (NOTERE'2007), date début : 2007-06-04, date fin : 2007-06-11, 8 pages
[ Riadh BEN HALIMA, Mohamed JMAIEL, Khalil DRIRA ]

Consistent Reconfiguration for Publish/Subscribe Architecture Styles
(conférence) VECoS'07, date début : 2007-05-05, date fin : 2007-05-06
[ Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira ]

Spécification et vérification d’algorithmes distribués à base d’agents mobiles
[ Med A. Haddar, A. Hadj Kacem, M.Mosbah, Y. Métivier and M. Jmaiel ]

A UML Profile and a FUJABA PlugIn for modelling dynamic software
architectures
(conférence) MoDSE'07: Workshop on Model-Driven Software Evolution, date début
: 2007-03-20, date fin : 2007-03-20, 7 pages
[ Mohamed Nadhmi Miladi Mohamed Hadj Kacem Mohamed Jmaiel ]
 En 2006

Des services orientés besoin pour l’exploitation des bases lexicales normalisées
(conférence) 9ème Conférence Maghrébine sur les Technologies de l'Information,
date
début
:
2006-12-07,
date
fin
:
2006-12-09,
6
pages
[ Mehdi Ben Abderrahmen, Fatma Chaâri, Bilel Gargouri, Mohamed Jmaiel ]

A formally specified framework for elaborating event-based architectural styles
correct by design
(conférence) MCSEAI'06, date début : 2006-12-07, date fin : 2006-12-09

UML-based approach for validation of software architecture descriptions
(conférence) TEAA-06 : The 2nd International Conference on Trends in Enterprise
Application Architecture, LNCS, date début : 2006-11-29, date fin : 2006-12-01, 15
pages
[ Mohamed HADJ KACEM, Mohamed JMAIEL, Ahmed HADJ KACEM, khalil
DRIRA ]

A
conceptual
model
for
secure
mobile
agent
systems
(conférence) International Conference on Computational Intelligence and Security,
6
date
début
:
2006-11-03,
date
fin
:
2006-11-06,
4
pages
[ Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah ]

Moderate
Growth
Time
Series
Dynamic
Combinatorics
Modelisation
(conférence) International Conference on Economics, Law and Management
ICELM2,
date
début :
2006-05-31,
date
fin
:
2006-06-03,
9
pages
[ Luaî JAFF, Gérard H. E. DUCHAMP, Hatem HADJ KACEM and Cyrille
BERTELLE ]

Emerging Decision Support System for Geographical Information Systems.
(conférence) International Conference on Economics, Law and Management
ICELM2,
date
début
:
2006-05-31,
date
fin :
2005-06-03,
15
pages
[ Hakima Kadri, Rawan Ghnemat, Hatem Hadj Kacem, Cyrille Bertelle and Gérard
H. E. Duchamp ]

Un environnement de recherche et d'intégration de composant logiciel
(conférence) seventh Maghrebian conference related to the software engineering and
the artificial intelligence, date début : 2006-05-04, date fin : 2006-05-06, 6 pages
[ KHEMAKHEM S, JMAIEL M., BENHAMADOU A., DRIRA K ]

Describing dynamic software architectures using an extended UML model
(conférence) SAC-06 : The 21st Annual Symposium on Applied Computing, TrackModel Transformation, ACM, date début : 2006-04-23, date fin : 2006-04-27, 5 pages
[ Mohamed HADJ KACEM and Mohamed JMAIEL and Ahmed HADJ KACEM and
Khalil DRIRA ]

SEC:
a
search
engine
for
component
based
software
development
(conférence) Proceedings of the 2006 ACM symposium on Applied computing, date
début
:
2006-04-23,
date
fin
:
2006-04-25,
6
pages
[ Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel ]

Compositional specification of event-based software architectural styles
(conférence) AICCSA'06, date début : 2006-03-08, date fin : 2006-03-11
[ Imen Loulou Ahmed Hadj Kacem Mohamed Jmaiel Khalil Drira ]
7
 En 2005

Algebraic elimination of epsilon-transitions
(journal) Discrete Mathematics and Theoretical Computer Science, volume 7, 200504-26, 20 pages
[ Gérard H. E. Duchamp, Hatem Hadj Kacem and Éric Laugerotte ]

Approche formelle intégrée pour la spécification des architectures dynamiques
orientées composants
(journal) , 2005-01-01
[ Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil drira ]

Towards a UML profile for the description of dynamic software architectures
(conférence) COEA-05 : The International Conference on Component-Oriented
Enterprise Applications, volume 70, LNI, date début : 2005-09-20, date fin : 2005-0924, 15 pages
[ Mohamed HADJ KACEM,Mohamed Nadhmi MILADI,Mohamed JMAIEL,Ahmed
HADJ KACEM, khalil DRIRA ]

Graphical simulation of the dynamic evolution of the software architectures
specified in Z
(conférence) International Workshop on Principles of Software Evolution
(IWPSE'2005), date début : 2005-09-05, date fin : 2005-09-06, 4 pages
[ Riadh BEN HALIMA, Mohamed JMAIEL, Khalil DRIRA ]

Using UML2.0 and GG for describing the dynamic of software architectures
(conférence) ICITA-05 : The Third International Conference on Information
Technology and Application, IEEE Compu, date début : 2005-07-04, date fin : 200507-07, 6 pages
[ Mohamed HADJ KACEM, Mohamed JMAIEL, Ahmed HADJ KACEM, khalil
DRIRA ]

Evaluation and comparison of ADL based approaches for the description of
dynamic software architecture
(conférence) ICEIS-5: The 7th International Conference on Enterprise Information
Systems, date début : 2005-05-24, date fin : 2005-05-28, 6 pages
8
[ Mohamed HADJ KACEM,Mohamed JMAIEL, Ahmed HADJ KACEM, Khalil
DRIRA ]

Spécification d'une solution multi-agent pour la gestion des conflits aériens
(conférence) Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et
Informatique,
date
début
:
2005-03-15,
date
fin
:
2005-03-18
[ Slim Kallel, Amira Regayeg, Mohamed Jmaiel ]

On the decomposition of Boolean Functions
(conférence) Boolean Functions: Cryptography and Applications, date début : 200503-05, date fin : 2005-03-07
[ Gérard H.E. Duchamp, Hatem Hadj Kacem,Éric Laugerotte ]

A
formal
model
for
mobile
agent
systems
using
Z
(conférence) The 3rd ACS/IEEE International Conference on Computer Systems and
Applications (AICCSA'05), date début : 2005-01-03, date fin : 2005-01-06, 7 pages
[ Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel ]
 En 2004

Formalization of cooperation in MAS : Towards a generic conceptual model
(conférence) IX Ibero-American Conference on Artificial Intelligence (IBERAMIA
2004),
date
début
:
2004-11-22,
date
fin
:
2004-11-25,
10
pages
[ Monia Loulou, Ahmed HadjKacem, Mohamed Jmaiel ]

Algebraic erasure of letter-transitions
(conférence) Jordan International Conference on Computer Sciences and
Engineering, JICCSE 2004, date début : 2004-10-04, date fin : 2004-10-07, 7 pages
[ Gérard H. E. DUCHAMP, Hatem HADJ KACEM, Éric LAUGEROTTE ]

Toward a unified graph-based framework for dynamic component-based
architectures description in Z
(conférence) ICPS'04, date début : 2004-07-19, date fin : 2004-07-23

Splitting modules using minimization theory of automata.
(conférence) MuPAD-Combinat first Developers and Users Meeting., date début :
2004-06-29, date fin : 2004-07-02
[ Hatem Hadj Kacem, Gérard H. E. Duchamp, Éric Laugerotte ]
9

Agent et SMA : Modélisation de la coopération et de la négociation selon la
notation Z
(conférence) Eighth Maghrebian Conference on Software Engineering and Artificial
Intelligence (MCSEAI?2004), date début : 2004-05-09, date fin : 2004-05-12, 14
pages
[ Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel ]
 En 2003

Automatic generation of code within the context of the design of the embedded
real-time systems
(conférence) 15th International Conference on Microelectronics, date début : 200312-09, date fin : 2003-12-11, 4 pages
[ Mehdi Ben Abderrahmen, Mohamed Abid, Jean Philippe Diguet, Jean Luc Philippe]
V.
Membres
 Enseignants-chercheurs statutaires

Mohamed Jmaiel : Responsable de l’unité (Professeur)

Ahmed Hadj Kacem (Maitre de Conférences)

Maher Ben Jemaa (Maitre assistant)

Mourid Marrakchi (Maitre assistant)

Fathi Ghribi (Maitre assistant)

Mohamed Hadj Kacem (Maitre Assistant)

Amira Regayeg (Maitre Assistant)

Hatem Hadj Kacem (Maitre assistant)

Tarak Chaari (Maitre assistant)

Moez Krichen (Maittre Assistant)

Wassef Louati (Maitre Assistant)

Bechir Zalila (Assistant)

Monia Loulou (Assistant)

Imen Loulou (Assistant)

Amine Haddar (Assistant)

Bachar Zouari (Assistant)

Mahdi Ben Abderrahmen (Assistant)

Riadh Ben Halima (Assistant)
10

Mohamed Nadhmi Miledi (Assistant)

Slim Kallel (Assistant)

Soufien Chtourou (Assistant)
 Soufien Khemakhem (Assistant Technologue)
 Assistants contractuels

Soumaya Marzouk (Thèse doctorat)

Lamia Bouaziz Yangui (Thèse doctorat)

Monia Ben Brahim (Thèse doctorat)

Najla Hadj Kacem (Thèse doctorat)

Nouha Sellami Baccour (Thèse doctorat)

Kaouthar Fakhfakh (Thèse doctorat)

Imen Lahiani (Thèse doctorat)

Amina Chaabane (Thèse doctorat)

Myriam Kallel (Thèse doctorat)

Fatma Krichen (Thèse doctorat)
 Doctorants (en sciences) et étudiants en mastère (de recherche)

Ismaïl Bouassida (Thèse doctorat)

Emna Fki (Thèse doctorat)

Afef Mdhaffar (Master)

Nadia Masmoudi (Master)

Hatem Arous (Master)

Nesrine Ouled Abdallah (Master)

Imen Tounsi (Master)

Nawel Ben Ameur (Master)

Hamdi Aloulou (Master)

Ghofrane Fersi (Master)

Siwar Khlifi (Master)

Afef Jmal Maâlej (Master)

Zeineb Fki (Master)

Houssem Medhioub (Master)

Raja Haddad (Master)

Wassim Drira (Master)

Hamza Hlioui (Master)
11
 Enseignants chercheurs associés

Bilel Gargouri (Maître assistant)

Walid Mahdi (Maître assistant)

Chafik Aloulou (Maître assistant)
12

L`unité de recherche ReDCAD Responsable : Pr Mohamed

Transcription

Documents pareils

Licence Appliquée Co-Construite (LACC) "DEVELOPPEMENT DE

liste oral

Institut Supérieur International de Tourisme de Tanger Concours d

Nom et prénom Voix obtenues OULEHRI RACHID 147 BOUDRA

Paroles Mohamed a peur

Recrutement des Professeur de l`Enseignement Supérieur Assistant

MAROC LEASING

Mohamed al-Maghout, poète sans étoiles

Municipalité de Monastir Arrondissement de

Suite - CCME