Follow
Francisco Assis Moreira do Nascimento
Francisco Assis Moreira do Nascimento
Ph.D. in Computer Science, PUCRS - Brazil, Lecturer at FACCAT
Verified email at edu.pucrs.br
Title
Cited by
Cited by
Year
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
382007
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
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
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
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
152006
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
Partial order based modeling of concurrency at the system level
FAM do Nascimento, W Rosenstiel
Communications 2 (P3), P1, 1997
91997
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, FAM NASCIMENTO, LB Brisolara, L Carro, ...
Workshop on UML for SoC (UMLSoC’06), San Francisco, 2006
72006
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
62009
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
52019
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
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
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
12022
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 Workshop de Computação Aplicada em Governo Eletrônico, 110-123, 2009
12009
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
The system can't perform the operation now. Try again later.
Articles 1–20