Ricardo Bedin França

According to our database, Ricardo Bedin França authored at least 5 papers between 2007 and 2018.

Collaborative distances:

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

2018

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

Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

2015

Assessing the impact of Scrum in airborne software quality assurance.

Fernanda C. P. Motta Fernandes, Ricardo Bedin França

Proceedings of the 14th Brazilian Symposium on Software Quality, 2015

2011

Towards Formally Verified Optimizing Compilation in Flight Control Software.

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2009

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

Proceedings of the Formal Methods: Foundations and Applications, 2009

2007

The AADL behaviour annex - experiments and roadmap.

Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007