| Formalizing freertos: First steps D Déharbe, S Galvao, AM Moreira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 56 | 2009 |
| A new measure for comparing biomedical regions of interest in segmentation of digital images TMH Aura Conci, Stephenson S.L. Galvão, Giomar O. Sequeirosa, Débora C.M. Saadea Discrete Applied Mathematics, 2015 | 25 | 2015 |
| Análise de séries temporais de sinais térmicos da mama para detecçao de anomalias LF Silva, GOS Olivera, S Galvao, JB Silva, AASMD Santos, ... Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS), 1824-1833, 2014 | 6 | 2014 |
| Applying the B method to take on the grand challenge of verified compilation B Dantas, D Déharbe, SL Galvao, AM Moreira, VG Medeiros Jr Brazilian Symposium on Formal Methods, Salvador-BA, 2008 | 5 | 2008 |
| Especificação do micronúcleo FreeRTOS utilizando o método B SSL Galvão Universidade Federal do Rio Grande do Norte, 2011 | 4 | 2011 |
| Verified compilation and the b method: a proposal and a first appraisal B Dantas, D Déharbe, S Galvao, AM Moreira, VM Júnior Electronic Notes in Theoretical Computer Science 240, 79-96, 2009 | 3 | 2009 |
| Proposta e avaliaçao de uma abordagem de desenvolvimento de software fidedigno por construçao com o método B B Dantas, D Déharbe, S Galvao, AM Moreira, VM Júnior, L Nova SBC, 195, 2008 | 3 | 2008 |
| A non linear registration without the use of the brightness constancy hypothesis A De Falco, SSL Galvão, A Conci 2020 International Conference on Systems, Signals and Image Processing …, 2020 | 2 | 2020 |
| A registration method for IR images: Preserving the thermal breast characteristics S Galvão, RS Marques, A Conci, A Sanchez 2013 20th International Conference on Systems, Signals and Image Processing …, 2013 | 2 | 2013 |
| Verified compilation based on the B method: an initial appraisal (extended version) B Dantas, D Déharbe, S Galvão, VM Júnior, AM Moreira Technical Report UFRN-DIMAp-2008-101-RT, UFRN-DIMAp, 2008 | 1 | 2008 |
| Modelagem de micro controladores em b V Medeiros Jr, S Galvão, D Deharbe Anais do VIII Encontro Regional de Matemática Aplicada e Computacional (ERMAC) 1, 2008 | 1 | 2008 |
| UMA FERRAMENTA PARA O AUXÍLIO DE DIAGNOSTICOS DE CÂNCER DE PELE COM SEGMENTAÇÃO DA IMAGEM POR COR JRC Torquato, SSL Galvão, SFS Magalhães | | |
| Analyzing the Locus of Patients Movement for Registration of Thermal Images in Breast Examination SSL GALVÃO, H LI, A CONCI, T MACHENRY | | |
| Modelagem do Sistema Operacional de Tempo Real FreeRTOS para um Desenvolvimento de Sistemas de Tempo Real Fidedignos S Galvao, D Déharbe, VM Júnio, AM Moreira, L Nova | | |
David DeharbeCLEARSYΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα clearsy.com