AADL  ADL [Architectural description language]  ADL [Langage de description d'architecture]  Ada  Algorithmes  Algorithmes parallèles  Analyse de transformations de modèles  Analyse statique  Applications réparties  Approche symbolique  Approches hybrides  Automates  Automates de Büchi  Automates sur les mots infinis  Automates testeur en une seule passe  Automates testeur généralisés  Avionique  CFSM  Calculateurs hybrides  Code source  Compilation  Concurrence  Conditionnement  Corba  Diagnostic  Diagramme de décision  Diagrammes de décision  Dynamique holomorphe  Dépliage  Développement dirigé par les modèles  Embarqué  Exploration  Explosion combinatoire  Fiabilité  Graphes imbriqués  Générateurs de code source  Génération automatique de code  Génération de code  HMSC  IDM  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,IDM  Inspection  Intergiciel  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]  Mesures de sûreté  Model checking  Model checking explicite  Model-checking  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  PNML Framework  Parallélisme et répartition  Petri Net Markup Language  Petri, Réseaux de  Plus faible précondition  Pnml  PolyORB  Polyorb  Poste à poste  Processus métier  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  Réduction  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  Saturation  Scénarios  Simulation  Symmétries  Synthèse  Système de détection d'intrusion  Système embarqué  Système parallèle  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 réparti  Transformation  Transformation algébrique de graphe  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 modèles  Vérification et validation  Vérification formelle  

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


Fabrice Kordon a dirigé les 20 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 5 thèses suivantes :


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


Fabrice Kordon a été membre de jury de la thèse suivante :