Olivier Ssi Yan Kai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2010
Best venue rank
Unranked
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | EDCC | Use of formal methods for building qualified code generator for safer automotive systems. | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
| 2009 | FMICS | Integrated Formal Approach for Qualified Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |