logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Marcel Oliveira

Universidade Federal do Rio Grande do Norte

12H-index
55Paper Count
532Citation Count
Published Papers 3
Publication Date
logo
Bridging the B-Method and ACSL: Towards Verified C Code
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errDias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry
errShare
errSave
A refinement checking based strategy for component-based systems evolution
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-09-01
err3
errOAAI
errDihego, Jose; Sampaio, Augusto; Oliveira, Marcel
errShare
errSave
A Research Landscape on Formal Verification of Software Architecture Descriptions
errIEEE ACCESS
IF3.6
err2019-01-01
err7
errOAAI
errAraujo, Camila; Cavalcante, Everton; Batista, Thais; Oliveira, Marcel; Oquendo, Flavio
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
T
Thaı́s Batista
H-index: 30 · Papers: 327
F
Flávio Oquendo
H-index: 23 · Papers: 298
E
Everton Cavalcante
H-index: 20 · Papers: 141
T
Thierry Lecomte
H-index: 11 · Papers: 55
J
José Dihego
H-index: 2 · Papers: 4
View more