Rafik Kheddam

According to our database, Rafik Kheddam authored at least 7 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Model-Based Testing Approach for Security Protocols.

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

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

2014

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

Rafik Kheddam

PhD thesis, 2014

2013

Monitoring of RFID failures resulting from LLRP misconfigurations.

Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi

Proceedings of the 21st International Conference on Software, 2013

2012

Online monitoring and diagnosis of RFID readers and tags.

Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis

Proceedings of the 20th International Conference on Software, 2012

An Extended LLRP Model for RFID System Test and Diagnosis.

Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Mutation-Based Test Generation from Security Protocols in HLPSL.

Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011