De récentes études expérimentales mettent en évidence le rôle central des protéines SR dans la régulation de l'épissage alternatif en se fixant à des sites privilégiés des ARN immatures. Néanmoins, l'identification expérimentale de ces sites de fixation reste difficile. Notre approche propose deux techniques de modélisation pour y remédier. Dans un premier temps, à partir de données SELEX, nous identifions statistiquement les sites pour les rechercher ensuite dans le génome de HIV-1 avec des machines d'apprentissage statistique telles que les SVM, combinées avec une recherche algorithmique discrète de mots. Pour caractériser les fonctions de ces motifs, nous modélisons formellement leurs effets sur les sites d'épissage avec des contraintes hybrides (hcc). La démarche est initiée sur la régulation d'un site d'épissage seul pour considérer ensuite un modèle de plusieur sites. Cette modélisation intégrative permet de formaliser les effets de l'épissage sur le cycle de vie de HIV-1.