AADL  ADL [Architectural description language]  ADL [Langage de description d'architecture]  Ada  Algorithmes  Algorithmes parallèles  Analyse d'erreur  Analyse de transformations de modèles  Analyse statique  Applications réparties  Apprentissage supervisé  Approche symbolique  Approches hybrides  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique à virgule flottante, d'intervalles, multi-précision, binaire et décimale  Automates  Automates de Büchi  Automates sur les mots infinis  Automates testeur en une seule passe  Automates testeur généralisés  Automobiles -- Systèmes d'aide à la conduite  Avionique  Aéronautique  CFSM  Calcul des propositions  Calculateurs hybrides  Certification aéronautique de programmes numériques  Code source  Compilation  Concurrence  Conditionnement  Corba  Diagnostic  Diagramme de décision  Diagrammes de décision  Diviser pour régner  Dynamique holomorphe  Dépliage  Développement dirigé par les modèles  Embarqué  Exigences  Exploration  Explosion combinatoire  Fiabilité  Graphes imbriqués  Génie logiciel  Générateur automatique de tests  Générateurs de code source  Génération automatique de code  Génération de code  HMSC  Hétérogénéité  IDM  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,IDM  Inspection  Intergiciel  Interprétation abstraite  Intégration d'applications  LTL [Logique temporelle à temps linéaire]  Langage ATL  Langages formels  Latence  LfP [Langage for prototyping]  Lock-Free  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels médiateurs  Logique temporelle  Logique temporelle des actions  LƒP [Language for prototyping]  LƒP[Langage pour le prototypage]  Machine learning  Mesures de sûreté  Microprocesseurs multi-coeurs  Model checking  Model checking explicite  Model-checking  Modèles  Modèles formels  Modèles mathématiques  Modélisation  Modélisation formelle  Méthode formelle  Méthodes formelles  Méthodes formelles  Normalisation  Normalisation des transitions bégayantes  OCL  Omega-automates  Optimisation  Oracles de tests model-to-text  Outil  PNML Framework  Parallélisation  Parallélisme  Parallélisme et répartition  Petri Net Markup Language  Petri, Réseaux de  Plus faible précondition  Pnml  PolyORB  Polyorb  Portfolio  Poste à poste  Preuve déductive  Processus métier  Programmation par contraintes  Programmes C  Propriétés LTL insensibles au bégaiement  Protocole d'interaction,  Prototypage  Prototypage rapide évolutif  Recherche de contrôleur  Représentation compacte  Représentation implicite  Représentation symbolique  Rupture de symétrie dynamique  Rupture de symétrie statique  Réduction  Réduction par symétrie  Réparttion  Réputation  Réseau de Petri  Réseaux ad hoc  Réseaux de Petri  Réseaux de Petri, AADL, Z  Réseaux de Pétri  Réseaux de capteurs  Réseaux de pétri  Réseaux locaux sans fil  Résolution de problème -- Informatique  SAT  Satisfaisabilité booléenne  Saturation  Scénarios  Simulation  Solveurs linéaires parallèles  Symmétries  Synthèse  Système de détection d'intrusion  Système embarqué  Système parallèle  Systèmes complexes  Systèmes de transport intelligent  Systèmes distribués  Systèmes embarqués  Systèmes informatiques  Systèmes repartis  Systèmes temps-réel, répartis et embarqués  Sécurité  Sécurité des systèmes  Sûreté -- Systèmes  Sûreté  Technique de saturation  Temps réel  Temps réel  Temps réel distribué  Test  Test de vacuité  Traitement automatique des langues  Traitement automatique du langage naturel  Traitement réparti  Transformation  Transformation algébrique de graphe  Traçabilité  Tâches périodiques et apériodiques  UML [Langage de modélisation]  UML [Unified modelling language]  Uml  Union-Find  Validation et vérification  Verification symbolique  Vérification  Vérification de logiciel  Vérification de modèles  Vérification de modèles  Vérification et validation  Vérification formelle  normes  Échange de clauses  

Fabrice Kordon a rédigé la thèse suivante :


Fabrice Kordon a dirigé les 22 thèses suivantes :

Sciences de l'ingénieur
Soutenue en 2009
Thèse soutenue

Informatique et réseaux
Soutenue en 2005
Thèse soutenue


Fabrice Kordon a été président de jury des 6 thèses suivantes :


Fabrice Kordon a été rapporteur des 2 thèses suivantes :


Fabrice Kordon a été membre de jury des 4 thèses suivantes :