Jean-Pierre Thomesse

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Medicine and health
Edit Merge See Links

Directed Thesis:

Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville : contribution à l'aide à la compréhension des programmes
Un système de télésanté contextuel avec support de qualité de service pour le maintien à domicile
Gestion de la qualité de service temporelle selon la contrainte (m,k)-firm dans les réseaux à commutation de paquets
Contrôle d'admission en boucle ouverte dans les réseaux
Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes
Qualité de service et ordonnancement dans les systèmes de communication temps réel
Conception de messagerie pour systèmes multimédia coopératifs : application au système de télémédecine DIATELIC
Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages
Un modèle de référence pour les applications multimédias, multimodales : à propos de l'exemple de VEMMI
Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement : application, dans le domaine automobile, à l'électronique embarquée et à l'informatique manufacturière
Modélisation d'applications temps réel reparties pour la validation de propriétés temporelles méthodologie de construction de modèles et algorithmes de validation
Protocoles multipoint et interconnexion de réseaux FIP
Évaluation d'architectures temps réel réparties : application à CCE
Modèles de coopération et de communication entre processus temps réel repartis : expression de contraintes de temps pour la vérification de propriétés temporelles dans la communication
Formalisation et vérification de l'interopérabilité dans les systèmes de communication
Analyse des performances temporelles et de tolérance aux fautes dans la synchronisation d'horloges
Le temps dans les architectures de communication : application au réseau de terrain FIP
Modélisation de la synchronisation des horloges dans les systèmes répartis
Étude de performances de FIP : aide au dimensionnement d'applications
Modélisation d'applications réparties pour la configuration automatique d'un bus de terrain
Contribution à l'étude des architectures de systèmes automatisés
Ingénierie des systèmes d'automatisation de production : connaissances en conception des architectures de systèmes informatisés d'automatisation et outil d'analyse de la robustesse aux défaillances d'architectures réparties