Abstraction  Adaptation  Algorithme génétique  Algorithmes d'approximation  Algèbre de processus  AltaRica  Analyse d'interférence  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  Graphes de flots de données synchrones  Groupes de travail  Génération d'Espace d'États  Hyperviseur  Implémentation  Informatique  Ingénierie dirigée par les modèles  Interférence  Interopérabilité  Intégration  Intégrité  Langages de programmation -- Sémantique  Langages de programmation  Langages synchrones  Latence  Linux  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  Modélisation des communications  Multi-coeurs  Multicoeur  Multicore  Multiprocesseurs  Mécanismes de préemption  Métamodélisation  Méthodes formelles  Métiers  Neuroprothèses  Ordonnancement  Ordonnancement  Ordonnancement mono-processeur  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  Prévisibilité  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  Spatial  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  Systèmes temps-réel  Sécurité  Sécurité des systèmes  Sémentique  Sûreté  Temps réel  Temps réel  Temps-réel  Test  Threads  Tolérance aux fautes  Tolérance aux fautes  Traitement d'exceptions  Traitement réparti  Types abstraits de données  Tâches strictement périodiques non-préemptifs  Validation  Validation formelle  Verification  Vérification  Vérification de modèles  Vérification formelle  WCET  

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


Frédéric Boniol dirige actuellement les 2 thèses suivantes :

Informatique et Télécommunications
En préparation depuis le 02-12-2019
Thèse en préparation

Systèmes en temps réel prévisibles avec implémentations multicores

par Alfonso MascareñAs GonzáLez sous la direction de Frédéric Boniol et de Jean-Baptiste Chaudron . - Toulouse, ISAE

Informatique et Télécommunications
En préparation depuis le 01-10-2019
Thèse en préparation


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 7 thèses suivantes :


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