Marcio Ferreira da Silva Oliveira

According to our database, Marcio Ferreira da Silva Oliveira authored at least 18 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Model-driven engineering methodolgy for design space exploration of embedded systems.

Marcio Ferreira da Silva Oliveira

PhD thesis, 2014

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

The system verification methodology for advanced TLM verification.

Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

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, Flávio Rech Wagner

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Verification of real-time properties for Hardware-dependent Software.

Wolfgang Müller, Marcio Ferreira da Silva Oliveira, Henning Zabel, Markus Becker

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Assertion-based verification of RTOS properties.

Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Müller

Proceedings of the Design, Automation and Test in Europe, 2010

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

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 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

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 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

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

Formal Verification for Embedded Systems Design Based on MDE.

Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner

Proceedings of the Analysis, 2009

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

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 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

Proceedings of the Distributed Embedded Systems: Design, 2008

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

Proceedings of the Design, Automation and Test in Europe, 2008

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

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

ModES: Embedded Systems Design Methodology and Tools Based on MDE.

Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

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

Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

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

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

2005

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

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005