Tigori Kabland Toussaint Gautier

According to our database, Tigori Kabland Toussaint Gautier authored at least 3 papers between 2015 and 2018.

Collaborative distances:

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

2018

Formal model-based conformance verification of an OSEK/VDX compliant RTOS.

Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier

Proceedings of the 5th International Conference on Control, 2018

2017

Formal Model-Based Synthesis of Application-Specific Static RTOS.

Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux

ACM Trans. Embed. Comput. Syst., 2017

2015

Formal Synthesis of Optimal RTOS.

Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015