Stephenson Galvao
Stephenson Galvao
E-mail confirmado em ifpi.edu.br
Título
Citado por
Citado por
Ano
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Brazilian Symposium on Formal Methods, 101-117, 2009
362009
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
192015
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, ...
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 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
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
12020
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–13