Abstraction  Adaptation  Algorithme génétique  Algorithmes d'approximation  Algèbre de processus  AltaRica  Analyse de performances  Analyse formelle  Architecture  Architecture SBC  Automates  Automates d'interface  Automates hybrides à pentes paramétrées  Automates mathématiques, Théorie des  Automates temporisés  Brouillage électromagnétique  CEGAR  Calcul réseau  Communication -- Analyse de réseau  Compatibilité  Composants logiciels  Concurrence  Contention mémoire  Décidabilité  Délai de bout-en-bout  Exception  Exigences  Fiabilité  Fonctionnement multitâche  Fpga  Groupes de travail  Génération d'Espace d'États  Hyperviseur  Implémentation  Informatique  Interférence  Interopérabilité  Intégration  Langages de programmation -- Sémantique  Langages de programmation  Langages synchrones  Logiciel  Logiciel temps-réel critique  Logiciels -- Vérification  MIO Workbench  Macroplace  Mesures de sûreté  Microprocesseurs multi-coeurs  Model Checking  Model checking  Model-checking  Modèles mathématiques  Modélisation  Multicoeur  Multiprocesseurs  Mécanismes de préemption  Métamodélisation  Méthodes formelles  Métiers  Neuroprothèses  Ordonnancement  Ordonnancement  Ordonnancement temps réel  Patrons de sécurité  Petri, Réseaux de  Point de vue  Prelude  Promela/ SPIN  Propriété de sûreté  Propriétés LTL  Propriétés de Sécurité  Protocoles comportementaux  Ptolemy  QoS  Rafales de faute  Raffinement  Robotique  Réseau de Petri  Réseaux de Petri  Réseaux logiques programmables par l'utilisateur  Réseaux temps réel embarqués  Réutilisabilité  Satellites artificiels  Scada  Spécifications hétérogènes  Spéciications SysML  Synthèse  SysML  Systèmes complexes  Systèmes de commande  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques  Systèmes ouverts  Systèmes synchrones  Systèmes temps-réel  Sécurité  Sémentique  Sûreté  Temps réel  Temps réel  Temps-réel  Test  Threads  Thèses et écrits académiques  Tolérance aux fautes  Tolérance aux fautes  Traitement d'exceptions  Traitement réparti  Types abstraits de données  Validation  Validation formelle  Verification  Vérification  Vérification formelle  WCET  

Frédéric Boniol a rédigé la thèse suivante :


Frédéric Boniol a dirigé les 9 thèses suivantes :


Frédéric Boniol a été président de jury des 2 thèses suivantes :

Robotique et Informatique
Soutenue le 29-04-2016
Thèse soutenue

Frédéric Boniol a été rapporteur des 6 thèses suivantes :


Frédéric Boniol a été membre de jury des 2 thèses suivantes :