Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Constantin Enea
Constantin Enea a rédigé la thèse suivante :
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
Constantin Enea a dirigé les 2 thèses suivantes :
Automated formal testing of storage systems and applications
par Ranadeep Biswas sous la direction de Ahmed Bouajjani et de Constantin Enea . - Université Paris Cité
Informatique
Soutenue le 30-03-2021
Automated verification of programs running on top of distributed systems
par Sidi Mohamed Beillahi sous la direction de Ahmed Bouajjani et de Constantin Enea . - Université Paris Cité
Informatique
Soutenue le 15-03-2021
