Research
Read how they describe their research on their Université Laval profile.
Latest funding
- $75,000
Cadre algébrique pour l'analyse de programmes informatiques
NSERC · 2010 · Principal investigator
- $521,365
Tracing and Monitoring Tools for Distributed Multi-Core Systems
NSERC · 2008 · Co-investigator
- $30,000
Sécurité et fiabilité des logiciels
NSERC · 2007 · Principal investigator
No publications available.
Cadre algébrique pour l'analyse de programmes informatiques
Principal investigators: Ktari, Béchir
Tracing and Monitoring Tools for Distributed Multi-Core Systems
Principal investigators: Dagenais, Michel
Sécurité et fiabilité des logiciels
Principal investigators: Ktari, Béchir
Fiabilité et sécurité des systèmes informatiques
Principal investigators: Ktari, Béchir
Keywords: Sécurité informatique, Politiques de sécurité, Génie logiciel, Détection d'intrusions, Méthodes formelles, Analyse statique, Model-checking, Compilation, Certification de code, Décompilation
Spécification formelle de politiques de sécurité et génération de code certifié
Principal investigators: Ktari, Béchir
From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 29, 2026 from the university directory, publication records and public research funding records.