researcher / Richard Castanet

Richard Castanet

at_id:

orcid_id:

Disciplines:

Computer sciences
Natural sciences
Edit Merge See Links

Directed Thesis:

Test and Validation of Web Services
Clusterisation et conservation d’énergie dans les réseaux ad hoc hybrides à grande échelle
Spécification et mise en œuvre d'un formalisme de règles métier
Un cadre formel pour le test de robustesse des protocoles de communication
Management des risques dans les projets et les processus logiciel
Modélisation, analyse et test des systèmes communicants à contraintes temporelles : vers une approche ouverte du test
Test des protocoles et services liés à la mobilité
Application de techniques de preuve assistée pour la spécification, la vérification et le test
Intégration du temps dans les tests de protocoles de communication
Test de conformité de protocoles de communication modèle de fautes et génération automatique de séquences de tests
Transfert et visualisation d'images numériques
Relations d'implantation et hypothèses de test sur des automates à entrées et sorties
Interconnexion de systèmes ouverts : test d'interopérabilité, test avec contraintes de temps physique
Simulation et formalisation d'un concept empirique de gestion dynamique des feux tricolores d'un réseau urbain
Une contribution à la suppression des anomalies dans les protocoles de communication
Un service d'application de transfert d'images
Contribution à l'étude de méthodes robustes de quantification de sténoses vasculaires à partir d'images radiologiques
Méthodes de rendu en synthèse d'images 2D, modèle et algorithmes
Propriétés de la communication à travers des canaux FIFO
Contribution au test de protocoles OSI
Spécification et implantation de protocoles OSI : une expérience de la couche transport dans le langage ADA
Mise en œuvre et test de protocoles écrits en ESTELLE
Formalisation et simulation du processus de reconnaissance intermoléculaire