An SMT-Based Concolic Testing Tool for Logic Programs. - Sophie Fortz; Fred Mesnard; Étienne Payet; Gilles Perrouin; Wim Vanhoof; Germán Vidal (FLOPS, 2020)

A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). - Edilton Lima dos Santos; Sophie Fortz; Gilles Perrouin; Pierre-Yves Schobbens (ECSA (Companion), 2021)

Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. - Edilton Lima dos Santos; Sophie Fortz; Pierre-Yves Schobbens; Gilles Perrouin (ECSA (Tracks and Workshops), 2021)

VaryMinions: leveraging RNNs to identify variants in event logs. - Sophie Fortz; Paul Temple; Xavier Devroey; Patrick Heymans; Gilles Perrouin (MaLTeSQuE@ESEC/SIGSOFT FSE, 2021)

LIFTS: learning featured transition systems. - Sophie Fortz (SPLC (B), 2021)

Variability-aware Behavioural Learning. - Sophie Fortz (SPLC (B), 2023)

Exploring LLM-Driven Explanations for Quantum Algorithms. - Giordano d'Aloisio; Sophie Fortz; Carol Hanna; Daniel Fortunato; Avner Bensoussan; Eñaut Mendiluze Usandizaga; Federica Sarro (ESEM, 2024)

Towards Feature-based ML-enabled Behaviour Location. - Sophie Fortz; Paul Temple; Xavier Devroey; Gilles Perrouin (VaMoS, 2024)

Accelerating Quantum Eigensolver Algorithms With Machine Learning. - Avner Bensoussan; Elena Chachkarova; Karine Even-Mendoza; Sophie Fortz; Connor Lenihan (CoRR, 2024)

VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs. - Sophie Fortz; Paul Temple; Xavier Devroey; Patrick Heymans; Gilles Perrouin (Empir. Softw. Eng., 2024)