@PHDTHESIS {hodique-phd,
    AUTHOR =       {Y. Hodique},
    TITLE =      {Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint},
    JOURNAL =    {PhD Thesis, Univ. Lille 1},
    YEAR =       {2007},
    PUBDATE =    {2007-04},
    LANG =       {fr},
    MONTH =      {april},
    file = public:hodique-phd.pdf,
  }
  
  @INPROCEEDINGS {ghr-ubisafe-07,
    AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
    TITLE = {A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns},
    BOOKTITLE = {The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07)},
    YEAR = {2007},
    LANG = {en},
  }
  
  @ARTICLE {ghr-rr5937-06,
    AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
    TITLE = {A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version)},
    YEAR =  {2006},
    URL = {http://hal.inria.fr/docs/00/08/14/28/PDF/RR-5937.pdf},
    LANG = {en},
  }
  
  @INPROCEEDINGS {ghr-icooolps-06,
    AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
    TITLE = {Can small and open embedded systems benefit from escape analysis?},
    BOOKTITLE = {Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)},
    YEAR = {2006},
    url={http://icooolps.loria.fr/Papers/grimaud_icooolps_2006.pdf},
    LANG = {en},
  }
  						
  @ARTICLE {ghsr06ijpeds,
    AUTHOR =      {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
    TITLE =      {On the Use of metatypes for safe embedded operating system extension},
    JOURNAL =      {International Journal of Parallel, Emargent and Distributed Systems (IJPEDS)},
    YEAR =      {2006},
    LANG =         {en},
    VOLUME =       {22},
    PAGES =      {1-13},
    file = public:ijpeds2006-ghr.pdf,
  }
  
  @INPROCEEDINGS {ghr-sanso-05,
    AUTHOR =       {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
    TITLE =        {Secure extensible type system for efficient embedded operating system by using metatypes},
    BOOKTITLE =      {SaNSO 2005},
    YEAR =         {2005},
    MONTH =        {july},
    LANG =         {en},
    VOLUME =       {2},
    PAGES =        {83-87},
    file = {SaNSO2005_grimaud_g.pdf},
  }
  
  @ARTICLE {dhr-ijca-05,
    AUTHOR =       {D. Deville and Y. Hodique and I. Simplot-Ryl},
    TITLE =        {Safe Collaboration in Extensible Operating Systems: A Study on Real Time Extensions},
    JOURNAL =      {International Journal of Computers and Applications},
    YEAR =         {2005},
    MONTH =        {january},
    LANG =         {en},
    VOLUME =       {1},
    PAGES =      {20-26},
    file = public:ijca2005-dhr.pdf,
  }
  
  @MASTERSTHESIS {hodique-dea,
    AUTHOR =       {Y. Hodique},
    TITLE =      {Approximations de stratégies de preuves en réécriture},,
    JOURNAL =    {Master Thesis, Univ. Rennes 1},
    YEAR =       {2003},
    PUBDATE =    {2003-07},
    LANG =       {fr},
    MONTH =      {july},
    file = public:hodique-dea.pdf,
  }