Assistance au développement de logiciels embarqués contraints en énergie / par Nadir
Cherifi ; sous la direction de Gilles Grimaud et la co-direction de Thomas Vantroys
et Alexandre Boé, 2018 [thèse, Université de Lille]
Camille : un système d'exploitation ouvert pour carte à microprocesseur / par Gilles
Grimaud [thèse]
Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution
vers les architectures multi-coeur / par Quentin Bergougnoux ; sous la direction de
Gilles Grimaud et la co-direction de Julien Cartigny, 2019 [thèse, Université de Lille]
Discus : Une architecture de détection d’intrusions réseau distribuée basée sur un
langage dédié / par Damien Riquet ; sous la direction de Gilles Grimaud et la co-direction
de Michaël Haspie, 2015 [thèse, Lille 1]
Déploiements sécurisés de logiciels critiques au sein d'environnements contraints
/ par Gilles Grimaud [HDR]
Exécution d'applications stockées dans la mémoire non-adressable d'une carte à puce
/ par Geoffroy Cogniaux ; sous la direction de Gilles Grimaud et la co-direction de
Michaël Hauspie, 2012 [thèse, Lille 1]
Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation
/ par Narjes Jomaa ; sous la direction de Gilles Grimaud et la co-direction de David
Nowak, 2018 [thèse, Université de Lille]
Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur
certifié / par François Serman ; sous la direction de Gilles Grimaud et la co-direction
de Michaël Hauspie, 2016 [thèse, Lille 1]
Smews : un système d'exploitation dédié au support d'applications Web en environnement
contraint / par Simon Duquennoy ; sous la direction de Gilles Grimaud, 2010 [thèse,
Lille 1]