Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. - Famantanantsoa Randimbivololona; Jean Souyris; Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen (World Congress on Formal Methods, 1999)

Orientations in Verification Engineering of Avionics Software. - Famantanantsoa Randimbivololona (Informatics, 2001)

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. - Stephan Thesing; Jean Souyris; Reinhold Heckmann; Famantanantsoa Randimbivololona; Marc Langenbach; Reinhard Wilhelm; Christian Ferdinand (DSN, 2003)

Airborne software tests on a fully virtual platform - Famantanantsoa Randimbivololona; Abderrahmane Brahmi; Philippe Le Meur (CoRR, 2012)