Famantanantsoa Randimbivololona

According to our database, Famantanantsoa Randimbivololona authored at least 4 papers between 1999 and 2012.

Collaborative distances:

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

2012

Airborne software tests on a fully virtual platform

Famantanantsoa Randimbivololona, Abderrahmane Brahmi, Philippe Le Meur

CoRR, 2012

2003

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

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001

Orientations in Verification Engineering of Avionics Software.

Famantanantsoa Randimbivololona

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

1999

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen

Proceedings of the FM'99 - Formal Methods, 1999