Distributed systems, Federated Learning, Internet of Things, Cybersecurity
214
Scholar Citations
9
Scholar h-index
8
Scholar i10-index
RECENT SCHOLAR PUBLICATIONS
DCD-FL: A Decentralized Federated Learning Framework for Intrusion Detection in IoT FAM do Nascimento, F Hessel International Conference on Advanced Information Networking and Applications … , 2025 2025
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 2022 Citations: 9
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 2022 Citations: 4
InfiscLab: Laboratório de Inovação Corporativo voltado para o Setor Público Municipal ÉL Huppes, LB Baptista, NRH Carvalho, F Lehnen, MV Móre, J Schorr, ... Workshop de Computação Aplicada em Governo Eletrônico (WCGE), 131-142 , 2021 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 2019 Citations: 10
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 2012 Citations: 20
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 2011 Citations: 7
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 2010 Citations: 4
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 2010 Citations: 3
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 2009 Citations: 6
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 2009 Citations: 10
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 2009 Citations: 5
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 Citations: 2
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 Latin American Symposium on Digital Government (LASDiGov), 1489-1502 , 2009 2009 Citations: 2
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 2009
Model driven engineering for MPSoC space exploration MFS Oliveira, EW Briao, FAM Nascimento, FR Wagner Journal of integrated circuits and systems. Porto Alegre. Vol. 3, n. 1 (Mar … , 2008 2008
Model driven engineering for MPSOC design space exploration FA Nascimento Journal of Integrated Circuits and Systems , 2007 2007
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 2007 Citations: 36
Using UML as a front-end for an efficient Simulink-based multithread code generation targeting MPSoCs FA Nascimento DAC 2007 Workshop, UML-SoC , 2007 2007 Citations: 17
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 2007 Citations: 36
MOST CITED SCHOLAR PUBLICATIONS
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 2007 Citations: 36
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 2007 Citations: 36
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 2012 Citations: 20
Using UML as a front-end for an efficient Simulink-based multithread code generation targeting MPSoCs FA Nascimento DAC 2007 Workshop, UML-SoC , 2007 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 2006 Citations: 15
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 Citations: 10
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 2009 Citations: 10
Partial order based modeling of concurrency at the system level FAM do Nascimento, W Rosenstiel Communications 2 (P3), P1 , 1997 1997 Citations: 10
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 2022 Citations: 9
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 2011 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 2009 Citations: 6
Multi-objective design space exploration based on uml F Nascimento Workshop on UML for SoC (UMLSoC 06), San Francisco , 2006 2006 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 2009 Citations: 5
„Verifying High-Level Synthesis Results Using a Partial Order based Model “ C Hansen, F Nascimento, W Rosenstiel Proc. Hardware Languages, Design, Verification and Test (HLDVT) , 1998 1998 Citations: 5
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 2022 Citations: 4
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 2010 Citations: 4
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 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 1999 Citations: 3
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 Citations: 2
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 Latin American Symposium on Digital Government (LASDiGov), 1489-1502 , 2009 2009 Citations: 2
