Gildas Kouko

According to our database, Gildas Kouko authored at least 2 papers between 2019 and 2025.

Collaborative distances:

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

2025

Information Flow Control for the Internet of Things.

Gildas Kouko, Josée Desharnais, Nadia Tawbi

Proceedings of the 10th International Conference on Internet of Things, 2025

2019

Finite Approximation of LMPs for Exact Verification of Reachability Properties.

Gildas Kouko, Josée Desharnais, François Laviolette

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019