Francisco Assis Moreira do Nascimento

@pucrs.br

PhD student, PUCRS
FACCAT



              

https://researchid.co/fnascimento

RESEARCH INTERESTS

Distributed systems, Federated Learning, Internet of Things, Cybersecurity

197

Scholar Citations

8

Scholar h-index

6

Scholar i10-index

RECENT SCHOLAR PUBLICATIONS

  • Decentralized federated learning for intrusion detection in IoT-based systems: A review
    FAM Do Nascimento, F Hessel
    2022 IEEE 8th World Forum on Internet of Things (WF-IoT), 1-6 2022

  • 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

  • InfiscLab: Laboratrio de Inovao Corporativo voltado para o Setor Pblico Municipal
    L Huppes, LB Baptista, NRH Carvalho, F Lehnen, MV Mre, J Schorr, ...
    Workshop de Computao Aplicada em Governo Eletrnico (WCGE), 131-142 2021

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • GIF: Sistema de Gesto e Inteligncia Fiscal Orientado para a Administrao Tributria Municipal
    FAM Nascimento, FL Lehnen, MV Mor, SA Leizer
    Workshop de Computao Aplicada em Governo Eletrnico (WCGE), 110-123 2009

  • MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation
    FAM do Nascimento, MFS Oliveira, FR Wagner
    2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded 2009

  • Model driven engineering for MPSOC design space exploration
    MFS Oliveira, EW Brio, FA Nascimento, FR Wagner
    Proceedings of the 20th annual conference on Integrated circuits and systems 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

  • 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

  • VCS: An Open Source Web-based Vaccination Management Information System.
    CT Renck, L Sorgetz, FAM do Nascimento
    WEBIST (3), 242-246 2007

  • 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

  • Multi-objective design space exploration based on uml
    MFS Oliveira, EW Brio, FAM NASCIMENTO, LB Brisolara, L Carro, ...
    Workshop on UML for SoC (UMLSoC’06), San Francisco 2006

MOST CITED SCHOLAR PUBLICATIONS

  • Model driven engineering for MPSOC design space exploration
    MFS Oliveira, EW Brio, FA Nascimento, FR Wagner
    Proceedings of the 20th annual conference on Integrated circuits and systems 2007
    Citations: 37

  • 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
    Citations: 37

  • 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
    Citations: 19

  • 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
    Citations: 17

  • 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
    Citations: 15

  • 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
    Citations: 10

  • Partial order based modeling of concurrency at the system level
    FAM do Nascimento, W Rosenstiel
    Communications 2 (P3), P1 1997
    Citations: 9

  • 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
    Citations: 8

  • 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
    Citations: 7

  • Multi-objective design space exploration based on uml
    MFS Oliveira, EW Brio, FAM NASCIMENTO, LB Brisolara, L Carro, ...
    Workshop on UML for SoC (UMLSoC’06), San Francisco 2006
    Citations: 7

  • 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
    Citations: 6

  • 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
    Citations: 5

  • 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
    Citations: 4

  • Decentralized federated learning for intrusion detection in IoT-based systems: A review
    FAM Do Nascimento, F Hessel
    2022 IEEE 8th World Forum on Internet of Things (WF-IoT), 1-6 2022
    Citations: 3

  • 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
    Citations: 3

  • 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
    Citations: 3

  • 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
    Citations: 2

  • GIF: Sistema de Gesto e Inteligncia Fiscal Orientado para a Administrao Tributria Municipal
    FAM Nascimento, FL Lehnen, MV Mor, SA Leizer
    Workshop de Computao Aplicada em Governo Eletrnico (WCGE), 110-123 2009
    Citations: 1

  • A repartitioning and HW/SW partitioning algorithm to the automatic design space exploration in the co-synthesis of embedded systems
    FAM do Nascimento, W Rosenstiel
    Symposium on Integrated Circuits and Systems Design, 85-90 2001
    Citations: 1

  • A co-synthesis approach based on symbolic reachability analysis
    F Nascimento, W Rosenstiel
    Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No 1998
    Citations: 1