Francisco Assis M. do Nascimento

According to our database, Francisco Assis M. do Nascimento authored at least 18 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Decentralized Federated Learning for Intrusion Detection in IoT-based Systems: A Review.

Francisco Assis Moreira do Nascimento, Fabiano Hessel

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems.

Francisco Assis Moreira do Nascimento, Fabiano Hessel

Proceedings of the Advanced Information Networking and Applications, 2022

2020

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

2012

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

2010

Design space abstraction and metamodeling for embedded systems design space exploration.

Marcio Ferreira da Silva Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

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

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 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

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 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

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

Formal Verification for Embedded Systems Design Based on MDE.

Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner

Proceedings of the Analysis, 2009

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

Proceedings of the ICEGOV 2009, 2009

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

Proceedings of the WEBIST 2007, 2007

VCS: An Open Source Web-based Vaccination Management Information System.

Carlos Theobaldo Renck, Leandro Sorgetz, Francisco Assis M. do Nascimento

Proceedings of the WEBIST 2007, 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

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

ModES: Embedded Systems Design Methodology and Tools Based on MDE.

Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

2006

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

Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

2001

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

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

1998

A Co-Synthesis Approach based on Symbolic Reachability Analysis.

Francisco Assis M. do Nascimento, Wolfgang Rosenstiel

Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

A Model Checker for a Partial Order based Model of Concurrency.

Edelweis Helena Ache Garcez, Francisco Assis M. do Nascimento

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998