Faculty profile
Sylvain Hallé
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Université du Québec à Chicoutimi directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $72,000
Expressive and Explainable Testing and Verification with Stream Processing
NSERC · 2023 · Principal investigator
- $400,000
Software Specification, Testing and Verification
NSERC · 2020 · Principal investigator
- $23,500
Veille de vulnérabilités et menaces sur les objets connectés
NSERC · 2019 · Principal investigator
Expressive and Explainable Testing and Verification with Stream Processing
Principal investigators: Hallé, Sylvain
Keywords: software verification; software testing; stream processing; formal methods; explainability; logic
Software Specification, Testing and Verification
Principal investigators: Hallé, Sylvain
Keywords: software verification; testing; software specification; bug finding
Veille de vulnérabilités et menaces sur les objets connectés
Principal investigators: Hallé, Sylvain
Enriching system models and verdicts for testing and verification of software systems
Principal investigators: Hallé, Sylvain
Enriching system models and verdicts for testing and verification of software systems
Principal investigators: Hallé, Sylvain
Software Specification, Testing and Verification
Principal investigators: Hallé, Sylvain
Software Specification, Testing and Verification
Principal investigators: Hallé, Sylvain
Extraction, stockage et interrogation de données semi-structurées provenant du web
Principal investigators: Hallé, Sylvain
Étude de faisabilité du traitement complexe d'événements dans un logiciel de gestion des dossiers médicaux électroniques
Principal investigators: Hallé, Sylvain
Présentation d'une solution d'analyse de logs pour les dossiers médicaux électroniques du Québec
Principal investigators: Hallé, Sylvain
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
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.