Hichem Belgacem
![]() |
|
||||
Faculté ou Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Department | SVV | ||||
Adresse postale |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
Bureau sur le campus | JFK Building, E01-118 | ||||
![]() |
|||||
Téléphone | (+352) 46 66 44 5514 | ||||
Hichem Begacem received his master degree from the Faculty of sciences of Monastir (Tunisia), in 2018. His research interests are in Software verification and validation, Formal Methods and Model Checking. Hichem joined the Software Verification and Validation group, SVV, headed by Prof. Lionel Briand and he will be advised by the latter.
Last updated on: mercredi 17 avril 2019
powered by

2023

; ; ;
in ACM Transactions on Software Engineering and Methodology (2023), 32(2), 471-4740