Principaux domaines d'intérêts
- Spécification et vérification formelle de services
Web
- Programmation parallèle
- Développement d'outils d'aide à l'enseignement et
à la
correction
- Spécialiste (knowledge area specialist) de la
conception de logiciels pour le Guide to the SWEBOK
Publications, communications et séminaires
Liste de publications, conférences et
séminaires
Idées de projets
Quelques idées de projets
liés à mes intérêts de recherche.
Direction d'étudiants gradués
En cours
- R. Ben Younes (doctorat en informatique): "Application de la
vérification de modèles à la
sécurité".
- A. Bustros (mémoire, maîtrise en informatique):
"Un agent intelligent pour le jeu Axis & Allies".
- E. Lévesque (mémoire, maîtrise en informatique, co-direction avec I. Khriss):
"Adaption dynamique de processus WS-BPEL".
- F. Painchaud (co-direction avec H. Desharnais, doctorat en informatique,
Département d'informatique et génie logiciel,
Université Laval): "A Novel ASM-Based Hybrid Model-Checking
Approach for Java".
Complétés
- A. Chami (mémoire, maîtrise en informatique,
co-direction avec A. Salah): "Vérification de processus
BPEL à l'aide de Promela/Spin",
Dép. d'informatique, UQAM, mars 2008.
- R. Ben Younes (mémoire, maîtrise en informatique,
co-direction avec G. Bégin): "Étude et mise en oeuvre d'une
approche formelle de model-checking pour la détection d'intrusion dans
les réseaux sans-fil 802.11", Dép. d'informatique,
UQAM, novembre 2007.
- M. Takim (rapport de projet, maîtrise en génie
logiciel, co-direction avec Aziz Salah): "Applications Web pour
l'utilisation des services de l'outil Oto",
Dép. d'informatique, UQAM, février 2007.
- N. Xia (mémoire, maîtrise en informatique): "A heuristic algorithm for courses
assignment". Dép. d'informatique, UQAM,
août 2006.
- I. Constantineau (mémoire, maîtrise en
informatique): "Vérification de
modèle floue", Dép. d'informatique, UQAM,
juillet 2006.
- M. Lalonde (mémoire, maîtrise en informatique,
co-direction avec Michel Jébrak): "Modélisation par automates
cellulaires de brèches hydrothermales",
Dép. d'informatique, UQAM, mars 2006.
- F. Guérin (mémoire, maîtrise en
informatique): "Oto, un outil
générique et extensible pour corriger les travaux de
programmation", Dép. d'informatique, UQAM, octobre
2005.
- P. Hénaff (rapport de projet, maîtrise en
génie logiciel): "Étude des facteurs
influençant le choix d'un processus de
développement", Dép. d'informatique, UQAM,
avril 2004.
- F. Champagne (mémoire, maîtrise en informatique):
"Application de la distance
d'édition à la correction de dictées
musicales", Dép. d'informatique, UQAM, août
2003.
- B. Desjardins (rapport de projet, maîtrise en génie
logiciel, co-direction avec L. Martin): "Réingénierie
et modélisation d'un composant Adresse à l'aide
d'UML", Dép. d'informatique, UQAM, décembre
2002.
- É. Labonté (mémoire, maîtrise en
informatique): "Outil de
correction semi-automatique de programmes Java",
Dép. d'informatique, UQAM, décembre 2002.
- H. Msheik (mémoire, maîtrise en informatique): "Code Generation for a Functional
Language Targeted to a Parallel Multithreaded Machine",
Dép. d'informatique, UQAM, août 2000.
- H. Salman (rapport de projet, maîtrise en génie
logiciel): "Modélisation
d'un générateur de code pour un langage fonctionnel
ciblé vers une machine parallèle multi-contextes
", Dép. de génie électrique,
École de Technologie Supérieure, août 2000.
- B. Malenfant (mémoire, maîtrise en informatique):
"Sémantique et mise en
oeuvre parallèle d'un langage fonctionnel indulgent",
Dép. d'informatique, UQAM, décembre 1998.
- J.-P. Toviessi (mémoire, maîtrise en
informatique): "Solution d'une
équation différentielle elliptique sur une machine
parallèle par échanges de messages",
Dép. d'informatique, UQAM, septembre 1998.
- S. Hadj Messaoud (rapport de projet, maîtrise en
génie logiciel): "Détection formelle des
interactions des services téléphoniques",
Dép. d'informatique, UQAM, février 1998.
Collaboration
Arbitrage pour diverses conférences ou revues
- PDP 2009
- Euro-Par 2008
- MCETECH 2008
- MODELS 2006
- CARI 2006
- MCETECH 2006
- MCETECH 2005
- IPDPS 2004
- Concurrency and Computation: Practice and Experience
- BDA 2001
- DOLAP 2000
- PACT 2000
- ICCS '99
- PACT '98
- CARI '98
- ICCS '98
- PACT '97
- POPL '97
- AMAST '95
- EUROPAR '95
- HPCS '95
- HPFC '95
Dernière mise à jour: février 2008