Knowledge Tree

researcher / Ahmed Bouajjani

Ahmed Bouajjani

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Logiques pour la description de processus et de leurs propriétés : expressivité et décidabilité

Directed Thesis:

Automated verification of programs running on top of distributed systems

Automata based logics for program verification

Automated verification of heap-manipulating programs with infinite data

Vérification de Programmes Concurrents : Décidabilité et Complexité

Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples

Analyse symbolique de systèmes infinis basée sur les automates : application à la vérification de systèmes paramétrés et dynamiques

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre

Spécification et vérification de systèmes hybrides