Abstraction de Kleene  Abstraction hiérarchique  Abstractions  Accéleration  Adéquation  Algorithmes  Algorithmes d'approximation  Algorithmes à la volée  Algèbre de processus réguliers  Allocateur de mémoire dynamique  Analyse d'acessibilité  Appareils électroniques -- Alimentation en énergie  Architecture -- Informatique  Assertions  Automate  Automate temporisés  Automate à pile  Automate à surpile  Automates  Automates d'arbre  Automates de Büchi-Rabin  Automates mathématiques, Théorie des  Automates à pile  B  Calcul des propositions  Certification  Circuits intégrés analogiques numériques  Circuits électroniques  Clock gating  Cohérence  Commutation  Composant  Compositionnel  Conception de hardware  Conception electronique assistée par ordinateur  Contrôleurs distribués  Des circuits analogiques  Décidabilité  Décidabilité  Détection de logiciel malveillant  Expressions rationnelles  Expressivité  Exécution Zenon  Fonctions récursives -- Informatique  Génération d'invariants  Hybride  Hyper-propriétés  Interprétation abstraite  Invariant  Invariants  LTL  Langages de spécification matériel  Langages oméga-réguliers  Langages temporisés  Logiciels -- Vérification  Logique  Logique informatique  Logique mathématique  Logique temporelle  Logiques multi-valuées  Model checking  Model checking régulier  Modularité  Modèles mathématiques  Motifs  Mu-calcul  Mu-calcul propositionnel  Mémoire faible  Méthodes formelles  Numérisation  Optimisation mathématique  PRS [Process Rewrite Systems]  Partitionnement  Petri, Réseaux de  Pointeur de pile  Pointeurs  Problèmes des mots  Programmation parallèle  Propriétés temporelles  Protocole de cohérence de cache  RTL  Raffinement modulaire  Regular model-checking  Réduction de consommation  Réseaux d'automates à pile synchronisés  STM  Saisie des données  Simulation numerique  Simulation par ordinateur  Spécification  Spécifications  Structures de données  Structures de données  Surveillance  Synthèse  Synthèse de propriétés  Synthèse quantitative  Systemes concurents  Système hybride  Systèmes adaptatifs  Systèmes concurrents  Systèmes de réécriture  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes paramétrés  Systèmes à canaux non fiables  Systèmes à pile  Tableaux  Tas  Technique d'abstraction  Temps réel  Temps réel  Théorèmes -- Démonstration automatique  Traitement réparti  Types abstraits de données  Types de données  Virus informatiques  Vérification  Vérification de modèles  Vérification de programmes  Vérification de programmes récursifs parallèles  Vérification formelle  Vérification quantitative  

Ahmed Bouajjani a rédigé la thèse suivante :


Ahmed Bouajjani a dirigé les 8 thèses suivantes :

Informatique. Modélisation et vérification
Soutenue le 10-09-2018
Thèse soutenue


Ahmed Bouajjani a été président de jury des 7 thèses suivantes :

Mathématiques et Informatique
Soutenue le 15-01-2018
Thèse soutenue
Mathématiques et Informatique
Soutenue le 28-10-2016
Thèse soutenue

Informatique
Soutenue le 16-06-2016
Thèse soutenue

Ahmed Bouajjani a été rapporteur des 6 thèses suivantes :


Ahmed Bouajjani a été membre de jury des 5 thèses suivantes :

Informatique
Soutenue le 05-07-2018
Thèse soutenue
Informatique
Soutenue le 28-04-2014
Thèse soutenue