Follow
Stephenson Galvao
Stephenson Galvao
Verified email at ifpi.edu.br
Title
Cited by
Cited by
Year
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
532009
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
252015
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, A Santos, ...
WIM-XIV Workshop de Informática Médica-Anais CSBC, 1818-1827, 2014
62014
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
52008
Especificação do micronúcleo FreeRTOS utilizando o método B
SSL Galvão
Universidade Federal do Rio Grande do Norte, 2011
42011
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
32009
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
32008
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
22020
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
22013
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
12008
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
12008
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
The system can't perform the operation now. Try again later.
Articles 1–14