Projects per year
Fingerprint
Dive into the research topics where Sophie Fortz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
LIFTS: Learning Featured Transition Systems
Fortz, S., PERROUIN, G. & HEYMANS, P.
1/10/20 → 31/12/21
Project: Research
Research output
- 3 Conference contribution
-
LIFTS: Learning Featured Transition Systems
Fortz, S., 2021, 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2021): Doctoral Symposium. ACM PressResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile12 Downloads (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 PressResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile24 Downloads (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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
- 1 Participation in workshop, seminar, course
-
6th International Winter School on Big Data
Sophie Fortz (Participant)
13 Jan 2020 → 17 Jan 2020Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
SAT-Based Concolic Testing in Prolog
Author: Fortz, S., 17 Jun 2019Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering
File