Josselin Giet

According to our database, Josselin Giet authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Automatic verification of tasks schedulers. (Vérification automatique d'ordonnanceurs de tâches).

Josselin Giet

PhD thesis, 2024

2023

A Product of Shape and Sequence Abstractions.

Josselin Giet, Félix Ridoux, Xavier Rival

Proceedings of the Static Analysis - 30th International Symposium, 2023

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.

Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2019

Towards Zero Alarms in Sound Static Analysis of Finite State Machines.

Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2019