Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-Claude Fernandez
Jean-Claude Fernandez
at_id:
orcid_id:
Disciplines:
Computer sciences
Physics
Edit
Merge
See Links
Thesis:
Aldebaran : un système de vérification par réduction de processus communicants
Directed Thesis:
Behavior based malware classification using online machine learning
TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme
Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles
Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP
Etude et mise en oeuvre de techniques de validation à l'exécution
Le débogage de code optimisé dans le contexte des systèmes embarqués
Contrôle de qualité optimal d'applications multimédia
Une approche basée sur les modèles pour le test de robustesse
Génération automatique de tests de conformité pour les protocoles de télécommunication
Vérification symbolique pour les protocoles de communication
Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre
Méthodes de vérification de spécifications comportementales : étude et mise en oeuvre
Ordre et désordre dans un milieu non linéaire perturbé : le cas de "Sine-Gordon"