Folgen
Marcio F. S. Oliveira
Marcio F. S. Oliveira
itemis AG
Bestätigte E-Mail-Adresse bei itemis.de
Titel
Zitiert von
Zitiert von
Jahr
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
592008
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
512008
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
382008
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
382007
The system verification methodology for advanced TLM verification
MFS Oliveira, F Haedicke, R Drechsler, C Kuznik, HM Le, W Ecker, ...
CODES+ ISSS, 2012
372012
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
362007
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
342006
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
222008
A model-driven engineering framework for embedded systems design
FAM do Nascimento, MFS Oliveira, FR Wagner
Innovations in Systems and Software Engineering 8, 19-33, 2012
182012
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
172012
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
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
102009
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
72006
Ribosome binding site recognition using neural networks
MFS Oliveira, DQ Mendes, LI Ferrari, ATR Vasconcelos
Genetics and Molecular biology 27 (4), 644-650, 2004
72004
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
62010
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
Systematic Application of UCIS to Improve the Automation on Verification Closure
C Kuznik, MFS Oliveira, B Defo, W Mueller
Proceeding of Design and Verification Conference (DVCON), 2013
32013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20