The AADL behaviour annex - experiments and roadmap. - Ricardo Bedin França; Jean-Paul Bodeveix; Mamoun Filali; Jean-François Rolland; David Chemouil; Dave Thomas (ICECCS, 2007)

Towards Safe Design of Synchronous Bus Protocols in Event-B. - Ricardo Bedin França; Leandro Buss Becker; Jean-Paul Bodeveix; Jean-Marie Farines; Mamoun Filali (SBMF, 2009)

Towards Formally Verified Optimizing Compilation in Flight Control Software. - Ricardo Bedin França; Denis Favre-Felix; Xavier Leroy; Marc Pantel; Jean Souyris (PPES, 2011)

Assessing the impact of Scrum in airborne software quality assurance. - Fernanda C. P. Motta Fernandes; Ricardo Bedin França (SBQS, 2015)

Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. - Marcus Kimura Lopes; Ricardo Bedin França; Celso Massaki Hirata; Luiz Alberto Vieira Dias (LADC, 2018)