Marcio F. S. Oliveira
Marcio F. S. Oliveira
itemis AG
E-mail confirmado em itemis.de
Título
Citado por
Citado por
Ano
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
462008
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
462008
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
352008
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
352007
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
35*2006
The system verification methodology for advanced TLM verification
MFS Oliveira, F Haedicke, R Drechsler, C Kuznik, HM Le, W Ecker, ...
CODES+ ISSS, 2012
312012
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
312007
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
172007
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
162012
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
152008
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
142012
Embedded SW Design Exploration Using UML-based Estimation Tools
MFS Oliveira, L Brisolara, FR Wagner, L Carro
UML-SoC, 62, 2005
112005
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
82009
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
72012
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
62006
Ribosome binding site recognition using neural networks
MFS Oliveira, DQ Mendes, LI Ferrari, ATR Vasconcelos
Genetics and Molecular biology 27 (4), 644-650, 2004
62004
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
52010
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
52009
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
42010
Assertion-based verification of RTOS properties
MFS Oliveira, H Zabel, W Mueller
Proceedings of the Conference on Design, Automation and Test in Europe (DATE …, 2010
32010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20