Damien Massé

Learn More
We consider synchronization of a multi-antenna receiver for terrestrial digital video broadcasting (DVB-T) in the presence of strong co-channel interference. Thereby, we use a detection approach to find the symbol starts from the received orthogonal frequency division multiplexed (OFDM) signals. We propose two algorithms that exploit different features of(More)
Analyse statique modulaire de langages à objets Modular static analysis of object-oriented languages Acknowledgments This Ph.D. thesis is the result of the work, the aid and the support of many people, who made it possible to conceive and write it. These people deserve to be acknowledged. I hope I will not forget anyone.... I would like to thank Xavier(More)
1 Résumé de la thèse L'analyse statique par interprétation abstraite permet d'inférer des propriétés sur un programme par abstraction de sa sémantique. Ces propriétés permettent entre autres de vérifier si le programme satisfait ou non une spécification. Toutefois, si la spécification est connue par avance, on peut en tenir compte lors de l'analyse pour(More)
  • 1