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
Verified email at
Cited by
Cited by
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
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
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
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
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
Formal verification for embedded systems design based on MDE
FAM Nascimento, MF Silva Oliveira, FR Wagner
International Embedded Systems Symposium, 159-170, 2009
Partial order based modeling of concurrency at the system level
FAM do Nascimento, W Rosenstiel
Communications 2 (P3), P1, 1997
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
Multi-objective design space exploration based on uml
MFS Oliveira, EW Brião, FAM NASCIMENTO, LB Brisolara, L Carro, ...
Workshop on UML for SoC (UMLSoC’06), San Francisco, 2006
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
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
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
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
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
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
GIF: Sistema de Gestão e Inteligência Fiscal Orientado para a Administração Tributária Municipal
FAM Nascimento, FL Lehnen, MV Moré, SA Leizer
Anais do I WCGE, Bento Gonçalves, Brasil, 1489-1502, 2009
A co-synthesis approach based on symbolic reachability analysis
F Nascimento, W Rosenstiel
Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No …, 1998
Síntese de Alto Nível a partir de VHDL Comportamental
FAM Nascimento
Co-Synthesis Using a Partial Order Based Model of Concurrency
FAM do Nascimento, W Rosenstiel
A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems
FAM do Nascimento, F Hessel
International Conference on Advanced Information Networking and Applications …, 2022
The system can't perform the operation now. Try again later.
Articles 1–20