• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2022
• 
  Francisco Assis Moreira do Nascimento, Fabiano Hessel:
  A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems. AINA (2) 2022: 256-268
• 2021
• 
  Ludmila Peres Gargano, Isabella de Figueiredo Zuppo, Mariana Martins Gonzaga do Nascimento, Valéria Maria Augusto, Brian Godman, Juliana de Oliveira Costa, Francisco Assis Acúrcio, Juliana Álvares-Teodoro, Augusto Afonso Guerra:
  Survival Analysis of COPD Patients in a 13-Year Nationwide Cohort Study of the Brazilian National Health System. Frontiers Big Data 4: 788268 (2021)
• 2020
• 
  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): 95-106 (2020)
• 2019
• 
  Maikon Igor da Silva Soares, Francisco C. de M. B. Oliveira, Pedro H. G. Muniz, Marcos D. do Nascimento:
  ANA: a virtual assistant that sees and hears to help tetraplegic online learning. FIE 2019: 1-5
• 2017
• 
  Antonio Macilio Pereira de Lucena, Magno Prudêncio de Almeida Filho, Caio Gomes de Figueredo, Diego Braga Pimentel, Clauson Sales do Nascimento Rios, Francisco de Assis Tavares Ferreira da Silva:
  Fully digital BPSK demodulator for satellite supressed carrier telecommand system. Int. J. Satell. Commun. Netw. 35(4): 359-374 (2017)
• 2012
• 
  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): 19-33 (2012)
• 2010
• 
  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: 29-36
• 2009
• 
  Francisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. Moré, Salomão A. Leizer:
  GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration. ICEGOV 2009: 127-133
• 
  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: 159-170
• 
  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: 53-60
• 
  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
• 2007
• 
  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: 67-76
• 
  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: 81-86
• 
  Carlos Theobaldo Renck, Leandro Sorgetz, Francisco Assis M. do Nascimento:
  VCS: An Open Source Web-based Vaccination Management Information System. WEBIST (3) 2007: 242-246
• 
  Roger Wagner, Francisco Assis M. do Nascimento:
  HEI - A High Education Institutions Oriented Content Management System - Making Easy the Web Content Publishing for High Education Institutions. WEBIST (2) 2007: 463-469
• 2006
• 
  Marcelino M. de Andrade, Jake C. do Carmo, Francisco Assis de Oliveira Nascimento, Juliana F. Camapum, Icaro dos Santos, Luis Mochizuki, Adson F. da Rocha:
  Evaluation of Techniques for the Study of Electromyographic Signals. EMBC 2006: 1335-1338
• 
  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: 143-148
• 2001
• 
  Francisco Assis M. do Nascimento, Wolfgang Rosenstiel:
  A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems. SBCCI 2001: 85-90
• 1998
• 
  Edelweis Helena Ache Garcez, Francisco Assis M. do Nascimento:
  A Model Checker for a Partial Order based Model of Concurrency. MBMV 1998: 95-103
• 
  Francisco Assis M. do Nascimento, Wolfgang Rosenstiel:
  A Co-Synthesis Approach based on Symbolic Reachability Analysis. SBCCI 1998: 112-115