Marcio F. S. Oliveira
Marcio F. S. Oliveira
itemis AG
Verified email at
Cited by
Cited by
Software quality metrics and their impact on embedded software
MFS Oliveira, RM Redin, L Carro, L da Cunha Lamb, FR Wagner
International Workshop on Model-based Methodologies for Pervasive and …, 2008
Using UML as front-end for heterogeneous software code generation strategies
LB Brisolara, MFS Oliveira, R Redin, LC Lamb, L Carro, F Wagner
Proceedings of the conference on Design, automation and test in Europe, 504-509, 2008
Model Driven Engineering for MPSoC Design Space Exploration
MFS Oliveira, EW Brião, FA Nascimento, FR Wagner
Journal of Integrated Circuits and Systems 3 (1), 13-22, 2008
Model driven engineering for MPSOC design space exploration
MFS Oliveira, EW Brião, FA Nascimento, FR Wagner
Symposium on Integrated Circuits and Systems Design (SBCCI), 81-86, 2007
Modes: Embedded systems design methodology and tools based on mde
FAM do Nascimento, MFS Oliveira, FR Wagner
Fourth International Workshop on Model-Based Methodologies for Pervasive and …, 2007
Early embedded software design space exploration using UML-based estimation
MFS Oliveira, LB de Brisolara, L Cairo, FR Wagner
International Workshop on Rapid System Prototyping, 24-32, 2006
The system verification methodology for advanced TLM verification
MFS Oliveira, F Haedicke, R Drechsler, C Kuznik, HM Le, W Ecker, ...
On the use of software quality metrics to improve physical properties of embedded systems
R Redin, MFS Oliveira, L Brisolara, J Mattos, L Lamb, F Wagner, L Carro
Distributed Embedded Systems: Design, Middleware and Resources, 101-110, 2008
Using UML as a front-end for an efficient Simulink-based multithread code generation targeting MPSoCs
L Brisolara, MFS Oliveira, FA Nascimento, L Carro, FR Wagner
DAC Workshop on UML for SoC Design (UML-SoC), 2007
A model-driven engineering framework for embedded systems design
FAM do Nascimento, MFS Oliveira, FR Wagner
Innovations in Systems and Software Engineering 8 (1), 19-33, 2012
A SystemC Library for Advanced TLM Verification
MFS Oliveira, C Kuznik, W Mueller, W Ecker, V Esen
Proceeding of Design and Verification Conference (DVCON), 2012
Embedded SW Design Exploration Using UML-based Estimation Tools
MFS Oliveira, L Brisolara, FR Wagner, L Carro
UML-SoC, 62, 2005
Formal verification for embedded systems design based on MDE
FAM Do Nascimento, MF da Silva Oliveira, FR Wagner
International Embedded Systems Symposium, 159-170, 2009
Model-Driven Engineering of Complex Embedded Systems: Concepts and Tools
FR Wagner, FAM Nascimento, MFS Oliveira
Critical Embedded Systems School (CES-School) at Brazilian Conference on …, 2012
Multi-objective Design Space Exploration based on UML
MFS Oliveira, EW Brião, FA Nascimento, L Brisolara, L Carro, FR Wagner
Workshop on UML for SoC (UMLSoC), 2006
Ribosome binding site recognition using neural networks
MFS Oliveira, DQ Mendes, LI Ferrari, ATR Vasconcelos
Genetics and Molecular biology 27, 644-650, 2004
Exploiting the model-driven engineering approach to improve design space exploration of embedded systems
MFS Oliveira, RR Ferreira, FA Nascimento, FJ Rammig, FR Wagner
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009
Design space abstraction and metamodeling for embedded systems design space exploration
MFS Oliveira, FA Nascimento, W Mueller, FR Wagner
Proceedings of the 7th International Workshop on Model-Based Methodologies …, 2010
Verification of real-time properties for hardware-dependent software
W Mueller, MFS Oliveira, H Zabel, M Becker
2010 IEEE International High Level Design Validation and Test Workshop …, 2010
High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches
MF da Silva Oliveira, MA Wehrmeister, FA do Nascimento, CE Pereira
Behavioral Modeling for Embedded Systems and Technologies: Applications for …, 2009
The system can't perform the operation now. Try again later.
Articles 1–20