![](media/illustrations/lauriers.gif) | Aide à l'implantation d'applications temps-réel sur machines parallèles |
![](media/illustrations/lauriers.gif) | Analyse de performance de réseaux de télécommunications par système expert |
![](media/illustrations/lauriers.gif) | Guide de diagnostic pour la détection sonore de corps migrants dans un circuit pressurisé |
![](media/illustrations/lauriers.gif) | Utilisations de la programmation par contraintes en vérification formelle de protocoles |
![](media/illustrations/lauriers.gif) | Méthodologie de conception de circuits en micro-électronique pour une réduction des pics de rayonnement |
![](media/illustrations/lauriers.gif) | Analyse et modélisation combinatoire de problèmes d'optimisation en tarification aérienne |
![](media/illustrations/lauriers.gif) | Représentation et interprétation à haut niveau de règles de configuration pour équipements à nomenclatures multi-niveaux avec options et variantes |
![](media/illustrations/lauriers.gif) | Clés pour la transmission des connaissances du contrôle-commande d'installations à longue durée de vie |
![](media/illustrations/lauriers.gif) | Mise en évidence de contraintes d'exclusion entre modes opératoires pour l'amélioration de la conduite des procédés |