Mutation-Based Test Generation from Security Protocols in HLPSL. - Frédéric Dadeau; Pierre-Cyrille Héam; Rafik Kheddam (ICST, 2011)

An Extended LLRP Model for RFID System Test and Diagnosis. - Rafik Kheddam; Oum-El-Kheir Aktouf; Ioannis Parissis (ICST, 2012)

Online monitoring and diagnosis of RFID readers and tags. - Rafik Kheddam; Oum-El-Kheir Aktouf; Ioannis Parissis (SoftCOM, 2012)

Monitoring of RFID failures resulting from LLRP misconfigurations. - Rafik Kheddam; Oum-El-Kheir Aktouf; Ioannis Parissis; Sanaa Boughazi (SoftCOM, 2013)

Approches logicielles de sûreté de fonctionnement pour les systèmes RFID. (Software dependability approches for RFID systems). - Rafik Kheddam (2014)

Model-based mutation testing from security protocols in HLPSL. - Frédéric Dadeau; Pierre-Cyrille Héam; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (Softw. Test. Verification Reliab., 2015)

A Model-Based Testing Approach for Security Protocols. - Pierre-Cyrille Héam; Frédéric Dadeau; Rafik Kheddam; Ghazi Maatoug; Michaël Rusinowitch (CSE/EUC/DCABES, 2016)