Ricardo Bedin França

	2011
3		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
2		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
1		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

1	Leandro Buss Becker	[2]
2	Jean-Paul Bodeveix	[1] [2]
3	David Chemouil	[1]
4	Jean-Marie Farines	[2]
5	Denis Favre-Felix	[3]
6	Mamoun Filali (Mamoun Filali-Amine)	[1] [2]
7	Xavier Leroy	[3]
8	Marc Pantel	[3]
9	Jean-François Rolland	[1]
10	Jean Souyris	[3]
11	Dave Thomas	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page