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 du pays/territoire. Voir les détails en cliquant sur les points ou
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
- 3 Article dans les actes d'une conférence/un colloque
-
LIFTS: Learning Featured Transition Systems
Fortz, S., 2021, 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2021): Doctoral Symposium. ACM PressRé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 ouvertFile11 Téléchargements (Pure) -
VaryMinions: Leveraging RNNs to Identify Variants in Event Logs
Fortz, S., Temple, P., DEVROEY, X., HEYMANS, P. & PERROUIN, GILLES., 2021, 5th International Workshop on Machine Learning Techniques for Software Quality Evolution. ACM PressRé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 ouvertFile1 Téléchargements (Pure) -
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
Auteur: Fortz, S., 17 juin 2019Superviseur: Vanhoof, W. (Promoteur)
Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier