2
Publications
111
Citations
2
H-Index
2007
Active since
Affiliations
Université Toulouse-I-Capitole(Current)
Ricardo Bedin França is an author at Université Toulouse-I-Capitole specializing in computer engineering, program analysis, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering
Publications per year
2007–2011
2
2
The AADL behaviour annex -- experiments and roadmap
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali et al. · 2007 · 93 citations
Towards Formally Verified Optimizing Compilation in Flight Control Software
Ricardo Bedin França, Denis Favre-Félix, Xavier Leroy et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 18 citations · Full text
Engineering, Hardware Verification Language, Such Critical Software +22
Rows per page
1–2 of 2