Skip to content

Marcio Ferreira da Silva Oliveira

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2006–2010

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2010DATEAssertion-based verification of RTOS properties.Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Mller
2008DATEUsing UML as Front-end for Heterogeneous Software Code Generation Strategies.Lisane B. de Brisolara, Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Lus C. Lamb, Luigi Carro, Flvio Rech Wagner
2006RSPEarly Embedded Software Design Space Exploration Using UML-Based Estimation.Marcio Ferreira da Silva Oliveira, Lisane B. de Brisolara, Luigi Carro, Flvio Rech Wagner