Ricardo Bedin França Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris: Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: 59-68
2009
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali: Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF 2009: 170-185
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas: The AADL behaviour annex - experiments and roadmap. ICECCS 2007: 377-382

Coauthor Index

1Leandro Buss Becker
[c2]
2Jean-Paul Bodeveix
[c2] [c1]
3David Chemouil
[c1]
4Jean-Marie Farines
[c2]
5Denis Favre-Felix
[c3]
6Mamoun Filali (Mamoun Filali-Amine)
[c2] [c1]
7Xavier Leroy
[c3]
8Marc Pantel
[c3]
9Jean-François Rolland
[c1]
10Jean Souyris
[c3]
11Dave Thomas
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 06:21:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page