Francisco Assis Moreira do Nascimento

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 3

Top Topics

Formal Analysis

Alert Correlation

Intrusion Detection

Distributed Systems

Top Venues

IEEE Trans. Aerosp. Electron. Syst.

Publications

Francisco Assis Moreira do Nascimento, Fabiano Hessel
A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems. AINA (2) (2022)
Francisco Assis Moreira do Nascimento, Fabiano Hessel
Decentralized Federated Learning for Intrusion Detection in IoT-based Systems: A Review. WF-IoT (2022)
Antonio Augusto da Fontoura, Francisco Assis Moreira do Nascimento, Simin Nadjm-Tehrani, Edison Pignaton de Freitas
Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. IEEE Trans. Aerosp. Electron. Syst. 56 (1) (2020)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner
A model-driven engineering framework for embedded systems design. Innov. Syst. Softw. Eng. 8 (1) (2012)
Marcio F. da S. Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner
Design space abstraction and metamodeling for embedded systems design space exploration. MOMPES (2010)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. SBCCI (2009)
Marcio F. da S. Oliveira, Ronaldo Rodrigues Ferreira, Francisco Assis Moreira do Nascimento, Franz J. Rammig, Flávio Rech Wagner
Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. SBCCI (2009)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner
Formal Verification for Embedded Systems Design Based on MDE. IESS (2009)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. MOMPES (2009)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner
ModES: Embedded Systems Design Methodology and Tools Based on MDE. MOMPES (2007)
Marcio F. da S. Oliveira, Eduardo Wenzel Brião, Francisco Assis Moreira do Nascimento, Flávio Rech Wagner
Model driven engineering for MPSOC design space exploration. SBCCI (2007)
Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner
MDA-based approach for embedded software generation from a UML/MOF repository. SBCCI (2006)