Publications

Category: User documentation
Reference	Where published	Publish date	Link
D2.55: GeneAuto installation and usage manual		2011/02/10	details

Category: Publications
Reference	Where published	Publish date	Link
Experiences with the Gene-Auto Code Generator in the Aerospace Industry (paper)	Embedded Real Time Software and Systems ERTS2'10	May 2010	details
Experiences with the Gene-Auto Code Generator in the Aerospace Industry (slides)	Embedded Real Time Software and Systems ERTS2'10	May 2010	details
Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset (paper)	Embedded Real Time Software and Systems ERTS2'10	May 2010	details
Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset (slides)	Embedded Real Time Software and Systems ERTS2'10	May 2010	details
Machine-Checked Sequencer for Critical Embedded Code Generator	Springer LNCS proceedings of ICFEM'09	December 2009	details
Integrated Formal Approach for Qualified Critical Embedded Code Generator	Springer LNCS proceedings of FMICS'09	November 2009	details
Automatic code generator speeds development	ITEA2 magazine	Sept 2009	details
Gene-Auto: Automatic Software Code Generation for Real-Time Embedded Systems	DAta Systems In Aerospace DASIA'08	May 2008	details
Certifying an Automated Code Generator Using Formal Tools (paper)	Embedded Real Time Software ERTS'08	Jan 2008	details