A Model Checker for a Partial Order based Model of Concurrency. - Edelweis Helena Ache Garcez; Francisco Assis M. do Nascimento (MBMV, 1998)

A Co-Synthesis Approach based on Symbolic Reachability Analysis. - Francisco Assis M. do Nascimento; Wolfgang Rosenstiel (SBCCI, 1998)

A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems. - Francisco Assis M. do Nascimento; Wolfgang Rosenstiel (SBCCI, 2001)

MDA-based approach for embedded software generation from a UML/MOF repository. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Marco A. Wehrmeister; Carlos Eduardo Pereira; Flávio Rech Wagner (SBCCI, 2006)

ModES: Embedded Systems Design Methodology and Tools Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2007)

Model driven engineering for MPSOC design space exploration. - Marcio Ferreira da Silva Oliveira; Eduardo Wenzel Brião; Francisco Assis Moreira do Nascimento; Flávio Rech Wagner (SBCCI, 2007)

VCS: An Open Source Web-based Vaccination Management Information System. - Carlos Theobaldo Renck; Leandro Sorgetz; Francisco Assis M. do Nascimento (WEBIST (3), 2007)

HEI - A High Education Institutions Oriented Content Management System - Making Easy the Web Content Publishing for High Education Institutions. - Roger Wagner; Francisco Assis M. do Nascimento (WEBIST (2), 2007)

GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration. - Francisco Assis M. do Nascimento; Fernando Lehnen; Morecy V. Moré; Salomão A. Leizer (ICEGOV, 2009)

Formal Verification for Embedded Systems Design Based on MDE. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (IESS, 2009)

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (MOMPES, 2009)

Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (SBCCI, 2009)

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. - Marcio Ferreira da Silva Oliveira; Ronaldo Rodrigues Ferreira; Francisco Assis Moreira do Nascimento; Franz J. Rammig; Flávio Rech Wagner (SBCCI, 2009)

Design space abstraction and metamodeling for embedded systems design space exploration. - Marcio Ferreira da Silva Oliveira; Francisco Assis Moreira do Nascimento; Wolfgang Müller 003; Flávio Rech Wagner (MOMPES, 2010)

A model-driven engineering framework for embedded systems design. - Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner (Innov. Syst. Softw. Eng., 2012)

Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. - Antonio Augusto da Fontoura; Francisco Assis Moreira do Nascimento; Simin Nadjm-Tehrani; Edison Pignaton de Freitas (IEEE Trans. Aerosp. Electron. Syst., 2020)

A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems. - Francisco Assis Moreira do Nascimento; Fabiano Hessel (AINA (2), 2022)

Decentralized Federated Learning for Intrusion Detection in IoT-based Systems: A Review. - Francisco Assis Moreira do Nascimento; Fabiano Hessel (WF-IoT, 2022)

DCD-FL: A Decentralized Federated Learning Framework for Intrusion Detection in IoT. - Francisco Assis Moreira do Nascimento; Fabiano Hessel (AINA (3), 2025)