An Embedded SW Design Exploration Approach Based on UML Estimation Tools. - Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Luigi Carro; Flávio Rech Wagner (IESS, 2005)

Early Embedded Software Design Space Exploration Using UML-Based Estimation. - Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Luigi Carro; Flávio Rech Wagner (IEEE International Workshop on Rapid System Prototyping, 2006)

MDA-based approach for embedded software generation from a UML/MOF repository. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Marco A. Wehrmeister; Carlos Eduardo Pereira; Flávio Rech Wagner (SBCCI, 2006)

ModES: Embedded Systems Design Methodology and Tools Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2007)

Model driven engineering for MPSOC design space exploration. - Marcio Ferreira da Silva Oliveira; Eduardo Wenzel Brião; Francisco Assis Moreira do Nascimento; Flávio Rech Wagner (SBCCI, 2007)

Using UML as Front-end for Heterogeneous Software Code Generation Strategies. - Lisane B. de Brisolara; Marcio Ferreira da Silva Oliveira; Ricardo Miotto Redin; Luís C. Lamb; Luigi Carro; Flávio Rech Wagner (DATE, 2008)

On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. - Ricardo Miotto Redin; Marcio Ferreira da Silva Oliveira; Lisane B. de Brisolara; Júlio C. B. de Mattos; Luís C. Lamb; Flávio Rech Wagner; Luigi Carro (DIPES, 2008)

Software Quality Metrics and their Impact on Embedded Software. - Marcio Ferreira da Silva Oliveira; Ricardo Miotto Redin; Luigi Carro; Luís da Cunha Lamb; Flávio Rech Wagner (MOMPES, 2008)

Formal Verification for Embedded Systems Design Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (IESS, 2009)

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2009)

Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (SBCCI, 2009)

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. - Marcio Ferreira da Silva Oliveira; Ronaldo Rodrigues Ferreira; Francisco Assis Moreira do Nascimento; Franz J. Rammig; Flávio Rech Wagner (SBCCI, 2009)

Assertion-based verification of RTOS properties. - Marcio Ferreira da Silva Oliveira; Henning Zabel; Wolfgang Müller 003 (DATE, 2010)

Verification of real-time properties for Hardware-dependent Software. - Wolfgang Müller 003; Marcio Ferreira da Silva Oliveira; Henning Zabel; Markus Becker 001 (HLDVT, 2010)

Design space abstraction and metamodeling for embedded systems design space exploration. - Marcio Ferreira da Silva Oliveira; Francisco Assis Moreira do Nascimento; Wolfgang Müller 003; Flávio Rech Wagner (MOMPES, 2010)

The system verification methodology for advanced TLM verification. - Marcio Ferreira da Silva Oliveira; Christoph Kuznik; Hoang Minh Le 001; Daniel Große; Finn Haedicke; Wolfgang Müller 003; Rolf Drechsler; Wolfgang Ecker; Volkan Esen (CODES+ISSS, 2012)

A model-driven engineering framework for embedded systems design. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (Innov. Syst. Softw. Eng., 2012)

Model-driven engineering methodolgy for design space exploration of embedded systems. - Marcio Ferreira da Silva Oliveira (2014)