LIF students Francis Guérin and Oussama Beroual have just learned that their research paper, titled “Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers”, has been accepted at the 10th International Workshop on Search-Based Software Testing (SBST 2017). The workshop will be hosted as part of the ACM/IEEE International Conference on Software Engineering (ICSE) in Buenos Aires,
…
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),
…
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 (https://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).
…
Prof. Sylvain Hallé and Raphaël Khoury, members of LIF, won the Best Paper Award at the 20th International IEEE EDOC Conference, held in Vienna last September. Their paper, titled Decentralized Enforcement of Artifact Lifecycles, was co-authored with Yliès Falcone and Antoine El-Hokayem from Université Grenoble-Alpes in France.
…
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,
…
Detecting Malware through Execution Trace Monitoring
Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada
The Formal Computer Science Laboratory (https://liflab.ca) is seeking high-quality applications for a fully-funded PhD position in Malware Detection. Candidates should be highly self-motivated,
…
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.
…
Kun Xie, an M.Sc. student under the supervision of Pr. Sylvain Hallé, has just submitted the final version of his Master’s thesis. Among other things, Kun’s project involved the development and testing of a system allowing to send streams of data between computers through sequences of optical codes called QR codes.
…
Kun 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.
…
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,…
Recent Comments