Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppen : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Ehemalige Themen : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- BAARIR Souheib : “Contributions to propositional satisfiability solving and its applications to the analysis of systems.”, verteidigung einer doktorarbeit 19.06.2019
- DURET-LUTZ Alexandre : “Contributions to LTL and ω-automata for Model Checking”, verteidigung einer doktorarbeit 10.02.2017
- ZIADI Tewfik : “Contributions à l’inférence de la variabilité pour le développement de systèmes logiciels”, verteidigung einer doktorarbeit 09.12.2016
- THIERRY-MIEG Yann : “De la vérification symbolique aux langages spécifiques au domaine (traduction Google)”, verteidigung einer doktorarbeit 07.12.2016
- BENDRAOU Reda : “Ingénierie des procédés orientée modèles pour la modélisation, l'exécution et la vérification de procédés de développement logiciels”, verteidigung einer doktorarbeit 14.12.2015
- YEDDES Mohamed Moez : “Approches formelles de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides”, verteidigung einer doktorarbeit 22.10.2010
- BLANC Xavier : “Atelier de Génie Logiciel support à l’Ingénierie Dirigée par les Modèles”, verteidigung einer doktorarbeit 18.11.2009
- ZIANE Mikal : “Transformations de Programmes et de Requêtes pour Automatiser ou Faciliter la Production et la Maintenance du Logiciel”, verteidigung einer doktorarbeit 03.12.2004