Marcio Ferreira da Silva Oliveira

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Model-driven engineering methodolgy for design space exploration of embedded systems.
PhD thesis, 2014

2012
A model-driven engineering framework for embedded systems design.
Innov. Syst. Softw. Eng., 2012

The system verification methodology for advanced TLM verification.
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.
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.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Assertion-based verification of RTOS properties.
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.
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.
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.
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.
Proceedings of the Analysis, 2009

2008
Software Quality Metrics and their Impact on Embedded Software.
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.
Proceedings of the Distributed Embedded Systems: Design, 2008

Using UML as Front-end for Heterogeneous Software Code Generation Strategies.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Model driven engineering for MPSOC design space exploration.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

ModES: Embedded Systems Design Methodology and Tools Based on MDE.
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.
Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

Early Embedded Software Design Space Exploration Using UML-Based Estimation.
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.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005


  Loading...