Statistics
Publications
2
Citations
40
H-Index
2
Active since
2020
Affiliations
University of Luxembourg(Current)
Khouloud Gaaloul is an author at University of Luxembourg specializing in computer science, requirements engineering, and computing.
Publications per year
2020–2021
2
2
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2021 · 23 citations · Full text
Mining assumptions for software components using machine learning
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati et al. · 2020 · 17 citations · Full text
1–2 of 2