Ahmed Bouajjani
Ahmed Bouajjani a rédigé la thèse suivante :
Logiques pour la description de processus et de leurs propriétés : expressivité et décidabilité
par Ahmed Bouajjani sous la direction de Jacques Voiron - Grenoble 1
Informatique
Soutenue en 1989
Ahmed Bouajjani a dirigé les 8 thèses suivantes :
Techniques for formal modelling and verification on dynamic memory allocators
par Bin Fang sous la direction de Ahmed Bouajjani , Mihaela Sighireanu et de Geguang Pu . - Sorbonne Paris Cité
Informatique. Modélisation et vérification
Soutenue le 10-09-2018
Automata based logics for program verification
par Antoine Durand-Gasselin sous la direction de Ahmed Bouajjani et de Peter Habermehl . - Paris 7
Informatique
Soutenue en 2013
Automated verification of heap-manipulating programs with infinite data
par Cezara Drăgoi sous la direction de Ahmed Bouajjani et de Mihaela Sighireanu . - Paris 7
Informatique
Soutenue en 2011
Vérification de Programmes Concurrents : Décidabilité et Complexité
par Mohamed Faouzi Atig sous la direction de Ahmed Bouajjani et de Tayssir Touili . - Paris 7
Informatique
Soutenue en 2010
Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples
par Pierre Moro sous la direction de Ahmed Bouajjani - Paris 7
Informatique
Soutenue en 2008
Analyse symbolique de systèmes infinis basée sur les automates : application à la vérification de systèmes paramétrés et dynamiques
par Tayssir Touili sous la direction de Ahmed Bouajjani - Paris 7
Informatique
Soutenue en 2003
Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre
par Aurore Annichini Collomb sous la direction de Ahmed Bouajjani - Grenoble 1
Informatique
Soutenue en 2001
Spécification et vérification de systèmes hybrides
par Riadh Robbana sous la direction de Ahmed Bouajjani - Grenoble 1
Informatique
Soutenue en 1995
Ahmed Bouajjani a été président de jury des 8 thèses suivantes :
Généralisation d'automates alternatifs sur des alphabets infinis
par Xiao Xu sous la direction de Radu Iosif et de Susanne Graf . - Université Grenoble Alpes
Mathématiques et Informatique
Soutenue le 27-01-2020
On CARET model-checking of pushdown systems : application to malware detection
par Huu vu Nguyen sous la direction de Tayssir Touili - Sorbonne Paris Cité
Informatique
Soutenue le 05-07-2018
Pattern Matching with Time : Theory and Applications
par Dogan Ulus sous la direction de Oded Maler - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 15-01-2018
Assertions and measurements for mixed-signal simulation
par Thomas Ferrere sous la direction de Oded Maler et de Ernst Christen . - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 28-10-2016
Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques
par Yves-Stan Le Cornec sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 11-07-2016
La réduction de consommation dans les circuits digitaux
par Jan Láník sous la direction de Oded Maler et de Fahim Rahim . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 16-06-2016
On Post’s embedding problem and the complexity of lossy channels
par Pierre Chambart sous la direction de Philippe Schnoebelen - Cachan, Ecole normale supérieure
Informatique
Soutenue le 29-09-2011
Abstraction techniques for verification of concurrent systems
par Constantin Enea sous la direction de Ferucio Laurentiu Tiplea et de Anatol Slissenko . - Paris Est
Informatique
Soutenue le 08-01-2008
Ahmed Bouajjani a été rapporteur des 7 thèses suivantes :
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles
par David Declerck sous la direction de Fatiha Zaïdi - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 24-09-2018
Analyse statique de programmes concurrents avec variables numériques
par Vincent Botbol sous la direction de Emmanuel Chailloux et de Tristan Le Gall . - Sorbonne université
Informatique
Soutenue le 13-09-2018
Finding constancy in linear routines
par Steven De Oliveira sous la direction de Saddek Bensalem - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 28-06-2018
Compositional verification of component-based real-time systems and applications
par Souha Ben Rayana - Tekaya sous la direction de Saddek Bensalem et de Dorel Marius Bozga . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 04-11-2016
Inférence d'invariants pour le model checking de systèmes paramétrés
par Alain Mebsout sous la direction de Sylvain Conchon et de Fatiha Zaïdi . - Paris 11
Informatique
Soutenue le 29-09-2014
Analyse statique de programmes manipulant des tableaux
par Valentin Perrelle sous la direction de Nicolas Halbwachs - Grenoble
Informatique
Soutenue le 21-02-2013
On Post’s embedding problem and the complexity of lossy channels
par Pierre Chambart sous la direction de Philippe Schnoebelen - Cachan, Ecole normale supérieure
Informatique
Soutenue le 29-09-2011
Ahmed Bouajjani a été membre de jury des 5 thèses suivantes :
On model-checking pushdown systems models
par Adrien Pommellet sous la direction de Tayssir Touili - Sorbonne Paris Cité
Informatique
Soutenue le 05-07-2018
Quantitative Verification and Synthesis
par Christian Von Essen sous la direction de Saddek Bensalem et de Barbara Jobstmann . - Grenoble
Informatique
Soutenue le 28-04-2014
Verification of communicating recursive programs via split-width
par Aiswarya Cyriac sous la direction de Paul Gastin - Cachan, Ecole normale supérieure
Informatique
Soutenue le 28-01-2014
Vérification de programmes avec structures de données complexes
par Jiri Simacek sous la direction de Yassine Lakhnech , Radu Iosif et de Tomáš Vojnar . - Grenoble
Informatique
Soutenue le 29-10-2012
Abstractions pour les automates temporisés
par Balaguru Srivathsan sous la direction de Igor Walukiewicz et de Frédéric Herbreteau . - Bordeaux 1
Informatique
Soutenue le 06-06-2012
