Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Anatol Slissenko
Anatol Slissenko a dirigé les 3 thèses suivantes :
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
Sécurité du code mobile en terme de types : application au langage JAVA
par Alexia Chatelain Verchinine sous la direction de Anatol Slissenko - Paris 11
Informatique
Soutenue en 2005
Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal
par Alain Couchot sous la direction de Anatol Slissenko - Paris 12
Informatique
Soutenue en 2001
Anatol Slissenko a été président de jury des 2 thèses suivantes :
Surveillance logicielle à base d'une communauté d'agents mobiles
par Mâamoun Bernichi sous la direction de Fabrice Mourlin - Paris Est
Informatique
Soutenue le 30-11-2009
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre
par Pavel Vassiliev sous la direction de Danièle Beauquier et de Igor Soloviev . - Paris Est
Informatique
Soutenue le 27-11-2008
