Calcul d'itinéraires multiples et de trajets synchronisés dans des réseaux de transport multimodaux. (Multiple itinerary and synchronized trip computation in multi-modal transportation networks). - Grégoire Scano (2016)

Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. - Vincent Mussot; Silvano Dal-Zilio; Loïc Correnson; Serge Rainjonneau; Yves Bardout; Grégoire Scano (CoRR, 2020)