Sylvain Hallé
Posté dans Postes ouverts
Description du sujet
Un « flux d’événements » peut être défini comme une séquence d’éléments de données arbitraires générés par une entité ou un système. Comme exemples de flux, on peut mentionner des blockchains constituées d’une séquence de blocs générée dynamiquement, des fichiers journaux (logs) dont les lignes sont produites par l’exécution d’un logiciel,
…
Sylvain Hallé
Posté dans Conférence, Étudiants
Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L’événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE),
…
Sylvain Hallé
Posté dans Conférence
Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s’est tenue de manière virtuelle en juillet 2021. La conférence CAV compte parmi les meilleures dans le domaine de la vérification logicielle.
L’article, intitulé Foundations of Fine-Grained Explainability,
…
Sylvain Hallé
Posté dans Cornipickle, Étudiants, Postes ouverts
Titre
Développement d’outils d’assurance qualité pour le processus de développement d’un site web
Détails du projet
Pour postuler
Contacter directement Sylvain Hallé (shalle@acm.org) en fournissant:
Contexte du projet
Dans le cadre d’une collaboration avec Eckinox,
…
Sylvain Hallé
Posté dans Non classifié(e)
Le professeur Sylvain Hallé s’est mérité le prix du meilleur arbitre (Best Reviewer Award) pour l’année 2020 par le Journal of Software and Systems Modeling. Ce prix reconnaît son effort en tant que membre du 1% des meilleurs arbitres ayant évalué des articles pour ce journal au cours de l’année.
…
Sylvain Hallé
Posté dans BeepBeep, Publications
Le professeur Sylvain Hallé, membre du LIF, a remporté le prix du meilleur article (Best Paper Award) au 24th International IEEE EDOC Conference, qui s’est tenu de manière virtuelle à Eindhoven aux Pays-Bas en octobre dernier.
Son article, intitulé Explainable Queries over Event Logs,
…
Sylvain Hallé
Posté dans Cornipickle, Étudiants, Postes ouverts
Titre
Développement d’outils d’assurance qualité pour le processus de développement d’un site web
Détails du projet
Pour postuler
Contacter directement Sylvain Hallé (shalle@acm.org) en fournissant:
Contexte du projet
Dans le cadre d’une collaboration avec Eckinox,
…
Sylvain Hallé
Posté dans Étudiants
Trois étudiantes au doctorat du LIF, Asma Razgallah, Rania Taleb et Massiva Roudjane, ont participé à la première édition de la conférence Women in Data Science Saguenay, tenue le 2 mars 2020. Cette conférence coïncide avec la conférence annuelle « Global Women in Data Science (WiDS) » qui se tient à l’Université de Stanford et dans plus de 150 régions du monde.
…
Sylvain Hallé
Posté dans Subventions
Les chercheurs du LIF ont obtenu un financement dans le cadre du programme Équipe associée d’Inria en France. Le programme Équipe associée vise à créer et renforcer des collaborations de recherche entre des composantes d’Inria et des équipes de recherche internationales.
D’abord, les professeurs Sylvain Hallé et Raphaël Khoury ont reçu un financement permettant d’entamer une collaboration soutenue avec le professeur Yliès Falcone de l’Université Grenoble-Alpes.
…
Sylvain Hallé
Posté dans Subventions
Les professeurs Raphaël Khoury et Sylvain Hallé, membres du LIF, ont obtenu une subvention du Conseil de recherche en sciences naturelles et en génie (CRSNG) pour un projet de recherche en collaboration avec la compagnie Industrielle Alliance.
Le projet, centré sur la sécurité informatique,
…
Commentaires récents