Famantanantsoa Randimbivololona

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Immersive Environments

Enterprise Application

Top Venues

Publications

Famantanantsoa Randimbivololona, Abderrahmane Brahmi, Philippe Le Meur
Airborne software tests on a fully virtual platform CoRR (2012)
Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN (2003)
Famantanantsoa Randimbivololona
Orientations in Verification Engineering of Avionics Software. Informatics (2001)
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods (1999)