Francisco Assis Moreira do Nascimento
Francisco Assis Moreira do Nascimento
PhD Student at Pontifical Catholic University of Rio Grande do Sul - Brazil, Lecturer at FACCAT
E-mail confirmado em edu.pucrs.br
Título
Citado por
Citado por
Ano
Model driven engineering for MPSOC design space exploration
MFS Oliveira, EW Brião, FA Nascimento, FR Wagner
Proceedings of the 20th annual conference on Integrated circuits and systems …, 2007
352007
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, M Oliveira, FA Nascimento, L Carro, FR Wagner
DAC 2007 Workshop, 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
MDA-based approach for embedded software generation from a UML/MOF repository
FAM do Nascimento, MF da S. Oliveira, MA Wehrmeister, CE Pereira, ...
Proceedings of the 19th annual symposium on Integrated circuits and systems …, 2006
132006
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
Partial order based modeling of concurrency at the system level
FAM do Nascimento, W Rosenstiel
Communications 2 (P3), P1, 1997
81997
Model-driven engineering of complex embedded systems: concepts and tools
FR Wagner, FA Nascimento, MF Oliveira
Porto Alegre, RS: Institute of Informatics, Federal University of Rio Grande …, 2011
72011
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’06), San Francisco, 2006
62006
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
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 …, 2010
32010
Gif: A web-based system for tax management and fiscal intelligence in municipal tax administration
FAM Nascimento, F Lehnen, MV Moré, SA Leizer
Proceedings of the 3rd international conference on Theory and practice of …, 2009
32009
An approach for extracting RT timing information to annotate algorithmic VHDL specifications
C Hansen, F Nascimento, W Rosenstiel
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 678-683, 1999
21999
Ferramentas Livres para ERP
L Sorgetz, FA do Nascimento
Taquara: RS, 2005
12005
A co-synthesis approach based on symbolic reachability analysis
F Nascimento, W Rosenstiel
Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No …, 1998
11998
Síntese de Alto Nível a partir de VHDL Comportamental
FAM Nascimento
11992
Co-Synthesis Using a Partial Order Based Model of Concurrency
FAM do Nascimento, W Rosenstiel
1
Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis
AA da Fontoura, FAM do Nascimento, S Nadjm-Tehrani, EP de Freitas
IEEE Transactions on Aerospace and Electronic Systems 56 (1), 95-106, 2019
2019
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams
FAM do Nascimento, MF da Silva Oliveira, FR Wagner
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009
2009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20