Projets par an
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Sophie Fortz est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 6 Profils similaires
Réseau
Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.
Projets
- 1 Actif
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., PERROUIN, G. & HEYMANS, P.
1/10/20 → 31/12/21
Projet: Recherche
Résultat de recherche
- 1 Article dans les actes d'une conférence/un colloque
-
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12073 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile
Activités
- 1 Participation à un atelier/workshop, un séminaire, un cours
-
6th International Winter School on Big Data
Sophie Fortz (Participant)
13 janv. 2020 → 17 janv. 2020Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Thèse
-
SAT-Based Concolic Testing in Prolog
Author: Fortz, S., 17 juin 2019Superviseur: Vanhoof, W. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier