Alexis Braibant

According to our database, Alexis Braibant authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Model Checking the Multi-Formalism Language FIGARO.

Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021