Francis Guérin termine son mémoire de maîtrise

Francis Guérin, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, a déposé avec succès la version finale de son mémoire de maîtrise. Le projet de Francis impliquait le développement d’applications du logiciel Cornipickle, lequel permet de détecter automatiquement des bugs en tous genres dans les interfaces graphiques des sites web.

Lire la suite ›



Deux nouveaux articles pour des chercheurs du LIF

Les professeurs Sylvain Hallé et Raphaël Khoury, tous deux membres du LIF, ontrécemment appris que deux de leurs articles avaient été acceptés pour publication au ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), qui se tiendra à Santa Barbara en Californie en juillet prochain.

Lire la suite ›



Nouveau rapport technique sur BeepBeep

Le professeur Sylvain Hallé vient de rendre public un rapport technique résumant les travaux menés au LIF dans le domaine du Complex Event Processing.

Plusieurs problèmes en informatique peuvent être vus comme le calcul de requêtes sur des séquences (aussi appelés « flux ») d’éléments de données que l’on appelle des événements.

Lire la suite ›



Un nouvel article pour deux étudiants du LIF

Les étudiants Francis Guérin et Oussama Beroual ont récemment appris que leur article de recherche, intitulé « Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers », a été accepté au 10th International Workshop on Search-Based Software Testing (SBST 2017). L’événement se tiendra en marge du ACM/IEEE International Conference on Software Engineering (ICSE),

Lire la suite ›



Offre de Ph.D. en détection de malware (Automne 2016)

Détection du Malware par Monitorage des Traces d’exécution

Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

Le Laboratoire d’informatique Formelle (http://liflab.ca) sollicite les candidatures de haut-calibre relativement à une bourse d’étude de troisième cycle d’une durée de trois ans en détection du malware (code malicieux).

Lire la suite ›

Tags : , , , , ,

Le prix du meilleur article remis à deux professeurs du LIF

Les professeurs Sylvain Hallé et Raphaël Khoury, membres du LIF, ont remporté le prix du meilleur article (Best Paper Award) au 20th International IEEE EDOC Conference, qui s’est tenu à Vienne en septembre dernier. Leur article, intitulé Decentralized Enforcement of Artifact Lifecycles,

Lire la suite ›



Offres d’emplois étudiants au LIF, automne 2016

Le Laboratoire d’informatique formelle de l’Université du Québec à Chicoutimi sollicite les candidatures de haut calibre pour huit postes d’assistant de recherche de premier ou deuxième cycle à la session d’automne 2016.

Le laboratoire offre un environnement stimulant où des étudiants spécialisés dans différents domaines de l’informatique peuvent collaborer sur divers projets.

Lire la suite ›



Un étudiant du LIF termine son mémoire de maîtrise

Kun XieKun Xie, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, vient tout juste de terminer la version finale de son mémoire de maîtrise. Entre autres choses, le projet de Kun impliquait le développement et le test d’un système permettant d’envoyer des flux de données entre des ordinateurs au moyen de séquences de codes optiques appelés Codes QR.

Lire la suite ›

Tags : ,

Offres de stage ou d’essai, printemps 2016

Le Laboratoire d’informatique formelle sollicite les candidatures de haut calibre pour des mandats à réaliser dans le cadre des cours 8INF859 (Stage) ou 8INF860 (Essai) de la maîtrise en informatique, profil professionnel.

Modalités

Durée:
6 mois

Date de début:
flexible, à partir de juin 2016

Rémunération:
montant forfaitaire,

Lire la suite ›

Tags : , , , , ,

Maintenant sur Facebook

Nous venons tout juste d’ouvrir la page Facebook du laboratoire, qui va contenir des mises à jours sur les activités qui s’y déroulent. Venez nous voir au https://www.facebook.com/Laboratoire-dinformatique-formelle-1710436499186179/

Lire la suite ›



Top