Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Isabelle Ryl
Isabelle Ryl a rédigé la thèse suivante :
Langages de synchronisation
par Isabelle Ryl sous la direction de Mireille Clerbout et de Yves Roos . - Lille 1
Informatique
Soutenue en 1998
Isabelle Ryl a dirigé les 4 thèses suivantes :
Improving the quality of aggregation using data analysis in WSNs
par Alia Ghaddar sous la direction de Isabelle Ryl , Tahiry Razafindralambo , Abbas Hijazi et de Samar Tawbi . - Lille 1
Informatique
Soutenue le 02-12-2011
Information flow analysis for embedded systems : from practical to theoretical aspects
par Dorina Ghindici sous la direction de Isabelle Ryl et de Gilles Grimaud . - Lille 1
Informatique
Soutenue le 04-12-2008
Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint
par Yann Hodique sous la direction de Isabelle Ryl et de Gilles Grimaud . - Lille 1
Informatique
Soutenue en 2007
Test & validation de composants logiciels
par Arnaud Bailly sous la direction de Mireille Clerbout et de Isabelle Ryl . - Lille 1
Informatique
Soutenue en 2005
