Olivier Ssi Yan Kai

According to our database, Olivier Ssi Yan Kai authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Expérimentations en Coq pour un générateur de code qualifiable.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Tech. Sci. Informatiques, 2011

2010

Use of formal methods for building qualified code generator for safer automotive systems.

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Proceedings of the Formal Methods for Industrial Critical Systems, 2009