Marcio Ferreira da Silva Oliveira

18 papers A 2C 1Misc 1Journal 1Unranked 12
YearRankTypeTitle / Venue / Authors
2014 — —
Model-driven engineering methodolgy for design space exploration of embedded systems.
Marcio Ferreira da Silva Oliveira
2012 J jnl
A model-driven engineering framework for embedded systems design.
Innov. Syst. Softw. Eng.
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
2012 Misc conf
The system verification methodology for advanced TLM verification.
CODES+ISSS
Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
2010 A conf
Assertion-based verification of RTOS properties.
DATE
Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Müller
2010 — conf
Design space abstraction and metamodeling for embedded systems design space exploration.
MOMPES
Marcio Ferreira da Silva Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner
2010 — conf
Verification of real-time properties for Hardware-dependent Software.
HLDVT
Wolfgang Müller, Marcio Ferreira da Silva Oliveira, Henning Zabel, Markus Becker
2009 — conf
Exploiting the model-driven engineering approach to improve design space exploration of embedded systems.
SBCCI
Marcio Ferreira da Silva Oliveira, Ronaldo Rodrigues Ferreira, Francisco Assis Moreira do Nascimento, Franz J. Rammig, Flávio Rech Wagner
2009 — conf
Formal Verification for Embedded Systems Design Based on MDE.
IESS
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
2009 — conf
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.
MOMPES
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
2009 — conf
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.
SBCCI
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
2008 — conf
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.
DIPES
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
2008 — conf
Software Quality Metrics and their Impact on Embedded Software.
MOMPES
Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner
2008 A conf
Using UML as Front-end for Heterogeneous Software Code Generation Strategies.
DATE
Lisane B. de Brisolara, Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner
2007 — conf
ModES: Embedded Systems Design Methodology and Tools Based on MDE.
MOMPES
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
2007 — conf
Model driven engineering for MPSOC design space exploration.
SBCCI
Marcio Ferreira da Silva Oliveira, Eduardo Wenzel Brião, Francisco Assis Moreira do Nascimento, Flávio Rech Wagner
2006 C conf
Early Embedded Software Design Space Exploration Using UML-Based Estimation.
IEEE International Workshop on Rapid System Prototyping
Marcio Ferreira da Silva Oliveira, Lisane B. de Brisolara, Luigi Carro, Flávio Rech Wagner
2006 — conf
MDA-based approach for embedded software generation from a UML/MOF repository.
SBCCI
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner
2005 — conf
An Embedded SW Design Exploration Approach Based on UML Estimation Tools.
IESS
Marcio Ferreira da Silva Oliveira, Lisane B. de Brisolara, Luigi Carro, Flávio Rech Wagner