Marcio F. da S. Oliveira

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Verification Method

Model Driven Engineering

Top Venues

Innov. Syst. Softw. Eng.

Publications

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